Pages that link to "Decidability of first-order theories of the real numbers"
Showing 27 items.
- Extended real number line (links | edit)
- Number line (links | edit)
- Construction of the real numbers (transclusion) (links | edit)
- Vitali set (links | edit)
- Real closed field (links | edit)
- Sturm's theorem (links | edit)
- Real coordinate space (links | edit)
- Cantor–Dedekind axiom (links | edit)
- 0.999... (links | edit)
- Rational zeta series (links | edit)
- Theory (mathematical logic) (links | edit)
- List of first-order theories (links | edit)
- Tarski's axiomatization of the reals (links | edit)
- Gregory number (links | edit)
- Tarski's exponential function problem (links | edit)
- Tarski–Seidenberg theorem (links | edit)
- Real number (links | edit)
- Absolute difference (links | edit)
- Completeness of the real numbers (links | edit)
- Decidability of first-order theories of the real numbers (transclusion) (links | edit)
- Decidability of the first-order theory of the real numbers (redirect page) (links | edit)
- Mathematics (links | edit)
- Decidability of the first-order theory of the real numbers (transclusion) (links | edit)
- User:D.Lazard/sandbox (links | edit)
- User talk:David Eppstein/2014c (links | edit)
- Wikipedia talk:WikiProject Mathematics/Archive/2014/Aug (links | edit)
- Wikipedia talk:WikiProject Mathematics/Archive/2014 (links | edit)
- Talk:Decidability of first-order theories of the real numbers (transclusion) (links | edit)
- User talk:Nahabedere (links | edit)
- User talk:DTHanna3602 (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematics articles (D–F) (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematics articles (D) (links | edit)
- Template:Real numbers (links | edit)