scientific article; zbMATH DE number 2247253
From MaRDI portal
Publication:5718565
Recommendations
- A minimalist two-level foundation for constructive mathematics
- Constructive toposes with countable sums as models of constructive set theory
- Constructive Mathematics in Theory and Programming Practice
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- On the constructive and computational content of abstract mathematics
Cited in
(45)- A minimalist two-level foundation for constructive mathematics
- Embedding locales and formal topologies into positive topologies
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
- A categorical reading of the numerical existence property in constructive foundations
- On the compatibility between the minimalist foundation and constructive set theory
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- C for constructivism. Beyond clichés
- Procedural representation of CIC proof terms
- A universal Krull-Lindenbaum theorem
- scientific article; zbMATH DE number 1693440 (Why is no real title available?)
- A minimalist foundation at work
- On choice rules in dependent type theory
- Formalising overlap algebras in Matita
- scientific article; zbMATH DE number 5994605 (Why is no real title available?)
- The principle of pointfree continuity
- Finiteness in a Minimalist Foundation
- Quotient completion for the foundation of constructive mathematics
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
- Quantum states as virtual singletons: converting duality into symmetry
- Convergence in formal topology: a unifying notion
- scientific article; zbMATH DE number 6154336 (Why is no real title available?)
- Why topology in the minimalist foundation must be pointfree
- Topology as Faithful Communication Through Relations
- A realizability semantics for inductive formal topologies, Church's thesis and axiom of choice
- scientific article; zbMATH DE number 7471696 (Why is no real title available?)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
- Overlap algebras: a constructive look at complete Boolean algebras
- Reducibility, a constructive dual of spatiality
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
- From type theory to setoids and back
- Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?
- The compatibility of the minimalist foundation with homotopy type theory
- Interpreting quantum parallelism by sequents
- A constructive investigation of satisfiability
- Two subcategories of apartness spaces
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
- Equiconsistency of the minimalist foundation with its classical version
- A topological counterpart of well-founded trees in dependent type theory
- A topological reading of coinductive predicates in dependent type theory
- ``Upon this quote I will build my Church thesis
- Biased elementary doctrines and quotient completions
- Effectiveness and continuity in intuitionistic quasi-toposes of assemblies
- Finitary formal topologies and Stone's representation theorem
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5718565)
