The graph conception of set

DOI10.1007/s10992-012-9259-xzbMath1343.03041OpenAlexW1988962060MaRDI QIDQ742483

Luca Incurvati

Publication date: 18 September 2014

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

Full work available at URL: https://doi.org/10.1007/s10992-012-9259-x

zbMATH Keywords

iterative conceptionanti-foundation axiomnon-well-founded set theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70)

Related Items (2)

Coalgebra and abstraction ⋮ Structural relativity and informal rigour

Cites Work

• Non-well-founded trees in categories
• Hypersets
• Universal coalgebra: A theory of systems
• Terminal coalgebras in well-founded set theory
• Notes on Set Theory
• Boolos on the justification of set theory
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• STS: a structural theory of sets
• A final coalgebra theorem
• New Foundations for Mathematical Logic
• On the structure of categories of coalgebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The graph conception of set