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
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
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
Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70) Foundations, relations to logic and deductive systems (18A15)
Cited In (6)
- 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
- On modal \(\mu\)-calculus and non-well-founded set theory
- The graph conception of set
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
