Second order logic or set theory?

DOI10.2178/BSL/1327328440MaRDI QIDQ5388758zbMATH OpenOpenAlexFDO

Authors 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, https://dare.uva.nl/personal/pure/en/publications/second-order-logic-or-set-theory(7aaa2688-f95b-4f38-b814-f245009b4bd3).html

zbMATH Keywords

foundation of mathematicsHenkin modelsinternal categoricitynonstandard modelssecond-order logicset theory

Mathematics Subject Classification ID

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

Recommendations

• Second order logic, set theory and foundations of mathematics
• Second-Order Logic and Foundations of Mathematics
• Internal categoricity in arithmetic and set theory
• A critical appraisal of second-order logic
• scientific article; zbMATH DE number 50939

Cites work

• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• scientific article; zbMATH DE number 3378882 (Why is no real title available?)
• Isomorphism and higher order equivalence

Cited in

(27)

• Categoricity theorems and conceptions of set
• Categoricity results for second-order ZF in dependent type theory
• Second-order logic and the power set
• Axiomatizations of arithmetic and the first-order/second-order divide
• Structural relativity and informal rigour
• 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
• Completeness and categoricity (in power): formalization without foundationalism
• Maximality vs. extendability: reflections on structuralism and set theory
• Changing a Semantics: Opportunism or Courage?
• On nonstandard models in higher order logic
• Second-order languages and mathematical practice
• Where do sets come from?
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• Second-Order Logic and Foundations of Mathematics
• scientific article; zbMATH DE number 2076264 (Why is no real title available?)
• Categorical characterizations of the natural numbers require primitive recursion
• Sort logic and foundations of mathematics
• An extension of a theorem of Zermelo
• Second order logic, set theory and foundations of mathematics
• CAPTURING CONSEQUENCE
• What can a categoricity theorem tell us?
• Generalizing Boolos' theorem
• Multiple universes of sets and indeterminate truth values
• Internal categoricity, truth and determinacy
• Non-tightness in class theory and second-order arithmetic

This page was built for publication: Second order logic or set theory?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5388758)