Pages that link to "Item:Q3583800"
From MaRDI portal
The following pages link to On some peculiar aspects of the constructive theory of point-free spaces (Q3583800):
Displaying 10 items.
- Topological inductive definitions (Q450944) (← links)
- Exact approximations to Stone-Čech compactification (Q882119) (← links)
- Towards formal Baer criteria (Q2099403) (← links)
- Remarks on the Stone-Čech and Alexandroff compactifications of locales (Q2475110) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- Relative formal topology: the binary positivity predicate comes first (Q3225738) (← links)
- (Q5009707) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- On Small Types in Univalent Foundations (Q6135756) (← links)
- Overlap Algebras as Almost Discrete Locales (Q6137844) (← links)
