Publication:3535224
From MaRDI portal
zbMath1181.14062MaRDI QIDQ3535224
Publication date: 10 November 2008
14P99: Real algebraic and real-analytic geometry
26E40: Constructive real analysis
03C64: Model theory of ordered structures; o-minimality
Related Items