Pages that link to "Item:Q1412832"
From MaRDI portal
The following pages link to Inductively generated formal topologies. (Q1412832):
Displaying 15 items.
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- (Q5028461) (← 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)
- Generalising the fan theorem (Q5108091) (← links)
- (Q5155674) (← links)
- Sublocales in formal topology (Q5294021) (← links)
- Presenting Dcpos and Dcpo Algebras (Q5415639) (← links)
- The generalised type-theoretic interpretation of constructive set theory (Q5477624) (← links)
- Every countably presented formal topology is spatial, classically (Q5480621) (← links)
- Completeness and cocompleteness of the categories of basic pairs and concrete spaces (Q5740674) (← links)
- On Small Types in Univalent Foundations (Q6135756) (← links)
- Apartness, sharp elements, and the Scott topology of domains (Q6190408) (← links)
- Sharp elements and apartness in domains (Q6653753) (← links)