thingsaurus
This is a 'thesaurus for things' or similarity engine: results show things that have something in common with what you enter. The more stars, the more things in common! You can use it for research, recommendations or simply to explore ideas and related subjects.
Here are your results for Decidability of first-order theories of the real numbers...
Stars indicate closer matches.
Tarski's axiomatization of the reals 
- Existential theory of the reals
- Real number
- Bounded arithmetic
- Büchi arithmetic
- Elementary function arithmetic
- Heyting arithmetic
- Induction, bounding and least number principles
- Non-standard model of arithmetic
- Peano axioms
- Presburger arithmetic
- Primitive recursive arithmetic
- Robinson arithmetic
- Second-order arithmetic
- Skolem arithmetic
- True arithmetic
- Typographical Number Theory
- 0.999...
- Absolute difference
- Absolute value
- Cantor–Dedekind axiom
- Commensurability (mathematics)
- Completeness of the real numbers
- Construction of the real numbers
- Dedekind cut
- Extended real number line
- Function of a real variable
- Function of several real variables
- Fuzzy number
- Real coordinate space
- Number line
- Rational zeta series
- U-bit
- Zero sharp
- Real algebraic geometry
- Archimedean property
- Bitangents of a quartic
- Budan's theorem
- Cylindrical algebraic decomposition
- Fourier–Motzkin elimination
- Gram–Euler theorem
- Gudkov's conjecture
- Harnack's curve theorem
- Hilbert's seventeenth problem
- Hilbert's sixteenth problem
- Krivine–Stengle Positivstellensatz
- Łojasiewicz inequality
- Mnëv's universality theorem
- Moment problem
- Nash functions
Popular: 7 Reims 2024 Lists of horror films Theme from New York, New York
Random: Ellesmere Rangers F.C. Amerika Samoa Knaresborough Zoo Preston and Longridge Railway The Marshes Local Nature Reserve
[beta] © 2025 • Data source: Wikipedia • Created by this chap