The following pages link to Some points in formal topology. (Q1427787):
Displaying 23 items.
- Continuity of Motion in Whitehead’s Geometrical Space (Q3295803) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- (Q4553278) (← links)
- THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM (Q4637953) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- (Q4693262) (← links)
- A constructive Galois connection between closure and interior (Q4899177) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)
- (Q4982398) (← links)
- Topology as Faithful Communication Through Relations (Q4988935) (← links)
- (Q5009707) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Ordering groups constructively (Q5238136) (← links)
- Sublocales in formal topology (Q5294021) (← links)
- The generalised type-theoretic interpretation of constructive set theory (Q5477624) (← links)
- Every countably presented formal topology is spatial, classically (Q5480621) (← links)
- On constructing completions (Q5718698) (← links)
- Generalized geometric theories and set-generated classes (Q5740664) (← links)
- On Small Types in Univalent Foundations (Q6135756) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)
