The following pages link to STS: a structural theory of sets (Q4700537):
Displayed 4 items.
- The graph conception of set (Q742483) (← links)
- On modal \(\mu\)-calculus and non-well-founded set theory (Q1771199) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC (Q5000268) (← links)