Second-Order Logic and Foundations of Mathematics
DOI10.2307/2687796zbMATH Open1002.03013OpenAlexW2171561809WikidataQ56228044 ScholiaQ56228044MaRDI QIDQ4328795FDOQ4328795
Authors: Jouko Väänänen 
Publication date: 29 April 2002
Published in: The 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
Recommendations
foundations of mathematicssecond-order logicHenkin quantifierHenkin semanticsGödel numbersfirst-order set theory
Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Set theory (03E99)
Cites Work
- Title not available (Why is that?)
- Completeness in the theory of types
- Title not available (Why is that?)
- Title not available (Why is that?)
- The spectrum problem. I: \(\aleph_{\epsilon}\)-saturated models, the main gap
- Absolute logics and L∞ω
- The spectrum problem. II: Totally transcendental and infinite depth
Cited In (53)
- Logicism and Second-Order Logic
- Existential monadic second order logic on random rooted trees
- Logic in the \textit{Tractatus}
- Title not available (Why is that?)
- Strong logics of first and second order
- On the formal semantics of IF-like logics
- Alternative versions of second-order logic: an introduction
- A critical appraisal of second-order logic
- The expressive power of truth
- Principles of reflection and second-order logic
- Title not available (Why is that?)
- Breaking the atom with Samson
- A geometrical characterization of the twin paradox and its variants
- On representations of intended structures in foundational theories
- Second order logic, set theory and foundations of mathematics
- The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs
- Rudimentary Languages and Second‐Order Logic
- Second-order logic and the power set
- Defining behaviorizeable relations to enable inference in semi-automatic program synthesis
- Model theoretic characterizations of large cardinals
- On the algebraization of Henkin‐type second‐order logic
- From IF to BI. A tale of dependence and separation
- Can logic be combined with probability? Probably
- Title not available (Why is that?)
- Twin paradox and the logical foundation of relativity theory
- Title not available (Why is that?)
- Second-order languages and mathematical practice
- Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
- Number theory and infinity without mathematics
- Reasoning about constructive concepts
- Burali-Forti as a purely logical paradox
- Axiomatizations of arithmetic and the first-order/second-order divide
- Forcing, Multiverse and Realism
- Axiomatizing relativistic dynamics without conservation postulates
- Second-order arithmetic \textit{sans} sets
- What's right with a syntactic approach to theories and models?
- Intrinsic, extrinsic, and the constitutive a priori
- Second-order propositional modal logic: expressiveness and completeness results
- Deflationism beyond arithmetic
- Extensionalizing intensional second-order logic
- Second-Order Algebraic Theories
- Structural relativity and informal rigour
- Second-Order Equational Logic (Extended Abstract)
- A defense of second-order logic
- The logic of separation logic: models and proofs
- Second order logic or set theory?
- Higher-order logic or set theory: a false dilemma
- What can a categoricity theorem tell us?
- Internal categoricity in arithmetic and set theory
- Sort logic and foundations of mathematics
- How recent work in mathematical logic relates to the foundations of mathematics
- Pedagogical Second-order Propositional Calculi
- Special relativity over the field of rational numbers
This page was built for publication: Second-Order Logic and Foundations of Mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4328795)
