No random reals in countable support iterations

We prove a preservation theorem for limit steps of countable support iterations of proper forcing notions whose particular cases are preservations of the following properties on limit steps: “no random reals are added”, “μ(Random(V))≠1”, “no dominating reals are added”, “Cohen(V) is not comeager”. Consequently, countable support iterations of σ-centered forcing notions do not add random reals. The work was supported by BRF of Israel Academy of Sciences and by grant GA SAV 365 of Slovak Academy of Sciences.     

Measured creatures

We prove that two basic questions on outer measure are undecidable. First we show that consistently every sup-measurable functionf: ℝ² → ℝ is measurable. The interest in sup-measurable functions comes from differential equations and the question for which functionsf: ℝ² → ℝ the Cauchy problemy′=f(x,y), y(x₀)=y₀ has a unique almost-everywhere solution in the classAC _t(ℝ) of locally absolutely continuous functions on ℝ. Next we prove that consistently every functionf: ℝ → ℝ is continuous on some set of positive outer Lebesgue measure. This says that in a strong sense the family of continuous functions (from the reals to the reals) is dense in the space of arbitrary such functions. For the proofs we discover and investigate a new family of nicely definable forcing notions (so indirectly we deal with nice ideals of subsets of the reals—the two classical ones being the ideal of null sets and the ideal of meagre ones). Concerning the method, i.e., the development of a family of forcing notions, the point is that whereas there are many such objects close to the Cohen forcing (corresponding to the ideal of meagre sets), little has been known on the existence of relatives of the random real forcing (corresponding to the ideal of null sets), and we look exactly at such forcing notions. The first author thanks The Hebrew University of Jerusalem for support during his visits to Jerusalem and the KBN (Polish Committee of Scientific Research) for partial support through grant 2P03A03114. The research of the second author was partially supported by the Israel Science Foundation. Publication 736.     

Strongly meager sets can be quite big

AssumeCH. There exists a strongly meager setX⊆2^ω and a continuous functionF: 2^ω → 2^ω such thatF″ (X)=2^ω. The analogous statement for the strong measure zero, the notion dual to strongly meager, is false. The first author was partially supported by NSF grant DMS 9971282 and the Alexander von Humboldt Foundation. The second author was partially supported by grant BW 5100-5-0231-2.     

The Clique Numbers of Regular Graphs

 Let ω(G) be the clique number of a graph G. We prove that if G runs over the set of graphs with a fixed degree sequence d, then the values ω(G) completely cover a line segment [a,b] of positive integers. For an arbitrary graphic degree sequence d, we define min(ω,d) and max(ω,d) as follows:

Instances of the Conjecture of Chang

