scholarly journals On the primitive ideals of nest algebras

2020 ◽  
Vol 63 (3) ◽  
pp. 737-760
Author(s):  
John Lindsay Orr
Keyword(s):  
Jacobson Radical ◽  
Continuum Hypothesis ◽  
Standard Form ◽  
Nest Algebra ◽  
Nest Algebras ◽  
Primitive Ideals ◽  
First Time ◽  
The Continuum

AbstractWe show that Ringrose's diagonal ideals are primitive ideals in a nest algebra (subject to the continuum hypothesis). This answers an old question of Lance and provides for the first time concrete descriptions of enough primitive ideals to obtain the Jacobson radical as their intersection. Separately, we provide a standard form for all left ideals of a nest algebra, which leads to insights into the maximal left ideals. In the case of atomic nest algebras, we show how primitive ideals can be categorized by their behaviour on the diagonal and provide concrete examples of all types.

scholarly journals Several results on compact metrizable spaces in $$\mathbf {ZF}$$

2021 ◽  
Author(s):  
Kyriakos Keremedis ◽  
Eleftherios Tachtsis ◽  
Eliza Wajch
Keyword(s):  
Continuum Hypothesis ◽  
Compact Spaces ◽  
Power Set ◽  
Compact Metrizable Space ◽  
Permutation Models ◽  
Independence Results ◽  
The Axiom Of Choice ◽  
Metrizable Spaces ◽  
Transfer Theorems ◽  
The Continuum

AbstractIn the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $$\mathbf {ZF}$$ ZF , some are shown to be independent of $$\mathbf {ZF}$$ ZF . For independence results, distinct models of $$\mathbf {ZF}$$ ZF and permutation models of $$\mathbf {ZFA}$$ ZFA with transfer theorems of Pincus are applied. New symmetric models of $$\mathbf {ZF}$$ ZF are constructed in each of which the power set of $$\mathbb {R}$$ R is well-orderable, the Continuum Hypothesis is satisfied but a denumerable family of non-empty finite sets can fail to have a choice function, and a compact metrizable space need not be embeddable into the Tychonoff cube $$[0, 1]^{\mathbb {R}}$$ [ 0 , 1 ] R .

Some remarks on the partition calculus of ordinals

1999 ◽  
Vol 64 (2) ◽  
pp. 436-442 ◽  
Author(s):  
Péter Komjáth
Keyword(s):  
Regular Cardinal ◽  
Continuum Hypothesis ◽  
Alternative Proof ◽  
Partition Relation ◽  
Negative Relation ◽  
Partition Calculus ◽  
Counter Example ◽  
The Continuum

One of the early partition relation theorems which include ordinals was the observation of Erdös and Rado [7] that if κ = cf(κ) > ω then the Dushnik–Miller theorem can be sharpened to κ→(κ, ω + 1)2. The question on the possible further extension of this result was answered by Hajnal who in [8] proved that the continuum hypothesis implies ω1 ↛ (ω1, ω + 2)2. He actually proved the stronger result ω1 ↛ (ω: 2))2. The consistency of the relation κ↛(κ, (ω: 2))2 was later extensively studied. Baumgartner [1] proved it for every κ which is the successor of a regular cardinal. Laver [9] showed that if κ is Mahlo there is a forcing notion which adds a witness for κ↛ (κ, (ω: 2))2 and preserves Mahloness, ω-Mahloness of κ, etc. We notice in connection with these results that λ→(λ, (ω: 2))2 holds if λ is singular, in fact λ→(λ, (μ: n))2 for n < ω, μ < λ (Theorem 4).In [11] Todorčević proved that if cf(λ) > ω then a ccc forcing can add a counter-example to λ→(λ, ω + 2)2. We give an alternative proof of this (Theorem 5) and extend it to larger cardinals: if GCH holds, cf (λ) > κ = cf (κ) then < κ-closed, κ+-c.c. forcing adds a counter-example to λ→(λ, κ + 2)2 (Theorem 6).Erdös and Hajnal remarked in their problem paper [5] that Galvin had proved ω2→(ω1, ω + 2)2 and he had also asked if ω2→(ω1, ω + 3)2 is true. We show in Theorem 1 that the negative relation is consistent.

Sign in / Sign up

Export Citation Format

Share Document