Pages that link to "Item:Q1094412"

The following pages link to The field of reals with a predicate for the powers of two (Q1094412):

Displaying 23 items.

• Dimensions, matroids, and dense pairs of first-order structures (Q639660) (← links)
• Quantifier elimination for the reals with a predicate for the powers of two (Q868941) (← links)
• The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two (Q892142) (← links)
• A generalization of Cobham's theorem to automata over real numbers (Q1014642) (← links)
• A tetrachotomy for expansions of the real ordered additive group (Q2037136) (← links)
• Expansions of real closed fields that introduce no new smooth functions (Q2187264) (← links)
• Expansions of o-minimal structures by iteration sequences (Q2505135) (← links)
• Defining Multiplication in Some Additive Expansions of Polynomial Rings (Q2813650) (← links)
• Dependent pairs (Q3011109) (← links)
• On the decidability of the real field with a generic power function (Q3107362) (← links)
• 2005–06 Winter Meeting of the Association for Symbolic Logic (Q3412464) (← links)
• Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (Q3454091) (← links)
• b-MINIMALITY (Q3521599) (← links)
• Structures having o-minimal open core (Q3550539) (← links)
• Defining the set of integers in expansions of the real field by a closed discrete set (Q3566681) (← links)
• Expansions of the <i>p</i>‐adic numbers that interpret the ring of integers (Q5112392) (← links)
• Metric dimensions and tameness in expansions of the real field (Q5217853) (← links)
• Expansions which introduce no new open sets (Q5388721) (← links)
• Expansions of o-minimal structures by fast sequences (Q5718667) (← links)
• THE FIELD OF <i>p</i>-ADIC NUMBERS WITH A PREDICATE FOR THE POWERS OF AN INTEGER (Q5738196) (← links)
• DISTAL AND NON-DISTAL PAIRS (Q5738209) (← links)
• Expansions of the real field by discrete subgroups of 𝐺𝑙_{𝑛}(ℂ) (Q5856979) (← links)
• Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022 (Q6095409) (← links)