The field of reals with a predicate for the powers of two
From MaRDI portal
Publication:1094412
DOI10.1007/BF01171706zbMath0631.03020OpenAlexW1967705670MaRDI QIDQ1094412
Publication date: 1986
Published in: Manuscripta Mathematica (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/155108
Model-theoretic algebra (03C60) Models of other mathematical theories (03C65) Ordered fields (12J15) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers, Quantifier elimination for the reals with a predicate for the powers of two, Expansions of real closed fields that introduce no new smooth functions, The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two, Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022, Expansions of the p‐adic numbers that interpret the ring of integers, Expansions of dense linear orders with the intermediate value property, b-MINIMALITY, Dimensions, matroids, and dense pairs of first-order structures, Expansions which introduce no new open sets, Structures having o-minimal open core, $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable, Dependent pairs, Expansions of o-minimal structures by fast sequences, Defining the set of integers in expansions of the real field by a closed discrete set, THE FIELD OF p-ADIC NUMBERS WITH A PREDICATE FOR THE POWERS OF AN INTEGER, DISTAL AND NON-DISTAL PAIRS, Expansions of o-minimal structures by iteration sequences, A tetrachotomy for expansions of the real ordered additive group, Defining Multiplication in Some Additive Expansions of Polynomial Rings, A generalization of Cobham's theorem to automata over real numbers, Metric dimensions and tameness in expansions of the real field, On the decidability of the real field with a generic power function, 2005–06 Winter Meeting of the Association for Symbolic Logic, Expansions of the real field by discrete subgroups of 𝐺𝑙_{𝑛}(ℂ)
Cites Work
