Non-well-founded sets via revision rules

DOI10.1007/BF01052781zbMath0834.03015OpenAlexW2165388689MaRDI QIDQ1337508

Gian Aldo Antonelli

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

zbMATH Keywords

consistencycongruencerevision rulesnon-well-founded setsquotient structureZFC without the Foundation Axiom

Mathematics Subject Classification ID

Consistency and independence results (03E35)

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

• Combinatory logic. With two sections by William Craig.
• Notes on naive semantics
• Truth and paradox
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item