The following pages link to (Q5718565):
Displayed 34 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- Quantum states as virtual singletons: converting duality into symmetry (Q472718) (← links)
- Interpreting quantum parallelism by sequents (Q616844) (← links)
- A constructive investigation of satisfiability (Q651313) (← links)
- Two subcategories of apartness spaces (Q651317) (← links)
- Finitary formal topologies and Stone's representation theorem (Q949607) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← 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)
- C for constructivism. Beyond clichés (Q2304765) (← links)
- Procedural representation of CIC proof terms (Q2655331) (← links)
- A Minimalist Foundation at Work (Q2909749) (← links)
- On Choice Rules in Dependent Type Theory (Q2988806) (← links)
- Formalising Overlap Algebras in Matita (Q3094175) (← links)
- The principle of pointfree continuity (Q3121524) (← links)
- Finiteness in a Minimalist Foundation (Q3499749) (← links)
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE (Q4600451) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)
- Topology as Faithful Communication Through Relations (Q4988935) (← links)
- (Q5009707) (← links)
- (Q5028461) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)
- (Q5216305) (← links)
- (Q5224156) (← links)
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)
- From type theory to setoids and back (Q5889302) (← links)
- Dynamics in Foundations: What Does It Mean in the Practice of Mathematics? (Q6075440) (← links)
- The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)