scientific article

From MaRDI portal

Publication:3866261

Jump to:navigation, search

zbMath0429.18005MaRDI QIDQ3866261

Julian C. Cole

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

site geometric theory classifying topos elementary topos Zariski topos topos of set- valued sheaves

Mathematics Subject Classification ID

Topoi (18B25) Other algebras related to logic (03G25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Grothendieck topologies and Grothendieck topoi (18F10)

Related Items

Explicit Provability and Constructive Semantics, Does Mathematics Need New Axioms?, Does Mathematics Need New Axioms?

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3866261&oldid=17485980"