scientific article; zbMATH DE number 3609625

zbMath0393.03002MaRDI QIDQ4174671

John Stillwell

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

CompletenessUndecidabilityCompactnessTuring MachinePredicate LogicGoedel Incompleteness TheoremLoewenheim-Skolem TheoremsNonstandard NumbersSurvey of Mathematical Logic

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Nonstandard models of arithmetic (03H15) Turing machines and related notions (03D10)

Related Items (1)

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

This page was built for publication: