Extensional quotients for type theory and the consistency problem for NF

DOI10.2307/2586599zbMath0904.03030OpenAlexW1981710605MaRDI QIDQ4391434

Gian Aldo Antonelli

Publication date: 4 January 1999

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

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

zbMATH Keywords

bisimulationtype theoryNew Foundationsextensional quotientsnegative types

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Related Items (1)

Free set algebras satisfying systems of equations

Cites Work

• Non-well-founded sets via revision rules
• DUALITÄT
• New Foundations for Mathematical Logic
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic

This page was built for publication: Extensional quotients for type theory and the consistency problem for NF