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

Unnamed Item, Breaking the Atom with Samson, THE EXPRESSIVE POWER OF TRUTH, LOGIC IN THE TRACTATUS, On the algebraization of Henkin‐type second‐order logic, 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, Deflationism beyond arithmetic, Axiomatizations of arithmetic and the first-order/second-order divide, Intrinsic, extrinsic, and the constitutive a priori, On representations of intended structures in foundational theories, Model theoretic characterizations of large cardinals, Defining behaviorizeable relations to enable inference in semi-automatic program synthesis, 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, Forcing, Multiverse and Realism, The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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