The following pages link to (Q5009707):
Displaying 4 items.
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
- Equiconsistency of the minimalist foundation with its classical version (Q6652037) (← links)
