scientific article; zbMATH DE number 5273418
From MaRDI portal
Publication:5387319
zbMath1143.18003MaRDI QIDQ5387319
Publication date: 8 May 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to category theory (18-00)
Related Items (7)
The category of implicative algebras and realizability ⋮ Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent? ⋮ A note on injective spaces. ⋮ Realizability in ordered combinatory algebras with adjunction ⋮ A categorical construction for the computational definition of vector spaces ⋮ Unnamed Item ⋮ Existence of \(B_{\alpha,\beta}^k\)-structures on \(C^k\)-manifolds
This page was built for publication: