On the validity of hilbert's nullstellensatz, artin's theorem, and related results in grothendieck toposes

DOI10.2307/2274612zbMath0669.18003OpenAlexW4254793505MaRDI QIDQ3822368

W. A. MacCaull

Publication date: 1988

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274612

zbMATH Keywords

Grothendieck toposesintuitionistic logicalgebraic geometryHilbert's Nullstellensatzcoherent logicArtin-Schreier theory of ordered fieldsdecomposition of an algebraic set

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55)

Related Items (3)

Hilbert's Nullstellensatz revisited ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ Positive definite functions over regular f-rings and representations as sums of squares

This page was built for publication: On the validity of hilbert's nullstellensatz, artin's theorem, and related results in grothendieck toposes