scientific article
From MaRDI portal
Publication:3852317
zbMath0419.14013MaRDI QIDQ3852317
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
classifying toposhyperdiscriminantgeometric axiomatizationetale spectrumstrictly Henselian local ring
Categorical logic, topoi (03G30) Topoi (18B25) Étale and other Grothendieck topologies and (co)homologies (14F20) Relevant commutative algebra (14A05) Henselian rings (13J15) Local structure of morphisms in algebraic geometry: étale, flat, etc. (14B25)
Related Items
Glivenko sequent classes and constructive cut elimination in geometric logics ⋮ Limits, colimits, and spectra of modelled spaces ⋮ Pure Galois theory in categories ⋮ Separable algebraic closure in a topos ⋮ Properties of well-adapted models for synthetic differential geometry ⋮ The Zariski spectrum as a formal geometry ⋮ Infinitesimally stable theories of henselian rings ⋮ The connected Vietoris powerlocale ⋮ Geometric Rules in Infinitary Logic ⋮ The p-adic spectrum
