A critical appraisal of second-order logic

DOI10.1080/01445349308837210zbMath0788.03003OpenAlexW2012617044WikidataQ58524337 ScholiaQ58524337MaRDI QIDQ3141185

Ignacio Jané

Publication date: 5 June 1994

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445349308837210

zbMATH Keywords

set theorysecond-order logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Set theory (03E99)

Related Items (3)

Second-order logic and the power set ⋮ Completeness and categoricity: Frege, gödel and model theory ⋮ Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics

Cites Work

• Provability, truth, and modal logic
• Set theory. An introduction to large cardinals
• Kreisel, the continuum hypothesis and second order set theory
• A model of set-theory in which every set of reals is Lebesgue measurable
• Second-order languages and mathematical practice
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Higher set theory and mathematical practice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A critical appraisal of second-order logic