Second Order Logic or Set Theory?

DOI10.2178/bsl/1327328440zbMath1252.03024OpenAlexW2020051767MaRDI QIDQ5388758

Jouko Väänänen

Publication date: 20 April 2012

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.bsl/1327328440

zbMATH Keywords

set theorynonstandard modelssecond-order logicHenkin modelsfoundation of mathematicsinternal categoricity

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30) Second- and higher-order model theory (03C85)

Related Items (12)

Changing a Semantics: Opportunism or Courage? ⋮ Internal categoricity, truth and determinacy ⋮ Categoricity results for second-order ZF in dependent type theory ⋮ CAPTURING CONSEQUENCE ⋮ Categorical characterizations of the natural numbers require primitive recursion ⋮ WHAT CAN A CATEGORICITY THEOREM TELL US? ⋮ GENERALIZING BOOLOS’ THEOREM ⋮ Axiomatizations of arithmetic and the first-order/second-order divide ⋮ AN EXTENSION OF A THEOREM OF ZERMELO ⋮ Categoricity results and large model constructions for second-order ZF in dependent type theory ⋮ Internal categoricity in arithmetic and set theory ⋮ Boolean-valued second-order logic

Cites Work

• Isomorphism and higher order equivalence
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Unnamed Item

This page was built for publication: Second Order Logic or Set Theory?