scholarly journals SMALL UNIVERSAL FAMILIES OF GRAPHS ON ℵω + 1

2016 ◽  
Vol 81 (2) ◽  
pp. 541-569 ◽  
Author(s):  
JAMES CUMMINGS ◽  
MIRNA DŽAMONJA ◽  
CHARLES MORGAN
Keyword(s):  
Strong Limit ◽  
Prikry Forcing ◽  
Image Position

AbstractWe prove that it is consistent that $\aleph _\omega $ is strong limit, $2^{\aleph _\omega } $ is large and the universality number for graphs on $\aleph _{\omega + 1} $ is small. The proof uses Prikry forcing with interleaved collapsing.

scholarly journals Contributions to the Theory of Large Cardinals through the Method of Forcing

2021 ◽  
Vol 27 (2) ◽  
pp. 221-222
Author(s):  
Alejandro Poveda
Keyword(s):  
Large Cardinals ◽  
Large Cardinal ◽  
Supercompact Cardinal ◽  
Singular Cardinal ◽  
Strong Limit ◽  
Tree Property ◽  
Prikry Forcing ◽  
Regular Cardinals ◽  
Singular Cardinals ◽  
Vopěnka’S Principle

AbstractThe dissertation under comment is a contribution to the area of Set Theory concerned with the interactions between the method of Forcing and the so-called Large Cardinal axioms.The dissertation is divided into two thematic blocks. In Block I we analyze the large-cardinal hierarchy between the first supercompact cardinal and Vopěnka’s Principle (Part I). In turn, Block II is devoted to the investigation of some problems arising from Singular Cardinal Combinatorics (Part II and Part III).We commence Part I by investigating the Identity Crisis phenomenon in the region comprised between the first supercompact cardinal and Vopěnka’s Principle. As a result, we generalize Magidor’s classical theorems [2] to this higher region of the large-cardinal hierarchy. Also, our analysis allows to settle all the questions that were left open in [1]. Finally, we conclude Part I by presenting a general theory of preservation of $C^{(n)}$ -extendible cardinals under class forcing iterations. From this analysis we derive several applications. For instance, our arguments are used to show that an extendible cardinal is consistent with “ $(\lambda ^{+\omega })^{\mathrm {HOD}}<\lambda ^+$ , for every regular cardinal $\lambda $ .” In particular, if Woodin’s HOD Conjecture holds, and therefore it is provable in ZFC + “There exists an extendible cardinal” that above the first extendible cardinal every singular cardinal $\lambda $ is singular in HOD and $(\lambda ^+)^{\textrm {{HOD}}}=\lambda ^+$ , there may still be no agreement at all between V and HOD about successors of regular cardinals.In Part II and Part III we analyse the relationship between the Singular Cardinal Hypothesis (SCH) with other relevant combinatorial principles at the level of successors of singular cardinals. Two of these are the Tree Property and the Reflection of Stationary sets, which are central in Infinite Combinatorics.Specifically, Part II is devoted to prove the consistency of the Tree Property at both $\kappa ^+$ and $\kappa ^{++}$ , whenever $\kappa $ is a strong limit singular cardinal witnessing an arbitrary failure of the SCH. This generalizes the main result of [3] in two senses: it allows arbitrary cofinalities for $\kappa $ and arbitrary failures for the SCH.In the last part of the dissertation (Part III) we introduce the notion of $\Sigma $ -Prikry forcing. This new concept allows an abstract and uniform approach to the theory of Prikry-type forcings and encompasses several classical examples of Prikry-type forcing notions, such as the classical Prikry forcing, the Gitik-Sharon poset, or the Extender Based Prikry forcing, among many others.Our motivation in this part of the dissertation is to prove an iteration theorem at the level of the successor of a singular cardinal. Specifically, we aim for a theorem asserting that every $\kappa ^{++}$ -length iteration with support of size $\leq \kappa $ has the $\kappa ^{++}$ -cc, provided the iterates belong to a relevant class of $\kappa ^{++}$ -cc forcings. While there are a myriad of works on this vein for regular cardinals, this contrasts with the dearth of investigations in the parallel context of singular cardinals. Our main contribution is the proof that such a result is available whenever the class of forcings under consideration is the family of $\Sigma $ -Prikry forcings. Finally, and as an application, we prove that it is consistent—modulo large cardinals—the existence of a strong limit cardinal $\kappa $ with countable cofinality such that $\mathrm {SCH}_\kappa $ fails and every finite family of stationary subsets of $\kappa ^+$ reflects simultaneously.

26.—The Strong Limit-2 Case of Fourth-order Differential Equations

1974 ◽  
Vol 71 (4) ◽  
pp. 297-304
Author(s):  
V. Krishna Kumar
Keyword(s):  
Differential Equation ◽  
Fourth Order ◽  
Order Equation ◽  
Complex Numbers ◽  
Strong Limit ◽  
Fourth Order Equation ◽  
Linearly Independent ◽  
Image Position ◽  
Adjoint Operators ◽  
Bounded Below

SynopsisThe fourth-order equation considered isConditions are given on the coefficients r, p and q which ensure that this differential equation (*) is in the strong limit-2 case at ∞, i.e. is limit-2 at ∞. This implies that (*) has exactly two linearly independent solutions which are in the integrable-square space ℒ2(0, ∞) for all complex numbers λ with im [λ] ≠ 0. Additionally the conditions imply that self-adjoint operators generated by M[·] in ℒ2(0, ∞) are semi-bounded below. The results obtained are applied to the case when the coefficients r, p and q are powers of x ∈ [0, ∞).

scholarly journals On well-bounded operators of class Г

