New posts in model-theory

How can there be genuine models of set theory?

set-theory model-theory

How does Gödel Completeness fail in second-order logic?

logic model-theory first-order-logic incompleteness nonstandard-models

What is an example of a non standard model of Peano Arithmetic?

logic model-theory peano-axioms nonstandard-models

Is the compactness theorem (from mathematical logic) equivalent to the Axiom of Choice?

model-theory axiom-of-choice first-order-logic

Showing that if T has an infinite model, it has models at least models of every cardinality.

logic model-theory

Is there a natural model of Peano Arithmetic where Goodstein's theorem fails?

number-theory logic model-theory peano-axioms

Is extending a theory by a totally random/arbitrary predicate a conservative extension?

model-theory

Non-standard models of arithmetic for Dummies

arithmetic model-theory

Learning Model Theory

logic reference-request model-theory book-recommendation online-resources

Is there a *simple* example of how the axiom of choice can lead to a counterintuitive result?

logic model-theory axiom-of-choice

(Why) is topology nonfirstorderizable?

general-topology logic model-theory

FO-definability of the integers in (Q, +, <)

logic model-theory

Does there exist any uncountable group , every proper subgroup of which is countable?

abstract-algebra group-theory elementary-set-theory model-theory infinite-groups

Applications of model theory to analysis

real-analysis complex-analysis soft-question model-theory applications

Model of concatenation theory with left-cancellation but no right-cancellation

logic model-theory proof-theory provability nonstandard-models

Is $ \pi $ definable in $(\Bbb R,0,1,+,×, <,\exp) $?

real-analysis model-theory first-order-logic

Murder at Hilbert's Hotel!

number-theory logic model-theory

What is an efficient nesting of mathematical theorems?

model-theory

Is $\mathbb{N}$ impossible to pin down?

logic soft-question model-theory philosophy foundations

Excercise 1.5.1 from Blackburn, de Rijke and Venema's Modal Logic

logic model-theory modal-logic