Toward a modal-structural interpretation of set theory

DOI10.1007/BF00485188zbMath0757.03024MaRDI QIDQ1202500

Geoffrey Hellman

Publication date: 2 February 1993

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

second-order modal logicstructuralist interpretation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30)

Cites Work

• Set theory. An introduction to large cardinals
• Kreisel, the continuum hypothesis and second order set theory
• Axiom schemata of strong infinity in axiomatic set theory
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• Proper classes
• Second-order languages and mathematical practice
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Set existence principles of Shoenfield, Ackermann, and Powell
• Inner models for set theory—Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Toward a modal-structural interpretation of set theory