Non-well-founded sets via revision rules

DOI10.1007/BF01052781MaRDI QIDQ1337508zbMATH OpenOpenAlexFDO

Authors 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

congruenceconsistencynon-well-founded setsquotient structurerevision rulesZFC without the Foundation Axiom

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Recommendations

• Non-well-founded extensions of V
• Anti-admissible sets
• On non-wellfounded sets as fixed points of substitutions
• scientific article; zbMATH DE number 740994
• On the negation of the axiom of foundation

Cites work

• Combinatory logic. With two sections by William Craig.
• scientific article; zbMATH DE number 3873291 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 42737 (Why is no real title available?)
• scientific article; zbMATH DE number 44058 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• Notes on naive semantics
• Truth and paradox

Cited in

(7)

• What's in a function?
• On non-wellfounded sets as fixed points of substitutions
• scientific article; zbMATH DE number 4181325 (Why is no real title available?)
• Extensional quotients for type theory and the consistency problem for NF
• Non-well-founded extensions of V
• Free set algebras satisfying systems of equations
• Guest editors' introduction

This page was built for publication: Non-well-founded sets via revision rules

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