Revision #414 → #1378 · back to history
addedLöwenheim–Skolem theorem (general form)f751c08aaa8c
addedDownward Löwenheim–Skolem theorem152b1e57ee76
addedUpward Löwenheim–Skolem theorem8d162c6a8fd6
addedSignaturef85eff1dbd70
addedFirst-order theory5803f018d21c
addedStructure (σ-structure)609d1b889935
addedSubstructure and elementary substructure4a88d8033350
addedTheory with arbitrarily large finite models has an infinite model560249df6ce4
addedCategorical theory708924e55f8f
addedFirst-order theory with infinite model is not categorical90622c4a623c
addedUncountable models of true arithmeticc34c177a28d4
addedCountable model of real closed fields and uncountable model of arithmetic31730d7131df
addedSkolem's paradox24456c2473e2
addedDownward part proof via Skolem functions and Tarski–Vaught test951adbb56e48
addedUpward part proof via elementary diagram and compactness95aa429b03ce
addedLöwenheim–Skolem in second-order logic via supercompact cardinal54ae07a079bb
addedLöwenheim numberc97dc190dd4c