Strong De Morgan's law and the spectrum of a commutative ring

DOI10.1016/0021-8693(85)90181-4MaRDI QIDQ2266766zbMATH OpenOpenAlexFDO

Authors Susan Niefield, K. I. Rosenthal

Publication date 1985

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0021-8693(85)90181-4

zbMATH Keywords

Dedekind domainspectrumstrong De Morgan's lawtopos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Topoi (18B25)

Review text

The strong De Morgan's law in a topos is the assertion that the object of truth-values is (internally) linearly ordered. In Lect. Notes Math. 753, 479-491 (1979; Zbl 0445.03041), the reviewer showed that this condition holds in the topos of sheaves on a topological space X iff every closed suspace of X is extremally disconnected. The main result of this paper is that the condition holds for the spectrum of a Noetherian domain R iff R is a Dedekind domain (an example is given to show that the Noetherian condition cannot be dropped).

Recommendations

• scientific article; zbMATH DE number 4049850
• De Morgan's law and the theory of fields
• scientific article; zbMATH DE number 426294
• scientific article; zbMATH DE number 798764
• Publication:4205614

Cites work

• scientific article; zbMATH DE number 3695180 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3274529 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• scientific article; zbMATH DE number 3326329 (Why is no real title available?)
• scientific article; zbMATH DE number 3375620 (Why is no real title available?)
• scientific article; zbMATH DE number 3404447 (Why is no real title available?)
• Rigidity in closed categories and generalized sup-inf theorems
• The point of pointless topology
• The Power of the Ultrafilter Theorem
• Topological representations of distributive lattices and Brouwerian logics

Cited in

(11)

• Ideals of closed categories
• The Lee identities in topoi. I
• Rings and sheaves
• On the De Morgan's laws for modules
• On hereditary properties of extremally disconnected frames and normal frames
• Topological representation and quantic separation axioms of semi-quantales
• scientific article; zbMATH DE number 3918511 (Why is no real title available?)
• scientific article; zbMATH DE number 4049850 (Why is no real title available?)
• scientific article; zbMATH DE number 798764 (Why is no real title available?)
• scientific article; zbMATH DE number 909654 (Why is no real title available?)
• Cauchy completeness and adjoints in double categories

This page was built for publication: Strong De Morgan's law and the spectrum of a commutative ring

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