STS: a structural theory of sets

DOI10.1093/jigpal/7.4.481zbMath0933.03070OpenAlexW2046358127MaRDI QIDQ4700537

Alexandru Baltag

Publication date: 1 November 1999

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

Full work available at URL: https://ir.cwi.nl/pub/2096

zbMATH Keywords

paradoxesrecursiontopological propertiesfixed-point theoremscorecursiondomain equationscircular modelsinfinitary modal logicuniversal set theoryobservational equivalence between processesreflexive categoriessets as transfinite processes of unfolding of binary structuresstructural theory of setssuper-antifoundation axiomsuper-largeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70) Foundations, relations to logic and deductive systems (18A15)

Related Items (4)

2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ On modal \(\mu\)-calculus and non-well-founded set theory ⋮ The graph conception of set ⋮ CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC

This page was built for publication: STS: a structural theory of sets