Internal categoricity in arithmetic and set theory

DOI10.1215/00294527-2835038zbMath1372.03088OpenAlexW1965300620MaRDI QIDQ2345394

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

arithmeticset theorysecond-order logiccategoricity

Mathematics Subject Classification ID

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

Related Items (4)

LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS ⋮ Internal categoricity, truth and determinacy ⋮ On the virtue of categoricity ⋮ Structural relativity and informal rigour

Cites Work

• Reverse mathematics and Peano categoricity
• Axioms of Infinity as the Starting Point for Rigorous Mathematics(<Special Section>Infinity in Philosophy and Mathematics)
• Second Order Logic or Set Theory?
• Completeness in the theory of types
• Unnamed Item

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