Pages that link to "Item:Q5060191"
From MaRDI portal
The following pages link to Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191):
Displaying 3 items.
- 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)
