scientific article; zbMATH DE number 3542619
From MaRDI portal
Publication:4117991
zbMath0348.18002MaRDI QIDQ4117991
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonclassical and second-order set theories (03E70) Intermediate logics (03B55) Foundations, relations to logic and deductive systems (18A15)
Related Items (13)
Unnamed Item ⋮ From types to sets ⋮ Fuzzy sets: A topos-logical point of view ⋮ Morpho-logic from a topos perspective -- application to symbolic AI ⋮ The World's simplest axiom of choice fails ⋮ Unnamed Item ⋮ A globalization of the Hahn-Banach theorem ⋮ Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes ⋮ Reflection principles for synthetic theories of smooth manifolds ⋮ Integral domain type representations in sheaves and other topoi ⋮ Rings, fields, and spectra ⋮ Coherence in Cartesian closed categories and the generality of proofs ⋮ WHEN ARE DIVISIBLE ABELIAN GROUPS INJECTIVE?
This page was built for publication:
