Internal categoricity in arithmetic and set theory

DOI10.1215/00294527-2835038MaRDI QIDQ2345394zbMATH OpenOpenAlexFDO

Authors Jouko Väänänen, Tong Wang

Publication date 22 May 2015

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1427202976

zbMATH Keywords

arithmeticcategoricitysecond-order logicset theory

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Categoricity and completeness of theories (03C35) Models of arithmetic and set theory (03C62) Second- and higher-order model theory (03C85)

Recommendations

• Second order logic or set theory?
• Categoricity results for second-order ZF in dependent type theory
• Categoricity theorems and conceptions of set
• Second-Order Logic and Foundations of Mathematics
• What can a categoricity theorem tell us?

Cites work

• Axioms of infinity as the starting point for rigorous mathematics.
• Completeness in the theory of types
• scientific article; zbMATH DE number 3179564 (Why is no real title available?)
• Reverse mathematics and Peano categoricity
• Second order logic or set theory?

Cited in

(18)

• Categoricity theorems and conceptions of set
• Internal categories in Mal'cev categories
• Reverse mathematics and Peano categoricity
• On the virtue of categoricity
• Structural relativity and informal rigour
• A categorical approach to internality
• scientific article; zbMATH DE number 4061471 (Why is no real title available?)
• scientific article; zbMATH DE number 1192380 (Why is no real title available?)
• A general setting for Dedekind's axiomatization of the positive integers
• LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS
• Second order logic or set theory?
• What can a categoricity theorem tell us?
• Generalizing Boolos' theorem
• scientific article; zbMATH DE number 7332477 (Why is no real title available?)
• Internal categoricity, truth and determinacy
• When rules define logical operators: rules as second-order definitions
• Non-tightness in class theory and second-order arithmetic
• Another look at reflection

This page was built for publication: Internal categoricity in arithmetic and set theory

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