Second-Order Logic and Foundations of Mathematics

DOI10.2307/2687796zbMath1002.03013WikidataQ56228044 ScholiaQ56228044MaRDI QIDQ4328795

Jouko Väänänen

Publication date: 29 April 2002

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.7000

zbMATH Keywords

Henkin quantifier; second-order logic; foundations of mathematics; Gödel numbers; Henkin semantics; first-order set theory

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03B30: Foundations of classical theories (including reverse mathematics)

03E99: Set theory

Related Items

Breaking the Atom with Samson, THE EXPRESSIVE POWER OF TRUTH, LOGIC IN THE TRACTATUS, A geometrical characterization of the twin paradox and its variants, From IF to BI. A tale of dependence and separation, What's right with a syntactic approach to theories and models?, Axiomatizing relativistic dynamics without conservation postulates, On the formal semantics of IF-like logics, Existential monadic second order logic on random rooted trees, Second-order logic and the power set, Second-order propositional modal logic: expressiveness and completeness results, Burali-Forti as a purely logical paradox, Can logic be combined with probability? Probably, Special relativity over the field of rational numbers, Twin paradox and the logical foundation of relativity theory

Cites Work

• The spectrum problem. I: \(\aleph_{\epsilon}\)-saturated models, the main gap
• The spectrum problem. II: Totally transcendental and infinite depth
• Absolute logics and L∞ω
• Completeness in the theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item