STS: a structural theory of sets

DOI10.1093/JIGPAL/7.4.481zbMATH Open0933.03070OpenAlexW2046358127MaRDI QIDQ4700537FDOQ4700537

Authors Alexandru Baltag 

Publication date 1 November 1999

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

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

zbMATH Keywords

paradoxesrecursioncorecursiontopological propertiesfixed-point theoremsdomain 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)

Recommendations

• scientific article; zbMATH DE number 1735870
• scientific article; zbMATH DE number 221384
• Stable theories and representation over sets
• STMM: A set theory for mechanized mathematics
• Set Theory and Structures
• Sets, categories and structuralism
• A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
• Setoids in type theory
• The set algebra and structural analysis
• The structure theory of set addition revisited

Cited In (9)

• CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• Generating custom set theories with non-set structured objects
• Implementing Cantor's paradise
• On modal \(\mu\)-calculus and non-well-founded set theory
• The graph conception of set
• Skand theory and its applications (a new look at non-well-founded sets)
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)

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

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