We consider various forms of the Conjecture of Chang. Part A constitutes an introduction. Donder and Koepke have shown that if ρ is a cardinal such that ρ ≧ ω₁, and (ρ⁺⁺,ρ⁺↠(ρ⁺, ρ), then 0⁺ exists. We obtain the same conclusion in Part B starting from some other forms of the transfer hypothesis. As typical corollaries, we get: Theorem A.Assume that there exists cardinals λ, κ, such that λ ≧ K ⁺ ≧ω₂ and (λ⁺, λ)↠(K ⁺,K. Then 0⁺ exists. Theorem B.Assume that there exists a singularcardinal κ such that(K ⁺,K↠(ω₁, ω₀. Then 0⁺ exists. Theorem C.Assume that (λ ⁺⁺, λ). Then 0⁺ exists (also ifK=ω ₀. Remark. Here, as in the paper of Donder and Koepke, “O⁺ exists” is a matter of saying that the hypothesis is strictly stronger than “L(μ) exists”. Of course, the same proof could give a few more sharps overL(μ), but the interest is in expecting more cardinals, coming from a larger core model. Theorem D.Assume that (λ ⁺⁺, λ)↠(K ⁺, K) and thatK≧ω ₁. Then 0⁺ exists. Remark 2. Theorem B is, as is well-known, false if the hypothesis “κ is singular” is removed, even if we assume thatK≧ω ₂, or that κ is inaccessible. We shall recall this in due place. Comments. Theorem B and Remark 2 suggest we seek the consistency of the hypothesis of the form:K ⁺, K↠(ω_n +1, ω_n), for κ singular andn≧0. 0266 0152 V 3 The consistency of several statements of this sort—a prototype of which is (N _ω+1,N _ω)↠(ω₁, ω₀) —have been established, starting with an hypothesis slightly stronger than: “there exists a huge cardinal”, but much weaker than: “there exists a 2-huge cardinal”. These results will be published in a joint paper by M. Magidor, S. Shelah, and the author of the present paper.     

A distortion problem for the space ℓ ∞ c (ω 1)

The Banach space ℓ _∞ ^c (ω ₁) is the space of boundedω ₁-sequences of countable support. A pointwise-closed subspaceV≤ℓ _∞ ^c (ω ₁) will be calledunbounded if lcub;min(supp(υ)):υ ∈Vrcub; is unbounded inω ₁. It is shown that there are Lipshitz functionsf: Sph(ℓ _∞ ^c (ω ₁)) → ℝ which have large variation on the unit sphere of any unbounded subspace. This answers a question implicit in Partington [P 80].     

Modules of vector fields,differential forms and degenerations of differential systems

We deal with (n−1)-generated modules of smooth (analytic, holomorphic) vector fieldsV=(X ₁,..., X_n−1) (codimension 1 differential systems) defined locally on ℝ ⁿ or ℂ ⁿ , and extend the standard duality(X ₁,..., X_n−1)↦(ω), ω=Ω(X₁,...,X_n−1,.,) (Ω−a volume form) betweenV′s and 1-generated modules of differential 1-forms (Pfaffian equations)—when the generatorsX _i are linearly independent—onto substantially wider classes of codimension 1 differential systems. We prove that two codimension 1 differential systemsV and are equivalent if and only if so are the corresponding Pfaffian equations (ω) and provided that ω has1-division property: ωΛμ=0, μ—any 1-form ⇒ μ=fω for certain function germf. The 1-division property of ω turns out to be equivalent to the following properties ofV: (a)fX∈V, f—not a 0-divisor function germ ⇒X∈V (thedivision property); (b) (V ^⊥)^⊥=V; (c)V ^⊥=(ω); (d) (ω)^⊥=V, where ⊥ denotes the passing from a module (of vector fields or differential 1-forms) to its annihilator. Supported by Polish KBN grant N^o 2 1090 91 01. Partially supported by the fund for the promotion of research at the Technion, 100–942.     

Additivity of the two-dimensional Miller ideal

Let J (\mathbb M²){{\mathcal J}\,(\mathbb M^2)} denote the σ-ideal associated with two-dimensional Miller forcing. We show that it is relatively consistent with ZFC that the additivity of J (\mathbb M²){{\mathcal J}\,(\mathbb M^2)} is bigger than the covering number of the ideal of the meager subsets of ^ω ω. We also show that Martin’s Axiom implies that the additivity of J (\mathbb M²){{\mathcal J}\,(\mathbb M^2)} is 2 ^ω .Finally we prove that there are no analytic infinite maximal antichains in any finite product of \mathfrakP(w)/fin{\mathfrak{P}{(\omega)}/{\rm fin}} .     

Nice bases for primary Abelian groups

Abstract Suppose that A is an Abelian p-group. It is proved that if p^ωA is bounded, then A has a bounded nice basis and if p^ωA is a direct sum of cyclic groups, then A has a nice basis. In particular, all Abelian p-groups of length < ω.2 along with all simply presented Abelian p-groups are equipped with bounded nice bases. It is also shown that if length(A)≤ ω.2 and A/p^ωA is countable, then A possesses a bounded nice basis as well as if length(A)≤ ω.2 and p^ωA is countable, then A possesses a nice basis. Moreover, contrasting with these claims, we demonstrate that if length(A)=ω.2 and A/p^ωA is torsion-complete with finite Ulm-Kaplansky invariants, then A does not have a bounded nice basis. If in addition p^ωA is torsion-complete, then A does not have a nice basis, respectively. Finally, we construct a summable -projective group (thus a summable group with a nice basis) which is not a direct sum of countable groups. This answers in negative our question posed in (Atti Sem. Mat. Fis. Univ. Modena e Reggio Emilia, 2005). Keywords: Bounded nice basis, Nice basis, Bounded groups, Direct sums of cyclic groups, Summable groups, -projective groups, Simply presented groups, Σ-groups, Torsion-complete groups, Large subgroups, Countable extensions, Bounded extensions Mathematics Subject Classification: 20K10, 20K15 An erratum to this article is available at .     

ω-非常凸空间与ω-非常光滑空间

本文研究了ω-非常凸空间和ω-非常光滑空间的问题.利用局部自反原理和切片证明了ω-非常凸空间和ω-非常光滑空间的对偶关系,讨论了ω-非常凸空间和ω-非常光滑空间与其它凸性和光滑性的关系,给出了ω-非常凸空间与ω-非常光滑空间的若干特征刻画,所得结果完善了关于Banach空间凸性与光滑性理论的研究.     

Free discontinuity problems with unbounded data: The two dimensional case

We prove the existence of a minimizing pair for the functionalG defined for every closed setK ⊂R ² and for every functionu ∈C ¹(ω/K) by where ω is an open set inR ², λ, μ>0,q≥1,g ∈L ^q (ω) ∩L ^p (ω) withp>2q andH ¹ is the 1-dimensional Hausdorff measure.     

Chains of baire class 1 functions and various notions of special trees

Following Laczkovich we consider the partially ordered setB ₁(ℝ) of Baire class 1 functions endowed with the pointwise order, and investigate the order types of the linearly ordered subsets. Answering a question of Komjáth and Kunen we show (inZFC) that special Aronszajn lines are embeddable intoB ₁(ℝ). We also show that under Martin's Axiom a linearly ordered set ℒ with |ℒ| < 2^ω is embeddable intoB ₁(ℝ) iff ℒ does not contain a copy of ω₁ or ω _* ¹ . We present aZFC example of a linear order of size 2^ω showing that this characterisation is not valid for orders of size continuum. These results are obtained using the notion of a compact-special tree; that is, a tree that is embeddable into the class of compact subsets of the reals partially ordered under reverse inclusion. We investigate how this notion is related to the well-known notion of an ℝ-special tree and also to some other notions of specialness. Partially supported by Hungarian Scientific Foundation grant no. 37758, 49786 and F 43620. The second author's research for this paper was partially supported by NSERC of Canada.     

Global existence and uniform decay for the coupled Klein-Gordon-Schr?dinger equations

This paper is concerned to the existence, uniqueness and uniform decay for the solutions of the coupled Klein-Gordon-Schr?dinger damped equations where ω is a bounded domain of R ⁿ , n≤ 3, F : R ²→R is a C ¹-function; γ, β; θ are constants such that γ, β > 0 and 1 ≤ 2θ≤ 2. Received January 1999 – Accepted October 1999     

Density results in the Δ20 e-degrees

We show that the Δ⁰ ₂ enumeration degrees are dense. We also show that for every nonzero n-c. e. e-degree a, with n≥ 3, one can always find a nonzero 3-c. e. e-degree b such that b < a on the other hand there is a nonzero ωc. e. e-degree which bounds no nonzero n-c. e. e-degree. Received: 13 June 2000 / Published online: 3 October 2001     

Strong Arens irregularity of Beurling algebras with a locally convex topology

Let G be a locally compact group with a weight function ω. Recently, we have shown that the Banach space L₀^∞ (G,1/ω) can be identified with the strong dual of L¹(G, ω)equipped with some locally convex topologies τ. Here we use this duality to introduce an Arens multiplication on (L¹(G, ω), τ)**, and prove that the topological center of (L¹(G, ω), τ)** is (L¹(G, ω); this enables us to conclude that (L¹(G, ω), τ) is Arens regular if and only if G is discrete. We also give a characterization for Arens regularity of L₀^∞ (G, 1/ω)¹. Received: 8 March 2005     

On countable completions of quotient ordered semigroups

A poset is said to be ω-chain complete if every countable chain in it has a least upper bound. It is known that every partially ordered set has a natural ω-completion. In this paper we study the ω-completion of partially ordered semigroups, and the topological action of such a semigroup on its ω-completion. We show that, for partially ordered semigroups, ω-completion and quotient with respect to congruences are two operations that commute with each other. This contrasts with the case of general partially ordered sets.     

On the chromatic polynomial of a graph

Let P(G,λ) be the chromatic polynomial of a graph G with n vertices, independence number α and clique number ω. We show that for every λ≥n, ()^α≤≤ () ^{n −ω}. We characterize the graphs that yield the lower bound or the upper bound.?These results give new bounds on the mean colour number μ(G) of G: n− (n−ω)() ^{n −ω}≤μ(G)≤n−α() ^α. Received: December 12, 2000 / Accepted: October 18, 2001?Published online February 14, 2002     

Baire number of the spaces of uniform ultrafilters

The Baire number is defined for a topological space without isolated points as the minimal size of the family of nowhere dense sets covering the space in question. We prove that in the case ofU(κ), the space of uniform ultrafilters over uncountable κ, the Baire number equals eitherω ₁ orω ₂, depending on the cofinality of κ. The results are connected to the collapsing of cardinals when using the quotient algebraP(κ) mod[κ]^<κ as the notion of forcing. The main portion of the present research, was done at the Center for Theoretical Study at Charles University and the Academy of Sciences.     

Splitting squares

We show that for every Borel function f:[2^ω] ⁿ → 2^ω there exists a closed countably splitting family A such that f ↾ [A] ⁿ omits a perfect set of values in 2 ^ω . Work partially supported by DFG grant SP 683.     

A superatomic Boolean algebra with few automorphisms

Assuming GCH, we prove that for every successor cardinal μ > ω₁, there is a superatomic Boolean algebra B such that |B| = 2^μ and |Aut B| = μ. Under ◊_ω1, the same holds for μ = ω₁. This answers Monk's Question 80 in [Mo]. Received: 1 January 1998 / Revised version: 18 May 1999 / Published online: 21 December 2000