Sitemap - 2024 - Infinitely More
What are the real numbers, really?
Nondefinability and higher definability
Pointwise definability versus Leibnizian discernibility
Infinite Liars (from the archives)
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