On the number of homogeneous models of a given power

It is shown that, For each complete theoryT, the nomberh _T(m) of homogeneous models ofT of powerm is a non-increasing function of uncountabel cardinalsm Moreover, ifh _T(ℵ₀)≦ℵ₀, then the functionh _T is also non-increasing ℵ₀ to ℵ₁. This work was supported in part by NSF contracts GP 4257 and GP5913.     

Gently killing S-spaces

We produce a model of ZFC in which there are no locally compact first countable S-spaces, and in which 2^ℵ ₀<2^ℵ ₁. A consequence of this is that in this model there are no locally compact, separable, hereditarily normal spaces of size ℵ₁, answering a question of the second author [9]. The first author would like to thank The Hebrew University of Jerusalem for their support while the research in this paper was being carried out. The research of the second author was partially supported by NSF Grant DMS-9322613. The research of the third author was partially supported by NSF grant DMS-9704477 and the Israel Science Foundation founded by the Israel Academy of Sciences and Humanities. This is publication number 690 in the list of the third author.     

Whitehead groups may not be free even assuming ch,II

We prove some theorems on uncountable abelian groups, and consistency results promised in the first part, and also that a variant of called ♣ (club), is consistent with 2^{ℵ 0}<ℵ₁. The author would like to thank the United States-Israel Binational Science Foundation for Grant 1110 and the NSF for Grant MCS-08479.     

Large continuum,oracles

Our main theorem is about iterated forcing for making the continuum larger than ℵ₂. We present a generalization of [2] which deal with oracles for random, (also for other cases and generalities), by replacing ℵ₁,ℵ₂ by λ, λ ⁺ (starting with λ = λ ^<λ > ℵ₁). Well, we demand absolute c.c.c. So we get, e.g. the continuum is λ ⁺ but we can get cov(meagre) = λ and we give some applications. As in non-Cohen oracles [2], it is a “partial” countable support iteration but it is c.c.c.     

On a problem inspired by determinacy

In this paper, we construct a modelN in which ℵ₁, the only regular uncountable cardinal, is measurable via the club filter. Thus,N is a model for the theory “ZF+κ is regular iffκ is measurable”. This research in this paper was partially supported by NSF Grant DMS-8413736.     

A combinatorial principle and endomorphism rings I: Onp-groups

Two lines of research are involved here. One is a combinatorial principle, proved in ZFC for many cardinals (e.g., any λ = λ^ℵ ₀) enabling us to prove things which have been proven using the diamond or for strong limit cardinals of uncountable cofinality. The other direction is building abelian groups with few endomorphisms and/or prescribed rings of endomorphisms. We prove that for a ringR, whose additive group is thep-adic completion of a freep-adic module,R is isomorphic to the endomorphism ring of some separable abelianp-groupG divided by the ideal of small endomorphisms, withG of power λ for any λ = λ^ℵ ₀≧|R|. Dedicated to the memory of Abraham Robinson on the tenth anniversary of his death The author would like to thank the United States-Israel Binational Science Foundation for partially supporting this research.     

Butler groups of arbitrary cardinality

We show that in the constructible universe, the two usual definitions of Butler groups are equivalent for groups of arbitrarily large power. We also prove that Bext²(G, T) vanishes for every torsion-free groupG and torsion groupT. Furthermore, balanced subgroups of completely decomposable groups are Butler groups. These results have been known, under CH, only for groups of cardinalities ≤ ℵ_ω. Partial support by NSF is gratefully acknowledged. Partially supported by U.S.-Israel Binational Science Foundation.     

Hanf numbers for fragments of ℶ h (A)

We describe an ordinalh(A) which plays a key role in the model theory of the admissible fragmentL _A . In particular, the Hanf number ofL _A is ℶh(A) IfL _A isL _κ=ω wherecf(k)>ω thenh(A) can be characterized as the least ordinal which is notH(k ⁺)-recursive. Financial support received from NSF Grant GP-23114 Financial support received from NSF Grant GP-23114 and the A. P. Sloan Foundation     

Instability of exponential Collet-Eckmann maps

Given λ ∈ ℂ \ {0} let the entire function f _λ: ℂ → ℂ be defined by the formula

Multi-dimensionality

We prove that ifT is stable, not multi-dimensional theory, then there is an infinite indiscernible set orthogonal to the empty set. This completes the proof that if ℵ_α=ℵ _•T• ^α >ℵ≥_Kr(T), thenT has ≥2^•α−β• non-isomorphic ℵ_β models of cardinality ℵ_α. Originally written November 5, 1988. Publication 429. Partially supported by the Israel-United States Binational Science Foundation; I thank Alice Leonhardt for the beautiful typing.     

Two cardinal compactness

We prove that ifλ≧μ ^ℵo=μ≧|T | and if every finite subtheory ofT has a (λ, μ)-model (i.e. a model with a domain of powerλ, in which a distinguished predicate is interpreted as a set ofμ elements) thenT has such a model. There are generalizations forμ-like models (or, equivalently, to languages with generalized quantifiers).     

Countable models of ℵ1-categorical theories

Countable models of ℵ₁-categorical theories are classified. It is shown that such a theory has only a countable number of nonisomorphic countable models. The author was partially supported by NSF grants GP-1621 and GP-4257 during the period those results were obtained.     

The extent of strength in the club filters

In this paper we consider whether the minimal normal filter onP _κλ, the club filter, can have strong properties like saturation, pre-saturation, or cardinal preserving. We prove in a number of cases that the answer is no. In the case of saturation, Foreman and Magidor prove the answer is always no (except in the caseκ =λ = ℵ₁—and in this case saturation is known to be consistent). The first author was partially supported by NSF grant DMS-9626212.     