1983 ◽  
Vol 24 (1) ◽  
pp. 1-5
Author(s):  
Adnan A. S. Jibril
Keyword(s):  
Banach Space ◽  
Linear Operator ◽  
Bounded Operators ◽  
Strong Limit ◽  
Riemann Sums ◽  
Image Position

Let T be a linear operator acting in a Banach space X. It has been shown by Smart [5] and Ringrose [3] that, if X is reflexive, then T is well-bounded if and only if it may be expressed in the formwhere {E(λ)} is a suitable family of projections in X and the integral exists as the strong limit of Riemann sums.

Some strong limit-2 and Dirichiet criteria for fourth order differential expressions

1990 ◽  
Vol 108 (2) ◽  
pp. 409-416 ◽  
Author(s):  
David Race
Keyword(s):  
Hilbert Space ◽  
Orthogonal Polynomials ◽  
Differential Expression ◽  
Fourth Order ◽  
Strong Limit ◽  
The Real ◽  
Image Position

AbstractConditions are given on the real coefficients p, q and r and the weight w, for the fourth order formally symmetric differential expressionto have the properties of being strong limit-2 and Dirichlet at ∞, when considered in the weighted Hilbert space, . These extend existing results due to both W. N. Everitt and V. Krishna Kumar and cover an expression which is important in the study of certain orthogonal polynomials.

THE TREE PROPERTY AT AND

2018 ◽  
Vol 83 (2) ◽  
pp. 669-682 ◽  
Author(s):  
DIMA SINAPOVA ◽  
SPENCER UNGER
Keyword(s):  
Large Cardinals ◽  
Strong Limit ◽  
Tree Property ◽  
Image Position

AbstractWe show that from large cardinals it is consistent to have the tree property simultaneously at${\aleph _{{\omega ^2} + 1}}$and${\aleph _{{\omega ^2} + 2}}$with${\aleph _{{\omega ^2}}}$strong limit.

Chang's conjecture and powers of singular cardinals

1977 ◽  
Vol 42 (2) ◽  
pp. 272-276 ◽  
Author(s):  
Menachem Magidor
Keyword(s):  
Strong Limit ◽  
Elementary Substructure ◽  
Limit Cardinal ◽  
Countable Type ◽  
Chang’S Conjecture ◽  
Singular Cardinals ◽  
Nontrivial Ideal ◽  
Chang's Conjecture ◽  
Image Position ◽  
The Given

In [2] Galvin and Hajnal showed, as a corollary to a more general result, that if , is a strong limit cardinal, then . They established similar bounds for powers of singular cardinals of cofinality greater than ω. Jech and Prikry in [3] showed that the Galvin-Hajnal bound can be improved if we assume that ω1 carries an ω2 saturated ω1 complete, nontrivial ideal. (See [7] for definitions), namely: under the given assumption provided is a strong limit cardinal.In this paper we show that the same conclusion can be derived from Chang's Conjecture (see below) which is, at least consistencywise, a weaker assumption than the existence of an ω2 saturated ideal on ω1. We do not know if assumptions like these are necessary for obtaining the result.Our notations and terminology should be understood by any reader acquainted with set theory. Chang's Conjecture is the following model theoretic assumption introduced by C. C. Chang:which is deciphered as follows: Every structure 〈A, R,…〉 in a countable type where ∣A∣ = ω2, R ⊆ A, ∣R∣ = ω1 has an elementary substructure: 〈A′,R′,…〉 where ∣A′∣ = ω1 and ∣R′∣ = ω0. The consistency of Chang's Conjecture modulo the existence of Ramsey cardinals is claimed in [5].

ITP, ISP, AND SCH

2019 ◽  
Vol 84 (02) ◽  
pp. 713-725 ◽  
Author(s):  
SHERWOOD HACHTMAN ◽  
DIMA SINAPOVA
Keyword(s):  
The Other ◽  
Strong Limit ◽  
Other Hand ◽  
Image Position

Abstract$ISP$ cannot hold at the first or second successor of a singular strong limit of countable cofinality; on the other hand, we force a failure of “strong ${\rm{SCH}}$” across a cardinal where $ITP$ holds. We also show that $ITP$ does not imply that there are stationary many internally unbounded models.

scholarly journals Sigma-Prikry forcing I: The Axioms

2020 ◽  
pp. 1-34
Author(s):  
Alejandro Poveda ◽  
Assaf Rinot ◽  
Dima Sinapova
Keyword(s):  
Iteration Scheme ◽  
Finite Collection ◽  
Strong Limit ◽  
Prikry Forcing ◽  
Supercompact Cardinals ◽  
Limit Cardinal ◽  
Singular Cardinals ◽  
Stationary Set ◽  
Stationary Subsets

Abstract We introduce a class of notions of forcing which we call $\Sigma $ -Prikry, and show that many of the known Prikry-type notions of forcing that centers around singular cardinals of countable cofinality are $\Sigma $ -Prikry. We show that given a $\Sigma $ -Prikry poset $\mathbb P$ and a name for a non-reflecting stationary set T, there exists a corresponding $\Sigma $ -Prikry poset that projects to $\mathbb P$ and kills the stationarity of T. Then, in a sequel to this paper, we develop an iteration scheme for $\Sigma $ -Prikry posets. Putting the two works together, we obtain a proof of the following. Theorem. If $\kappa $ is the limit of a countable increasing sequence of supercompact cardinals, then there exists a forcing extension in which $\kappa $ remains a strong limit cardinal, every finite collection of stationary subsets of $\kappa ^+$ reflects simultaneously, and $2^\kappa =\kappa ^{++}$ .

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

Sign in / Sign up

Export Citation Format

Share Document