Term models for weak set theories with a universal set

DOI10.2307/2274387zbMath0643.03039OpenAlexW1979425288MaRDI QIDQ3784063

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)

Related Items (2)

Increasing sentences in simple type theory ⋮ Where do sets come from?

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

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