Pages that link to "Item:Q1032635"

The following pages link to A minimalist two-level foundation for constructive mathematics (Q1032635):

Displaying 20 items.

• Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
• Embedding locales and formal topologies into positive topologies (Q1756486) (← links)
• Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495) (← links)
• A categorical reading of the numerical existence property in constructive foundations (Q2080594) (← links)
• On the compatibility between the minimalist foundation and constructive set theory (Q2104267) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
• A co-free construction for elementary doctrines (Q2254598) (← links)
• Unifying exact completions (Q2254599) (← links)
• Categories with families and first-order logic with dependent sorts (Q2326422) (← links)
• A Minimalist Foundation at Work (Q2909749) (← links)
• On Choice Rules in Dependent Type Theory (Q2988806) (← links)
• The principle of pointfree continuity (Q3121524) (← links)
• Convergence in formal topology: a unifying notion (Q4907839) (← links)
• Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
• (Q5091143) (← 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)
• Two-level type theory and applications (Q6149950) (← links)