Similar Items: A program for the full axiom of choice
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
- A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
- Left-Linear Completion with AC Axioms
- Axioms for Modelling Cubical Type Theory in a Topos
- On The Axioms Of $mathcal{M},mathcal{N}$-Adhesive Categories
- A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time