THE NEXT BEST THING TO A P-POINT

2015 ◽  
Vol 80 (3) ◽  
pp. 866-900 ◽  
Author(s):  
ANDREAS BLASS ◽  
NATASHA DOBRINEN ◽  
DILIP RAGHAVAN
Keyword(s):  
Isomorphism Class ◽  
Partition Relations ◽  
Image Position ◽  
Selective Ultrafilter

AbstractWe study ultrafilters on ω2 produced by forcing with the quotient of ${\cal P}$(ω2) by the Fubini square of the Fréchet filter on ω. We show that such an ultrafilter is a weak P-point but not a P-point and that the only nonprincipal ultrafilters strictly below it in the Rudin–Keisler order are a single isomorphism class of selective ultrafilters. We further show that it enjoys the strongest square-bracket partition relations that are possible for a non-P-point. We show that it is not basically generated but that it shares with basically generated ultrafilters the property of not being at the top of the Tukey ordering. In fact, it is not Tukey-above [ω1]<ω, and it has only continuum many ultrafilters Tukey-below it. A tool in our proofs is the analysis of similar (but not the same) properties for ultrafilters obtained as the sum, over a selective ultrafilter, of nonisomorphic selective ultrafilters.

On Finite Polarized Partition Relations

1969 ◽  
Vol 12 (3) ◽  
pp. 321-326 ◽  
Author(s):  
V. Chvátal
Keyword(s):  
Cardinal Numbers ◽  
Partition Relations ◽  
Image Position

Call an m × n array an m × n; k array if its mn entries come from a set of k elements. An m × n; 1 array has mn like entries. We write(1)if every m × n; k array contains a p × q; 1 sub-array. The negation of (1) is writtenand means that there is an m × n; k array containing no p × q; 1 sub-array. Relations (1) are called "polarized partition relations among cardinal numbers" by P. Erdös and R. Rado [2]. In this note we prove the following theorems.

Forcing many positive polarized partition relations between a cardinal and its powerset

2001 ◽  
Vol 66 (3) ◽  
pp. 1359-1370 ◽  
Author(s):  
Saharon Shelah ◽  
Lee J. Stanley
Keyword(s):  
Natural Number ◽  
Representative Case ◽  
Partition Relations ◽  
Image Position

AbstractA fairly quotable special, but still representative, case of our main result is that for 2 ≤ n < ω, there is a natural number m(n) such that, the following holds. Assume GCH: If λ < μ are regular, there is a cofinality preserving forcing extension in which 2λ = μ and, for all σ < λ ≤ κ < η such that η(+m(n)−+) ≤ μ,This generalizes results of [3], Section 1. and the forcing is a “many cardinals” version of the forcing there.

THE COUNTERPARTS TO STATEMENTS THAT ARE EQUIVALENT TO THE CONTINUUM HYPOTHESIS

2015 ◽  
Vol 80 (4) ◽  
pp. 1075-1090
Author(s):  
ASGER TÖRNQUIST ◽  
WILLIAM WEISS
Keyword(s):  
Continuum Hypothesis ◽  
Partition Relations ◽  
Image Position ◽  
The Continuum

AbstractWe consider natural ${\rm{\Sigma }}_2^1$ definable analogues of many of the classical statements that have been shown to be equivalent to CH. It is shown that these ${\rm{\Sigma }}_2^1$ analogues are equivalent to that all reals are constructible. We also prove two partition relations for ${\rm{\Sigma }}_2^1$ colourings which hold precisely when there is a non-constructible real.

Rothberger's property and partition relations

1997 ◽  
Vol 62 (3) ◽  
pp. 976-980 ◽  
Author(s):  
Marion Scheepers
Keyword(s):  
Finite Subset ◽  
Metric Space ◽  
Open Cover ◽  
Partition Relation ◽  
Partition Relations ◽  
Image Position ◽  
Separable Metric Space

