Prime elements from prime ideals (Q1065041): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00334858 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2045952920 / rank | |||
Normal rank |
Latest revision as of 09:39, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Prime elements from prime ideals |
scientific article |
Statements
Prime elements from prime ideals (English)
0 references
1985
0 references
In the summer of 1984 A. R. Blass proved that the ''Almost Maximal Ideal Theorem'' which had been introduced by the reviewer [Fundam. Math. 123, 197-209 (1984; Zbl 0552.06004)] - and which he had previously believed to be a choice principle intermediate between the Prime Ideal Theorem and the Axiom of Choice - was in fact logically equivalent to the Prime Ideal Theorem. Blass' proof was a slightly involved one making use of the compactness theorem for first-order logic; on receiving news of it, both B. Banaschewski and the reviewer independently discovered simpler proofs. Here is Banaschewski's proof, which goes by way of a ''Prime Element Theorem'' for distributive complete lattices with compact units.
0 references
Almost Maximal Ideal Theorem
0 references
Prime Ideal Theorem
0 references
Axiom of Choice
0 references
Prime Element Theorem
0 references
distributive complete lattices with compact units
0 references