The Banach-Mazur distance to the cube and the Dvoretzky-Rogers factorization

We show the existence of a sequence (λ _n ) of scalars withλ _n =o(n) such that, for any symmetric compact convex bodyB ⊂R ⁿ , there is an affine transformationT satisfyingQ ⊂T(B) ⊂λ _n Q, whereQ is then-dimensional cube. This complements results of the second-named author regarding the lower bound on suchλ _n . We also show that ifX is ann-dimensional Banach space andm=[n/2], then there are operatorsα:l ₂ ^m →X andβ:X→l _∞ ^m with ‖α‖·‖β‖≦C, whereC is a universal constant; this may be called “the proportional Dvoretzky-Rogers factorization”. These facts and their corollaries reveal new features of the structure of the Banach-Mazur compactum. Research performed while this author was visiting IHES. Supported in part by the NSF Grant DMS-8702058 and the Sloan Research Fellowship.     

An infinite combinatorial statement with a poset parameter

We introduce an extension, indexed by a partially ordered set P and cardinal numbers κ,λ, denoted by (κ,<λ)⇝P, of the classical relation (κ,n,λ)→ρ in infinite combinatorics. By definition, (κ,n,λ)→ρ holds if every map F: [κ] ⁿ →[κ]^<λ has a ρ-element free set. For example, Kuratowski’s Free Set Theorem states that (κ,n,λ)→n+1 holds iff κ ≥ λ ⁺ⁿ , where λ ⁺ⁿ denotes the n-th cardinal successor of an infinite cardinal λ. By using the (κ,<λ)⇝P framework, we present a self-contained proof of the first author’s result that (λ ⁺ⁿ ,n,λ)→n+2, for each infinite cardinal λ and each positive integer n, which solves a problem stated in the 1985 monograph of Erdős, Hajnal, Máté, and Rado. Furthermore, by using an order-dimension estimate established in 1971 by Hajnal and Spencer, we prove the relation $(\lambda ^{ + (n - 1)} ,r,\lambda ) \to 2^{\left\lfloor {\tfrac{1} {2}(1 - 2^{ - r} )^{ - n/r} } \right\rfloor } $(\lambda ^{ + (n - 1)} ,r,\lambda ) \to 2^{\left\lfloor {\tfrac{1} {2}(1 - 2^{ - r} )^{ - n/r} } \right\rfloor } , for every infinite cardinal λ and all positive integers n and r with 2≤r<n. For example, (ℵ₂₁₀,4,ℵ₀)→32,768. Other order-dimension estimates yield relations such as (ℵ₁₀₉,4,ℵ₀) → 257 (using an estimate by Füredi and Kahn) and (ℵ₇,4,ℵ₀)→10 (using an exact estimate by Dushnik).     

On a superatomic Boolean algebra which is not generated by a well-founded sublattice

Let b denote the unboundedness number of ω^ω. That is, b is the smallest cardinality of a subset such that for everyg∈ω^ω there isf ∈ F such that {n: g(n) ≤ f(n)}is infinite. A Boolean algebraB is wellgenerated, if it has a well-founded sublatticeL such thatL generatesB. We show that it is consistent with ZFC that , and there is a Boolean algebraB such thatB is not well-generated, andB is superatomic with cardinal sequence 〈ℵ₀, ℵ₁, ℵ₁, 1〉. This result is motivated by the fact that if the cardinal sequence of a Boolean algebraB is 〈ℵ₀, ℵ₀, λ, 1〉, andB is not well-generated, then λ≥b.     

On universal locally finite groups

We deal with the question of existence of a universal object in the category of universal locally finite groups; the answer is negative for many uncountable cardinalities; for example, for 2^ℵ ₀, and assuming G.C.H. for every cardinal whose confinality is >ℵ₀. However, if λ>κ when κ is strongly compact and of λ=ℵ₀, then there exists a universal locally finite group of cardinality λ. The idea is to use the failure of the amalgamation property in a strong sense. We shall also prove the failure of the amalgamation property for universal locally finite groups by transferring the kind of failure of the amalgamation property from LF into ULF. We would like to thank Simon Thomas for reading carefully a preliminary version of this paper, proving Lemma 20 and making valuable remarks. Also we thank the United States—Israel Binational Science Foundation for partially supporting this work.     

The X-Ray Transform for a Generic Family of Curves and Weights

We study the weighted integral transform on a compact manifold with boundary over a smooth family of curves Γ. We prove generic injectivity and a stability estimate under the condition that the conormal bundle of Γ covers T ^* M. Second author was partly supported by NSF Grant DMS-0400869; third author was partly supported by NSF and a Walker Family Endowed Professorship.     

Harmonic Functions,Entropy, and a Characterization of the Hyperbolic Space

Let (M ⁿ ,g) be a compact Riemannian manifold with Ric ≥−(n−1). It is well known that the bottom of spectrum λ ₀ of its universal covering satisfies λ ₀≤(n−1)²/4. We prove that equality holds iff M is hyperbolic. This follows from a sharp estimate for the Kaimanovich entropy. The author was partially supported by NSF Grant 0505645.     

Compactness of Commutators of Riesz Potential on Morrey Spaces

In this paper, the authors give a characterization of the (L ^{p, λ} , L ^{q, λ} )-compactness for the Riesz potential commutator [b,I _α ]. More precisely, the authors prove that the commutator [b,I _α ] is a compact operator from the Morrey space L ^{p, λ} (ℝ ⁿ ) to L ^{q, λ} (ℝ ⁿ ) if and only if b ∈ VMO(ℝ ⁿ ), the BMO-closure of . The research was supported by NSF of China (Grant: 10571015, 10826046) and SRFDP of China (Grant: 20050027025).