On non-wellfounded sets as fixed points of substitutions

DOI10.1305/NDJFL/1054301353zbMath1023.03048OpenAlexW2061629978MaRDI QIDQ1409302

Tapani Hyttinen, Matti Pauna

Publication date: 13 October 2003

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1054301353

zbMATH Keywords

branching structurenon-wellfounded setsfixed points of substitution

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Other set-theoretic hypotheses and axioms (03E65)

Cites Work

• Rank in set theory without foundation
• Unnamed Item
• Unnamed Item

This page was built for publication: On non-wellfounded sets as fixed points of substitutions