Let X be an infinite but separable metric space. An open cover of X is said to be large if for each x ϵ X the set {U ϵ : x ϵ U} is infinite. The symbol Λ denotes the collection of large open covers of X. An open cover of X is said to be an ω-cover if for each finite subset F of X there is a U ϵ such that F ⊆ U, and X is not a member of , X is said to have Rothberger's property if there is for every sequence (n : n = 1,2,3,…) of open covers of X a sequence (Un : n = 1,2,3,…) such that:(1) for each n, Un is a member of n, and(2) {Un: n = 1,2,3,…} is a cover of X.Rothberger introduced this property in his paper [2]. For convenience we let denote the collection of all open covers of X.In [3] it was shown that X has Rothberger's property if, and only if, the following partition relation is true for large open covers of X:This partition relation means:for every large cover of X, for every coloringsuch that for each U ϵ and each large cover there is an i with a large cover of X,either there is a large cover such that f({A, B}) = 0 whenever {A,B} ϵ ,or else there is a which is not point–finite such that f{{A, B}) = 1 whenever {A, B} ϵ .

Partitions of products

1993 ◽  
Vol 58 (3) ◽  
pp. 860-871 ◽  
Author(s):  
Carlos A. Di Prisco ◽  
James M. Henle
Keyword(s):  
Finite Number ◽  
Axiom Of Choice ◽  
Inaccessible Cardinal ◽  
Partition Relation ◽  
Partition Relations ◽  
Image Position ◽  
The Axiom Of Choice ◽  
Usual Notation

We will consider some partition properties of the following type: given a function F: ωω →2, is there a sequence H0, H1, … of subsets of ω such that F is constant on ΠiεωHi? The answer is obviously positive if we allow all the Hi's to have exactly one element, but the problem is nontrivial if we require the Hi's to have at least two elements. The axiom of choice contradicts the statement “for all F: ωω→ 2 there is a sequence H0, H1, H2,… of subsets of ω such that {i|(Hi) ≥ 2} is infinite and F is constant on ΠHi”, but the infinite exponent partition relation ω(ω)ω implies it; so, this statement is relatively consistent with an inaccessible cardinal. (See [1] where these partition properties were considered.)We will also consider partitions into any finite number of pieces, and we will prove some facts about partitions into ω-many pieces.Given a partition F: ωω → k, we say that H0, H1…, a sequence of subsets of ω, is homogeneous for F if F is constant on ΠHi. We say the sequence H0, H1,… is nonoverlapping if, for all i ∈ ω, ∪Hi > ∩Hi+1.The sequence 〈Hi: i ∈ ω〉 is of type 〈α0, α1,…〉 if, for every i ∈ ω, ∣Hi∣ = αi.We will adopt the usual notation for polarized partition relations due to Erdös, Hajnal, and Rado.means that for every partition F: κ1 × κ2 × … × κn→δ there is a sequence H0, H1,…, Hn such that Hi ⊂ κi and ∣Hi∣ = αi for every i, 1 ≤ i ≤ n, and F is constant on H1 × H2 × … × Hn.

Distributive ideals and partition relations

1986 ◽  
Vol 51 (3) ◽  
pp. 617-625 ◽  
Author(s):  
C. A. Johnson
Keyword(s):  
Prime Ideal ◽  
Structural Property ◽  
Regular Cardinal ◽  
Complete Ideal ◽  
Unique Member ◽  
Partition Relations ◽  
Image Position ◽  
The Ideal

It is a theorem of Rowbottom [12] that ifκis measurable andIis a normal prime ideal onκ, then for eachλ<κ,In this paper a natural structural property of ideals, distributivity, is considered and shown to be related to this and other ideal theoretic partition relations.The set theoretical terminology is standard (see [7]) and background results on the theory of ideals may be found in [5] and [8]. Throughoutκwill denote an uncountable regular cardinal, andIa proper, nonprincipal,κ-complete ideal onκ.NSκis the ideal of nonstationary subsets ofκ, andIκ= {X⊆κ∣∣X∣<κ}. IfA∈I+(=P(κ) −I), then anI-partitionofAis a maximal collectionW⊆,P(A) ∩I+so thatX∩ Y ∈IwheneverX, Y∈W, X≠Y. TheI-partitionWis said to be disjoint if distinct members ofWare disjoint, and in this case, fordenotes the unique member ofWcontainingξ. A sequence 〈Wα∣α<η} ofI-partitions ofAis said to be decreasing if wheneverα<β<ηandX∈Wβthere is aY∈Wαsuch thatX⊆Y. (i.e.,WβrefinesWα).

Partitioning pairs of countable sets of ordinals

1990 ◽  
Vol 55 (3) ◽  
pp. 1019-1021 ◽  
Author(s):  
Dan Velleman
Keyword(s):  
Partition Theorem ◽  
Partition Relations ◽  
Uncountable Cardinals ◽  
Image Position

In [3], Todorčević showed that ω1 ⇸ [ω1]ω12. In this paper we use similar methods to prove an analogous partition theorem for Pω1(λ), for certain uncountable cardinals λ.Recall that ω1 → [ω1]ω12, means that for every function f: [ω1]2 → ω1 there is a set A ∈ [ω1]ω1 such that f“[A]2 ≠ ω1, and of course ω1 ⇸ [ω1]ω12, is the negation of this statement. For partition relations on Pω1(→) it is customary to partition only those pairs of sets in which the first set is a subset of the second. Thus for A ⊆ Pω1(λ) we defineWe will write Pω1(λ) → [unbdd]λ2 to mean that for every function f: [Pω1(λ)]⊂2 → λ there is an unbounded set A ⊆ Pω1(λ) such that f“[A]⊂2 ≠ λ, and again Pω1(λ) ⇸ [unbdd]λ2 is the negation of this statement.

Simple Identification of Electron Diffraction Ring Patterns

1969 ◽  
Vol 27 ◽  
pp. 160-161
Author(s):  
Carolyn Nohr ◽  
Ann Ayres
Keyword(s):  
Electron Microscope ◽  
Electron Diffraction ◽  
Diffraction Ring ◽  
Image Position

Texts on electron diffraction recommend that the camera constant of the electron microscope be determine d by calibration with a standard crystalline specimen, using the equation

Atomic orientation effects in proton stopping at low velocity

1983 ◽  
Vol 41 ◽  
pp. 708-709
Author(s):  
Kin Lam
Keyword(s):  
Polycrystalline Material ◽  
Charged Particles ◽  
Target Material ◽  
Stopping Power ◽  
Low Velocity ◽  
Electronic Density ◽  
Interatomic Distances ◽  
Frame Work ◽  
Image Position ◽  
Atomic Orientation

The energy of moving ions in solid is dependent on the electronic density as well as the atomic structural properties of the target material. These factors contribute to the observable effects in polycrystalline material using the scanning ion microscope. Here we outline a method to investigate the dependence of low velocity proton stopping on interatomic distances and orientations.The interaction of charged particles with atoms in the frame work of the Fermi gas model was proposed by Lindhard. For a system of atoms, the electronic Lindhard stopping power can be generalized to the formwhere the stopping power function is defined as

A Magnetic Spectrometer for a Scanning Transmission Electron Microscope

1974 ◽  
Vol 32 ◽  
pp. 436-437
Author(s):  
A. Kosiara ◽  
J. W. Wiggins ◽  
M. Beer
Keyword(s):  
Scanning Transmission Electron Microscope ◽  
Magnetic Spectrometer ◽  
Fringe Field ◽  
Curvature Radius ◽  
Magnetic Pole ◽  
Quadrupole Field ◽  
Transmission Electron ◽  
Scanning Transmission ◽  
Under Construction ◽  
Image Position

A magnetic spectrometer to be attached to the Johns Hopkins S. T. E. M. is under construction. Its main purpose will be to investigate electron interactions with biological molecules in the energy range of 40 KeV to 100 KeV. The spectrometer is of the type described by Kerwin and by Crewe Its magnetic pole boundary is given by the equationwhere R is the electron curvature radius. In our case, R = 15 cm. The electron beam will be deflected by an angle of 90°. The distance between the electron source and the pole boundary will be 30 cm. A linear fringe field will be generated by a quadrupole field arrangement. This is accomplished by a grounded mirror plate and a 45° taper of the magnetic pole.

Sign in / Sign up

Export Citation Format

Share Document