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

DOI10.1007/S11225-016-9660-5zbMATH Open1397.03057DBLPjournals/sLogica/Taylor16OpenAlexW2297636457WikidataQ59478977 ScholiaQ59478977MaRDI QIDQ284223FDOQ284223

Authors: 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

Recommendations

• Zermelo's Cantorian Theory of Systems of Infinitely Long Propositions
• scientific article; zbMATH DE number 1254495
• Zermelo and the Skolem Paradox
• Zermelo: definiteness and the universe of definable sets
• Zermelo and Set Theory

zbMATH Keywords

definable setinfinitary relationsRussell's substitutional theoryZermelo set theoryZermelo's theory of infinitary propositionsGödel's first incompleteness theorem.

Mathematics Subject Classification ID

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

Cites Work

• Model Theory
• Title not available (Why is that?)
• Set theory. An introduction to large cardinals
• Zermelo, reductionism, and the philosophy of mathematics
• Ernst Zermelo. An approach to his life and work. In cooperation with Volker Peckhaus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Consistency of the Continuum Hypothesis. (AM-3)

Cited In (1)

• Zermelo's Cantorian Theory of Systems of Infinitely Long Propositions

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

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