The following pages link to Topological inductive definitions (Q450944):
Displaying 9 items.
- Inductive construction of repletion (Q1306716) (← links)
- Inductively generated formal topologies. (Q1412832) (← links)
- Constructive strong regularity and the extension property of a compactification (Q2084952) (← links)
- Aspects of general topology in constructive set theory (Q2575763) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- The art of pointless thinking: A student's guide to the category of locales (Q3976465) (← links)
- (Q4029763) (← links)
- ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS (Q4579809) (← links)
- Generalized geometric theories and set-generated classes (Q5740664) (← links)