A critical appraisal of second-order logic
From MaRDI portal
Publication:3141185
Recommendations
- A defense of second-order logic
- scientific article; zbMATH DE number 1550339
- Logicism and Second-Order Logic
- Alternative versions of second-order logic: an introduction
- Second-order logic: properties, semantics, and existential commitments
- scientific article; zbMATH DE number 1984507
- scientific article; zbMATH DE number 1163925
- Second-Order Logic and Foundations of Mathematics
- scientific article; zbMATH DE number 5885155
Cites work
- scientific article; zbMATH DE number 3122413 (Why is no real title available?)
- scientific article; zbMATH DE number 4063046 (Why is no real title available?)
- scientific article; zbMATH DE number 4070882 (Why is no real title available?)
- scientific article; zbMATH DE number 50939 (Why is no real title available?)
- scientific article; zbMATH DE number 1135526 (Why is no real title available?)
- scientific article; zbMATH DE number 3198017 (Why is no real title available?)
- A model of set-theory in which every set of reals is Lebesgue measurable
- Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
- Higher set theory and mathematical practice
- Kreisel, the continuum hypothesis and second order set theory
- Provability, truth, and modal logic
- Second-order languages and mathematical practice
- Set theory. An introduction to large cardinals
Cited in
(19)- scientific article; zbMATH DE number 1984507 (Why is no real title available?)
- Strong logics of first and second order
- Second-Order Logic and Foundations of Mathematics
- Principles of reflection and second-order logic
- On representations of intended structures in foundational theories
- Second-order logic and the power set
- Second order logic, set theory and foundations of mathematics
- scientific article; zbMATH DE number 50939 (Why is no real title available?)
- scientific article; zbMATH DE number 2076264 (Why is no real title available?)
- Second-order languages and mathematical practice
- Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
- Second-order arithmetic \textit{sans} sets
- Completeness and categoricity: Frege, gödel and model theory
- A defense of second-order logic
- Second order logic or set theory?
- Higher-order logic or set theory: a false dilemma
- What's so bad about second-order logic?
- Commentary: On motivating higher-order logic
- Sort logic and foundations of mathematics
This page was built for publication: A critical appraisal of second-order logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3141185)