scientific article; zbMATH DE number 2247253
From MaRDI portal
zbMath1115.03090MaRDI QIDQ5718565
Giovanni Sambin, Maria Emilia Maietti
Publication date: 16 January 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Topoi (18B25) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35)
Related Items
A universal Krull-Lindenbaum theorem, THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS), From type theory to setoids and back, Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice, A Minimalist Foundation at Work, Unnamed Item, Unnamed Item, Procedural representation of CIC proof terms, Quotient completion for the foundation of constructive mathematics, Interpreting quantum parallelism by sequents, Finiteness in a Minimalist Foundation, Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?, The compatibility of the minimalist foundation with homotopy type theory, A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE, Unnamed Item, Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets, A constructive investigation of satisfiability, Two subcategories of apartness spaces, On Choice Rules in Dependent Type Theory, Unnamed Item, Quantum states as virtual singletons: converting duality into symmetry, The principle of pointfree continuity, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), Finitary formal topologies and Stone's representation theorem, Convergence in formal topology: a unifying notion, A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS, 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, C for constructivism. Beyond clichés, Formalising Overlap Algebras in Matita, A minimalist two-level foundation for constructive mathematics, Topology as Faithful Communication Through Relations, A categorical reading of the numerical existence property in constructive foundations, On the compatibility between the minimalist foundation and constructive set theory
