Symmetry as a criterion for comprehension motivating Quine's `New Foundations'

DOI10.1007/s11225-008-9107-8zbMath1138.03042DBLPjournals/sLogica/Holmes08OpenAlexW2085194630WikidataQ56031504 ScholiaQ56031504MaRDI QIDQ2426734

M. Randall Holmes

Publication date: 23 April 2008

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

Full work available at URL: https://doi.org/10.1007/s11225-008-9107-8

zbMATH Keywords

symmetryNew FoundationsRieger-Bernays permutation methods

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Related Items (1)

Normal subgroups of infinite symmetric groups, with an application to stratified set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• On the consistency of an impredicative subsystem of Quine's NF
• New Foundations for Mathematical Logic
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• A system of axiomatic set theory - Part VII
• A set of axioms for logic

This page was built for publication: Symmetry as a criterion for comprehension motivating Quine's `New Foundations'