Pages that link to "Item:Q1756495"
From MaRDI portal
The following pages link to Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495):
Displaying 11 items.
- A categorical reading of the numerical existence property in constructive foundations (Q2080594) (← links)
- Parametric Church's thesis: synthetic computability without choice (Q2151397) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- (Q5009707) (← links)
- On Church’s thesis in cubical assemblies (Q5055494) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- Normalization by Evaluation for Typed Weak lambda-Reduction (Q5091147) (← links)
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← 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)
