Misplaced Pages

The following pages link to Decidability of first-order theories of the real numbers

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

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 Theory of Real Numbers (redirect page) (links | edit)
  • Decidability (logic) (links | edit)
• Decidability of the first-order theory of the real numbers (redirect page) (links | edit)
  • Mathematics (links | edit)
  • User:D.Lazard/sandbox (links | edit)
  • User talk:David Eppstein/2014c (links | edit)
  • Misplaced Pages talk:WikiProject Mathematics/Archive/2014/Aug (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)
• Misplaced Pages:WikiProject Mathematics/List of mathematics articles (D–F) (links | edit)
• Misplaced Pages:WikiProject Mathematics/List of mathematics articles (D) (links | edit)
• Template:Real numbers (links | edit)