Second-Order Logic and Foundations of Mathematics
From MaRDI portal
Publication:4328795
DOI10.2307/2687796zbMath1002.03013OpenAlexW2171561809WikidataQ56228044 ScholiaQ56228044MaRDI QIDQ4328795
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
Henkin quantifiersecond-order logicfoundations of mathematicsGödel numbersHenkin semanticsfirst-order set theory
Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Set theory (03E99)
Related Items
On representations of intended structures in foundational theories, Existential monadic second order logic on random rooted trees, From IF to BI. A tale of dependence and separation, Can logic be combined with probability? Probably, Special relativity over the field of rational numbers, A geometrical characterization of the twin paradox and its variants, Model theoretic characterizations of large cardinals, Unnamed Item, On the algebraization of Henkin‐type second‐order logic, Second-order logic and the power set, What's right with a syntactic approach to theories and models?, Forcing, Multiverse and Realism, The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs, Second-order propositional modal logic: expressiveness and completeness results, Axiomatizing relativistic dynamics without conservation postulates, Defining behaviorizeable relations to enable inference in semi-automatic program synthesis, Breaking the Atom with Samson, LOGIC IN THE TRACTATUS, On the formal semantics of IF-like logics, Twin paradox and the logical foundation of relativity theory, Burali-Forti as a purely logical paradox, Deflationism beyond arithmetic, Axiomatizations of arithmetic and the first-order/second-order divide, Intrinsic, extrinsic, and the constitutive a priori, THE EXPRESSIVE POWER OF TRUTH
Cites Work
