scientific article; zbMATH DE number 3394385
From MaRDI portal
Publication:5662560
zbMath0249.18015MaRDI QIDQ5662560
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categories and theories (18C99) Intermediate logics (03B55) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Mathematical logic and foundations (03-XX) Algebraic geometry (14-XX)
Related Items (15)
Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Bi-Heyting algebras, toposes and modalities ⋮ Diego's theorem for nuclear implicative semilattices ⋮ Unnamed Item ⋮ Morpho-logic from a topos perspective -- application to symbolic AI ⋮ Ultrafilters, ultrapowers and finiteness in a topos ⋮ Change of base for toposes with generators ⋮ Topoi and categories of fuzzy sets ⋮ Categorie variabili ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ Repleteness and the associated sheaf ⋮ Interpretations of module varieties
This page was built for publication:
