Non-well-founded sets via revision rules
From MaRDI portal
Publication:1337508
DOI10.1007/BF01052781zbMath0834.03015OpenAlexW2165388689MaRDI QIDQ1337508
Publication date: 9 November 1994
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01052781
consistencycongruencerevision rulesnon-well-founded setsquotient structureZFC without the Foundation Axiom
Related Items
Guest editors' introduction ⋮ Extensional quotients for type theory and the consistency problem for NF ⋮ Free set algebras satisfying systems of equations ⋮ What's in a function?
Cites Work