Pages that link to "Item:Q2575773"
From MaRDI portal
The following pages link to Maximal and partial points in formal spaces (Q2575773):
Displaying 9 items.
- Topological inductive definitions (Q450944) (← links)
- On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology (Q636295) (← links)
- Exact approximations to Stone-Čech compactification (Q882119) (← links)
- Non-deterministic inductive definitions (Q1935375) (← links)
- Equivalents of the finitary non-deterministic inductive definitions (Q2311215) (← links)
- Aspects of general topology in constructive set theory (Q2575763) (← links)
- On the collection of points of a formal space (Q2575767) (← links)
- Regular universes and formal spaces (Q2575774) (← links)
- Generalized geometric theories and set-generated classes (Q5740664) (← links)
