Term models for weak set theories with a universal set

DOI10.2307/2274387MaRDI QIDQ3784063zbMATH OpenOpenAlexFDO

Authors T. E. Forster

Publication date 1987

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

Full work available at URL https://doi.org/10.2307/2274387

zbMATH Keywords

consistencydecidabilityNew FoundationsNFterm models

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Recommendations

• On NFU
• scientific article; zbMATH DE number 3861145
• The equivalence of NF-style set theories with “tangled” type theories; the construction of ω-models of predicative NF (and more)
• Quine's NF--60 Years On
• scientific article; zbMATH DE number 536900

Cites work

• A Decision Method for the Universal Theorems of Quine's New Foundations
• On the consistency of an impredicative subsystem of Quine's NF

Cited in

(12)

• Increasing sentences in simple type theory
• scientific article; zbMATH DE number 3861145 (Why is no real title available?)
• scientific article; zbMATH DE number 5722458 (Why is no real title available?)
• There is a Forster term model of simple type theory
• A tutorial on constructive NF
• Where do sets come from?
• scientific article; zbMATH DE number 98682 (Why is no real title available?)
• A partial model of NF with E
• Extensional quotients for type theory and the consistency problem for NF
• The equivalence of NF-style set theories with “tangled” type theories; the construction of ω-models of predicative NF (and more)
• scientific article; zbMATH DE number 7123533 (Why is no real title available?)
• The usual model construction for NFU preserves information

This page was built for publication: Term models for weak set theories with a universal set

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