Publication:4174671

zbMath0393.03002MaRDI QIDQ4174671

John Stillwell

Publication date: 1977

zbMATH Keywords

Completeness; Undecidability; Compactness; Turing Machine; Predicate Logic; Goedel Incompleteness Theorem; Loewenheim-Skolem Theorems; Nonstandard Numbers; Survey of Mathematical Logic

Mathematics Subject Classification ID

03D35: Undecidability and degrees of sets of sentences

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03B10: Classical first-order logic

03H15: Nonstandard models of arithmetic

03D10: Turing machines and related notions

Related Items

Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics