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

DOI10.2178/jsl/1231082300zbMath1167.03036OpenAlexW1982209059MaRDI QIDQ3616341

Thomas Forster, Nathan Bowler

Publication date: 25 March 2009

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1231082300

zbMATH Keywords

consistencynormal subgroupsaxiom of choiceinfinite symmetric groupsQuine's NFtyped set theories

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Subgroups of symmetric groups (20B35) Axiom of choice and related propositions (03E25)

Cites Work

• Symmetry as a criterion for comprehension motivating Quine's `New Foundations'
• Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF