scientific article; zbMATH DE number 3554471
From MaRDI portal
Publication:4128955
zbMath0356.18012MaRDI QIDQ4128955
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grothendieck topologies and Grothendieck topoi (18F10) Foundations, relations to logic and deductive systems (18A15)
Related Items (11)
Seven trees in one ⋮ Theories of presheaf type ⋮ Diego's theorem for nuclear implicative semilattices ⋮ Galois theory in a topos ⋮ Galois theory and theaters of action in a topos ⋮ Separable algebraic closure in a topos ⋮ Continuous categories and exponentiable toposes ⋮ Rings, fields, and spectra ⋮ Classifying topoi and finite forcing ⋮ The Michael completion of a topos spread ⋮ Precategory objects of toposes
This page was built for publication:
