Iterated forcing and changing cofinalities

We weaken the notion of proper to semi-proper, so that the important properties (e.g., being preserved by some interations) are preserved, and it includes some forcing which changes the confinality of a regular cardinal >ℵ₁ to ℵ₀. So, using the right iteractions, we can iterate such forcing without collapsing ℵ₁. As a result, we solve the following problems of Friedman, Magidor and Avraham, by proving (modulo large cardinals) the consistency of the following with G.C.H.: (1) for everyS ⊑ ℵ₂,S or ℵ₂-S contains a closed copy of ω₁ (2) there is a normal precipitous filterD on (3) for every is regular inL (δ ∩A)} is statonary. The results can be improved to equi-consistency; this will be discussed in a future paper. The author thanks the United States-Israel Binational Science Foundation for supporting the research by grant 1110.     

More on powers of singular cardinals

We give bounds for where cfδ=ℵ₁, (∀a<δ) , in cases which previously remained opened, including the first such cardinal: theω ₁-th cardinal inC _ω=∩n<ω C _n whereC ₀ is the cardinal andC _n+1 the set of fixed points ofC _n. No knowledge of earlier results is required. A subsequent work generalizing this was applied to many more cardinals ([Sh 7]). The author would like to thank the Canadian NSERC for supporting this research by Grant A3040 and the Israel Academy of Science for supporting it.     

Universal abelian groups

We examine the existence of universal elements in classes of infinite abelian groups. The main method is using group invariants which are defined relative to club guessing sequences. We prove, for example:Theorem:For n≧2, there is a purely universal separable p-group in ℵ _n if, and only if, . Partially supported by the United States-Israel Binational Science Foundation. Publication number 455.     

r-Maximal major subsets

The question of which r.e. setsA possess major subsetsB which are alsor-maximal inA (A⊂_rm B) arose in attempts to extend Lachlan’s decision procedure for the αε-theory of ℰ^*, the lattice of r.e. sets modulo finite sets, and Soare’s theorem thatA andB are automorphic if their lattice of supersets ℒ^*(A) and ℒ^*(B) are isomorphic finite Boolean algebras. We characterize the r.e. setsA with someB⊂_rm A as those with a Δ₃ function that for each recursiveR _i specifiesR _i or as infinite on and to be preferred in the construction ofB. There are r.e.A andB with ℒ^*(A) and ℒ^*(B) isomorphic to the atomless Boolean algebra such thatA has anrm subset andB does not. Thus 〈ℰ^*,A〉 and 〈ℰ^*,B〉 are not even elementarily equivalent. In every non-zero r.e. degree there are r.e. sets with and withoutrm subsets. However the classF of degrees of simple sets with norm subsets satisfies . The authors were partially supported by NSF Grants MCS 76-07258, MCS 77-04013 and MCS 77-01965 respectively.     

Was sierpinski right? I

Aroused by Todorcevic’s breakthrough we prove here some complementary consistency results, mainly . We also get some generalization of his theorem to, e.g.,λ↛ forλ regular notω-Mahlo. The author thanks the NSF and N.S.E.R.C. for partially supporting the research. Preliminary versions of §3 and §2 were circulated in November ’84 and February ’85, respectively.     

Notes on combinatorial set theory

We shall prove some unconnected theorems: (1) (G.C.H.) \omega _{\alpha + 1} \to \left( {\omega _\alpha + \xi } \right)_2^2 when ℵ_α is regular, │ξ│⁺<ωα. (2) There is a Jonsson algebra in ℵ_α+n, and \aleph _{a + n} \not \to \left[ {\aleph _{a + n} } \right]_{\aleph _{a + n} }^{n + 1} if 2^{\aleph _{ - - } } = \aleph _{a + n} \cdot (3) If λ>ℵ₀ is a strong limit cardinal, then among the graphs with ≦λ vertices each of valence <λ there is a universal one. (4)(G.C.H.) If f is a set mapping on \omega _{a + 1} (ℵ_α regular) │f(x)∩f(y│<ℵ_α, then there is a free subset of order-type ζ for every ζ<ω_α+1.     

On a poset algebra which is hereditarily but not canonically well generated

LetB be a superatomic Boolean algebra.B is well generated, if it has a well founded sublatticeL such thatL generatesB. The free product of Boolean algebrasB andC is denoted byB *C. IfC is a chain thenB(C) denotes the interval algebra overC. Theorem 1: (a)Every Boolean subalgebra of B(ℵ₁) *B(ℵ₀)is well-generated. (b)B(ℵ₁) *B(ℵ₁)contains a non well-generated Boolean subalgebra. Canonical well-generatedness is defined in the introduction. Recall thatB(ℵ₁) *B(ℵ₀) is canonically well-generated, and thus well-generated. We prove the following result. Theorem 2:B(ℵ₁) *B(ℵ₀)contains a non canonically well generated Boolean subalgebra. In contrast with Theorem 1(b), we have the following result. Theorem 3:Let A ={ɑ:α<ℵ₁}⊆℘(w)be a strictly increasing sequence in the relation of almost containment. Let B be the subalgebra of ℘(w)generated by {{n}:n∈ℵ₀}∪A.Then B is superatomic, and B is not embeddable in a well-generated algebra.     

Vive la différence III

We show that, consistently, there is an ultrafilter on ω such that if N _n^ℓ = (P _n^ℓ ∪ Q _n^ℓ, P _n^ℓ, Q _n^ℓ, R _n^ℓ) (for ℓ = 1, 2, n < ω), P _n^ℓ ∪ Q _n^ℓ ⊆ ω, and are models of the canonical theory t ^ind of the strong independence property, then every isomorphism from onto is a product isomorphism. The first version of this work done in 93; First typed: May 1993. This research was partially supported by the United States-Israel Binational Science Foundation. Publication 509     

Denseness of holomorphic functions attaining their numerical radii

For two complex Banach spaces X and Y, (B _X; Y) will denote the space of bounded and continuous functions from B _X to Y that are holomorphic on the open unit ball. The numerical radius of an element h in (B _X; X) is the supremum of the set

Iterated souslin forcing,the principles ⋄(E) and a generalisation of the axiom SAD

The axiom SAD was introduced in our paper with Avraham and Shelah [1]. It is a Martin’s Axiom type of principle, having some of the consequences of MA plus , but nonetheless provably consistent with GCH. In [1] it was shown to be consistent (with GCH) and used to demonstrate the consistency with CH of some known consequences of MA + . In particular, SAD implies the negation of Jensen’s ⋄ principle. In this paper we present a generalisation of SAD, let us call it SAD(E), whereE will be an arbitrary stationary subset ofω ₁, and show that although SAD(E) implies the negation of ⋄(E), it is consistent with ⋄. SAD(E) resembles the axiom SA of Shelah, described in our survey article [2], and indeed is a sort of blending of the two principles SA and SAD. (In particular, Shelah proved that SA is consistent with ⋄ but implies the failure of some ⋄(E).) Our proof (of the consistency of SAD(E) with ⋄) will be of interest to forcing enthusiasts, since it shows that iterated Souslin forcingcan distinguish between different stationary sets (it was previously thought that this was not the case), and can indeed be used to establish the non-provability of the principles ⋄(E) from ⋄ alone.     

Martin’s axiom and the transitivity ofP c-points

It is shown to be consistent with Martin’s Axiom and >ℵ₁ that every twoP _c-points inβℕ\ℕ have the same topological type. This research was partially supported by NSERC. The author would also like to thank Saharon Shelah for making some enlightening remarks, on an earlier version of this paper, which resulted in Definition 2.3.     

Splitting recursively enumerable subalgebras in recursive Boolean algebras

A Boolean algebraB= is recursive ifB is a recursive subset of ω and the operations Λ, v and ┌ are partial recursive. A subalgebraC ofB is recursive an (r.e.) ifC is a recursive (r.e.) subset of B. Given an r.e. subalgebraA, we sayA can be split into two r.e. subalgebrasA ₁ andA ₂ if (A ₁ ∪A ₂)^*=A andA ₁ ∩A ₂={0, 1}. In this paper we show that any nonrecursive r.e. subalgebra ofB can be split into two nonrecursive r.e. subalgebras ofB. This is a natural analogue of the Friedberg's splitting theorem in ω recursion theory.     

Sulla completezza e sulla categoricità della teoria delleW-algebre semplici

Riassunto SeW è un'algebra funzionalmente completa si dimostra che le algebre semplici e non degeneri di Var (W) sono tutti e soli i modelli di Th(W); inoltre si dimostra che se card(W=ℵ₀ Th (W) è categorica in ℵ₀, mentre esistono modelli non isomorfi di cardinalità . Se card(W)>ℵ₀ si danno alcuni risultati particolari sulla non categoricità in alcuni cardinali maggiori o uguali a card (W).

---

Summary LetW be a functionally complete algebra. We proof that simple and non trivial algebras of variety generated byW are all and only the models of Th (W). Let card(W)=ℵ₀; the we proof Th (W) is ℵ₀-categorical, while there exist not isomorphic models with cardinality . Let card(W)>ℵ₀; then we have some particular results which prove that Th (W) is not α-categorical for some α≥card (W).

     

The dual of the bourgain-delbaen space

It is shown that a -space with separable dual constructed by Bourgain and Delbaen has small Szlenk index and thus does not have a quotient isomorphic toC(ω^ω). It follows that this is a -space which is the same size asc ₀ in the sense of the Szlenk index but does not containc ₀. This has some consequences in the theory of uniform homeomorphism of Banach spaces.     

Exact asymptotic behaviour of the codimensions of some P.I. algebras

Letc _n (A) denote the codimensions of a P.I. algebraA, and assumec _n (A) has a polynomial growth: . Then, necessarily,q∈ℚ [D3]. If 1∈A, we show that , wheree=2.71…. In the non-unitary case, for any 0<q∈ℚ, we constructA, with a suitablek, such that . In memory of S. A. Amitsur, our teacher and friend Partially supported by Grant MM404/94 of Ministry of Education and Science, Bulgaria and by a Bulgarian-American Grant of NSF. Partially supported by NSF grant DMS-9101488.     

Classification of quasifinite\mathcal{W}_\infty -modules-modules

It is proved that an irreducible quasifinite -module is a highest or lowest weight module or a module of the intermediate series; a uniformly bounded indecomposable weight -module is a module of the intermediate series. For a nondegenerate additive subgroup Λ ofF _n, whereF is a field of characteristic zero, there is a simple Lie or associative algebraW(Λ,n)⁽¹⁾ spanned by differential operatorsuD ₁ ^m …D ₁ ^m foru ∈F[Γ] (the group algebra), andm _i≥0 with , whereD _i are degree operators. It is also proved that an indecomposable quasifinite weightW(Λ,n)⁽¹⁾-module is a module of the intermediate series if Λ is not isomorphic to ℤ. Supported by NSF grant no. 10471091 of China and two grants “Excellent Young Teacher Program” and “Trans-Century Training Programme Foundation for the Talents” from the Ministry of Education of China.     

The uniformization property for ℵ2

We present S. Shelah’s result thatS ₁ ² ={δ<ω ₂: cf(δ)=ω ₁} may have the uniformization property (cf., §1, or [3] for a definition) for “well-chosen sequences”, 〈η _δ:δ∈S ₁ ² ^η _δ an increasingω ₁-sequence of ordinals converging to δ〉. This implies that , which shows that Gregory’ result (cf., [2]), , is the best possible.     

Two theorems about projective sets

In this paper we prove two (rather unrelated) theorems about projective sets. The first one asserts that subsets of ℵ₁ which are in the codes are constructible; thus it extends the familiar theorem of Shoenfield that subsets of ω are constructible. The second is concerned with largest countable sets and establishes their existence under the hypothesis of Projective Determinacy and the assumption that there exist only countably many ordinal definable reals. Y. N. Moschovakis is a Sloan Foundation Fellow. During the preparation of this paper, both authors were partially supported by NSF Grant GP-27964.     

Gauss Sum of Index 4： （1） Cyclic Case

Let p be a prime, m ≥ 2, and （m,p（p - 1）） = 1. In this paper, we will calculate explicitly the Gauss sum G（X） = ∑x∈F＊qX（x）ζ^Tp^（x） in the case of [（Z/mZ）＊ ： （p）] = 4, and -1 （不属于） （p）, where q P^f, f =φ（m）/4, X is a multiplicative character of Fq with order m, and T is the trace map for Fq/Fp. Under the assumptions [（Z/mZ）＊ ： （p）] = 4 and 1（不属于） （p）, the decomposition field of p in the cyclotomic field Q（ζm） is an imaginary quartic （abelian） field. And G（X） is an integer in K. We deal with the case where K is cyclic in this oaDer and leave the non-cvclic case to the next paper.     

InfiniteB 2[g] sequences

We exhibit, for any integerg≥2, an infinite sequenceA ∈B ₂[g] such that . Furthermore, we obtain better estimates for small values ofg. For instance, we exhibit an infinite sequenceA ∈B ₂[2] such that Partially supported by Colciencias, Colombia and Universidad del Cauca.