Sitemap - 2024 - Infinitely More
Mutual and bi-interpretation of models
The interpretation translation
What is the essential structure of the complex numbers?
Representing integers as a sum
Finite and transfinite variations of Escape!
Throwing Darts at the Real Line
The indispensability of mathematics
Infinitary Hat Puzzles and the Aftermath
Least upper bound principle and continuous induction
Quantifier elimination — Presburger arithmetic
Quantifier elimination — theory of successor
Continuity, instantaneous change, infinitesimals
Quantifier elimination — dense linear orders
Are the imaginary numbers real?
Reference de re versus de dicto
What are the real numbers, really?
Nondefinability and higher definability
Pointwise definability versus Leibnizian discernibility
Famous quotations in first-order predicate logic
Isomorphisms and elementary equivalence
Substructures and chains of models
More applications of induction
A compositional theory of truth
A formal language for first-order predicate logic
Distinguishing mathematical structures by their theories
Chaos train and monkey madness—fun with quantifiers in first-order logic