Free set algebras satisfying systems of equations

DOI10.2307/2586804zbMath0952.03044OpenAlexW2134152836MaRDI QIDQ4948534

Gian Aldo Antonelli

Publication date: 11 April 2000

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

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

zbMATH Keywords

set algebrafree structuresmodels for non-well-founded set theoryset-theoretic equationssmallest fixed points

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Axiomatics of classical set theory and its fragments (03E30) Models of arithmetic and set theory (03C62) Other set-theoretic hypotheses and axioms (03E65)

Cites Work

• Non-well-founded sets modeled as ideal fixed points
• Non-well-founded sets via revision rules
• Extensional quotients for type theory and the consistency problem for NF

This page was built for publication: Free set algebras satisfying systems of equations