Similar Items: A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
- A program for the full axiom of choice
- Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies
- $sigma$-locales in Formal Topology
- On completeness and parametricity in the realizability semantics of System F
- P-SEPARATION AXIOMS IN SUPRA SOFT TOPOLOGICAL SPACE