The following pages link to STS: a structural theory of sets (Q4700537):
Displaying 5 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. La Sorbonne, Paris, France, July 23-31, 2000 (Q2732529) (← links)
- Skand theory and its applications (a new look at non-well-founded sets) (Q2829874) (← links)
- CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC (Q5000268) (← links)