A short proof of the preservation of the ωω‐bounding property

There are two versions of the Proper Iteration Lemma. The stronger (but less well‐known) version can be used to give simpler proofs of iteration theorems (e.g., [7, Lemma 24] versus [9, Theorem IX.4.7]). In this paper we give another demonstration of the fecundity of the stronger version by giving a short proof of Shelah's theorem on the preservation of the ω^ω‐bounding property. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Understanding preservation theorems: chapter VI of Proper and Improper Forcing,I

We present an exposition of Section VI.1 and most of Section VI.2 from Shelah’s book Proper and Improper Forcing. These sections offer proofs of the preservation under countable support iteration of proper forcing of various properties, including proofs that ${\omega^\omega}$ -bounding, the Sacks property, the Laver property, and the P-point property are preserved by countable support iteration of proper forcing.     

Internally club and approachable

We prove that PFA implies for all regular λ?ω₂, there are stationarily many N⊆H(λ) with size ℵ₁ which are internally club but not internally approachable.     

Dense non-reflection for stationary collections of countable sets

We present several forcing posets for adding a non-reflecting stationary subset of P_ω1(λ), where λ≥ω₂. We prove that PFA is consistent with dense non-reflection in P_ω1(λ), which means that every stationary subset of P_ω1(λ) contains a stationary subset which does not reflect to any set of size ₁. If λ is singular with countable cofinality, then dense non-reflection in P_ω1(λ) follows from the existence of squares.     

Stability preservation theorems

The basic result of the paper is the main theorem worded as follows. Let {ie155-01} be a valued field such that {ie155-02} has characteristic p > 0 and let {ie155-03} be an extension of valued fields satisfying the following conditions: (i) there exists a set {ie155-04} for which {ie155-05} is a separating transcendence basis for a field {ie155-06} over F_R; (ii) Γ _R is p-pure in {ie155-07}, i.e., {ie155-08} does not contain elements of order p; (iii) there exists a set B₁ ⊂ F₀^× such that the family {ie155-09} is linearly independent in the elementary p-group {ie155-10}; (iv) F₀ is algebraic over F(B₀ ⋃ B₁). Then the property of being stable for {ie155-11} implies being stable for {ie155-12}. Supported by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-344.2008.1) and by RFBR (grant No. 08-01-00442-a). __________ Translated from Algebra i Logika, Vol. 47, No. 3, pp. 269–287, May–June, 2008.     

Specialising Aronszajn trees by countable approximations

We show that there are proper forcings based upon countable trees of creatures that specialise a given Aronszajn tree.The first author was partially supported by a Minerva fellowship. The second author's research was partially supported by the ``Israel Science Foundation', founded by the Israel Academy of Science and Humanities. This is the second author's work number 778. Mathematics Subject Classification (2000): 03E15, 03E17, 03E35, 03D65     

A new condensation principle

We generalize (A), which was introduced in [Sch], to larger cardinals. For a regular cardinal >₀ we denote by (A) the statement that and for all regular >,is stationary in It was shown in [Sch] that can hold in a set-generic extension of L. We here prove that can hold in a set-generic extension of L as well. In both cases we in fact get equiconsistency theorems. This strengthens results of [Rä00] and [Rä01]. is equivalent with the existence of 0^#.Mathematics Subject Classification (1991): Primary 03E55, 03E15, Secondary 03E35, 03E60     

CH with no Ostaszewski spaces

There are models of CH without Ostaszeswki spaces. If is locally compact and sub-Ostaszewski, there is a forcing which does not add reals and which forces `` is not sub-Ostaszewski'.

     

First countable, countably compact spaces and the continuum hypothesis

We build a model of ZFC+CH in which every first countable, countably compact space is either compact or contains a homeomorphic copy of with the order topology. The majority of the paper consists of developing forcing technology that allows us to conclude that our iteration adds no reals. Our results generalize Saharon Shelah's iteration theorems appearing in Chapters V and VIII of Proper and improper forcing (1998), as well as Eisworth and Roitman's (1999) iteration theorem. We close the paper with a ZFC example (constructed using Shelah's club-guessing sequences) that shows similar results do not hold for closed pre-images of .

     

Generalized KKM type theorems in FC-spaces with applications (II)

This paper is a continuum of the preceding paper of author. By applying a coincidence theorem in noncompact FC-space without any convexity structure due to author, a new KKM type theorem is first proved under noncompact setting of FC-spaces. The equivalent relation between the coincidence theorem and the KKM type theorem is also established. As applications of the KKM type theorem, we establish some new existence theorems of solutions for three classes of generalized vector equilibrium problems under noncompact setting of FC-spaces. These theorems improve and generalize many known results in literature.     

The almost-disjointness number may have countable cofinality

We show that it is consistent for the almost-disjointness number to have countable cofinality. For example, it may be equal to .

     

Some preservation theorems in an intermediate logic

We prove some preservation theorems concerning inductive and model‐complete theories in the framework of semi‐classical logic introduced in [1]. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Strassen theorems for a class of iterated processes

A general direct Strassen theorem is proved for a class of stochastic processes and applied for iterated processes such as , where is a standard Wiener process and is a local time of a Lévy process independent from .

     

Half-space type theorems in warped product spaces with one-dimensional factor

This work states some half-space type theorems in a warped product space of the form I ×_ρ M, where is an open interval and M is either a compact n-manifold, or a complete simply connected surface with constant curvature c ≤ 0. Such theorems generalize the classical half-space theorem for minimal surfaces in R ³, obtained by Hoffmann and Meeks (Invent Math 101:373–377, 1990), and recent results for surfaces contained in a slab of R ×_ρ M, obtained by Dajczer and Alías (Comment Math Helvetici 81:653–663, 2006).      

Functional limit theorems for digital expansions

The main purpose of this paper is to discuss the asymptotic behaviour of the difference s _q,k(P(n)) - k(q-1)/2 where s _q,k (n) denotes the sum of the first k digits in the q-ary digital expansion of n and P(x) is an integer polynomial. We prove that this difference can be approximated by a Brownian motion and obtain under special assumptions on P, a Strassen type version of the law of the iterated logarithm. Furthermore, we extend these results to the joint distribution of q ₁-ary and q ₂-ary digital expansions where q ₁ and q ₂ are coprime. This revised version was published online in June 2006 with corrections to the Cover Date.     

U-统计量的一些强极限定理的精确渐近性

设{Xn;n≥1}是一列i.i.d.随机变量序列,Un是以对称函数h(x,y)为核函数的U-统计量.记Un=2n(n-1) 1≤i相似文献   

Coincidence theorems and minimax theorems (II)

A coincidence theorem for a single-valued mapping in [3] is generalized as one for a strongly decomposable multivalued mapping. Project supported by the National Natural Science Foundation of China