Publication:3822368

DOI10.2307/2274612zbMATH Open0669.18003OpenAlexW4254793505MaRDI QIDQ3822368FDOQ3822368

W. A. MacCaull

Publication date: 1988

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

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

zbMATH Keywords

algebraic geometryintuitionistic logicHilbert's NullstellensatzGrothendieck toposescoherent logicArtin-Schreier theory of ordered fieldsdecomposition of an algebraic set

Mathematics Subject Classification ID

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

Cited In (3)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3822368)