The following pages link to Topological inductive definitions (Q450944):
Displaying 4 items.
- Constructive strong regularity and the extension property of a compactification (Q2084952) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS (Q4579809) (← links)
- Generalized geometric theories and set-generated classes (Q5740664) (← links)
