scientific article; zbMATH DE number 3361843

zbMath0228.02001MaRDI QIDQ5635418

No author found.

Publication date: 1970

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

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Nonstandard models of arithmetic (03H15) Nonstandard models in mathematics (03H05) Quantifier elimination, model completeness, and related topics (03C10) Mathematical logic and foundations (03-XX)

Related Items (21)

Super-exponentials nonprimitive recursive, but rudimentary ⋮ The axioms of constructive geometry ⋮ Completeness: from Husserl to Carnap ⋮ Lattices freely generated by an order and preserving certain bounds ⋮ Richard Dedekind: style and influence ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ Steps toward a philosophy for mathematicians ⋮ Farewell to suppression-freedom ⋮ Expanding \(\text{FL}_{ew}\) with a Boolean connective ⋮ Carnap's early metatheory: scope and limits ⋮ Provability logic: models within models in Peano arithmetic ⋮ A constructive analysis of learning in Peano arithmetic ⋮ Symmetric embeddings of free lattices into each other ⋮ Is Natural Semantics Possible?—Ordinary English, Formal Deformations-cum-Reformations and the Limits of Model Theory ⋮ The scope of Gödel's first incompleteness theorem ⋮ On definability in dependence logic ⋮ KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION ⋮ Team Logic and Second-Order Logic ⋮ The undecidability of the elementary theory of lattices of all equational theories of large signature ⋮ On an operation with regular elements ⋮ Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections

This page was built for publication: