Publication:3710508
From MaRDI portal
zbMath0585.03006MaRDI QIDQ3710508
Publication date: 1984
12L05: Decidability and field theory
03B25: Decidability of theories and sets of sentences
03B30: Foundations of classical theories (including reverse mathematics)
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Exponentiation is Hard to Avoid, Weakly o-minimal structures and real closed fields, Globally subanalytic CMC surfaces in ℝ3 with singularities, Convexity Relations and Generalizations of o-Minimality, Lattice ordered o-minimal structures, \(\text{P}\neq \text{NP}\) for the reals with various analytic functions, Symbolic reachability computation for families of linear vector fields, CHARACTERIZING O-MINIMAL GROUPS IN TAME EXPANSIONS OF O-MINIMAL STRUCTURES, \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\), On the number of topological types occurring in a parameterized family of arrangements, On gradients of functions definable in o-minimal structures, Queries with arithmetical constraints, Definable utility in o-minimal structures., Real spectrum of ring of definable functions, Extending Tamm's theorem, Strongly minimal groups in o-minimal structures, Structure theorems in tame expansions of o-minimal structures by a dense set, A.D. Taimanov and model theory in Kazakhstan, On the expressiveness and decidability of o-minimal hybrid systems, On some global semianalytic sets, O-minimal Hauptvermutung for polyhedra. I, The rational points of a definable set, A generalization of the Tarski-Seidenberg theorem, and some nondefinability results, Definable Sets in Ordered Structures. I, Definable Sets in Ordered Structures. II