A theory of infinitary relations extending Zermelo's theory of infinitary propositions

DOI10.1007/s11225-016-9660-5zbMath1397.03057OpenAlexW2297636457WikidataQ59478977 ScholiaQ59478977MaRDI QIDQ284223

R. Gregory Taylor

Publication date: 17 May 2016

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-016-9660-5

zbMATH Keywords

Zermelo set theorydefinable setGödel's first incompleteness theorem.infinitary relationsRussell's substitutional theoryZermelo's theory of infinitary propositions

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Models of arithmetic and set theory (03C62) Other infinitary logic (03C75) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Set theory. An introduction to large cardinals
• Zermelo, reductionism, and the philosophy of mathematics
• Model Theory
• Consistency of the Continuum Hypothesis. (AM-3)

This page was built for publication: A theory of infinitary relations extending Zermelo's theory of infinitary propositions