The usual model construction for NFU preserves information

DOI10.1215/00294527-1722764zbMATH Open1284.03239OpenAlexW1971129867MaRDI QIDQ691132FDOQ691132

Authors: M. Randall Holmes 

Publication date: 29 November 2012

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1352383233

Recommendations

• On NFU
• Automorphisms of models of set theory and extensions of NFU
• scientific article; zbMATH DE number 1827832
• Term models for weak set theories with a universal set
• L'axiome de l'infini dans NFU

zbMATH Keywords

homogeneityNew Foundationsmodels with automorphismsNFurelements

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The strength of Mac Lane set theory
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• Title not available (Why is that?)
• New Foundations for Mathematical Logic
• Models of axiomatic theories admitting automorphisms
• Title not available (Why is that?)
• On the set of atoms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• A set of axioms for logic

This page was built for publication: The usual model construction for NFU preserves information

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