scholarly journals JOINT DIAMONDS AND LAVER DIAMONDS

2019 ◽  
Vol 84 (3) ◽  
pp. 895-928
Author(s):  
MIHA E. HABIČ
Keyword(s):  
Large Cardinals ◽  
Supercompact Cardinals ◽  
The Family ◽  
Image Position

AbstractThe concept of jointness for guessing principles, specifically ${\diamondsuit _\kappa }$ and various Laver diamonds, is introduced. A family of guessing sequences is joint if the elements of any given sequence of targets may be simultaneously guessed by the members of the family. While equivalent in the case of ${\diamondsuit _\kappa }$, joint Laver diamonds are nontrivial new objects. We give equiconsistency results for most of the large cardinals under consideration and prove sharp separations between joint Laver diamonds of different lengths in the case of θ-supercompact cardinals.

LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH

2015 ◽  
Vol 80 (1) ◽  
pp. 251-284
Author(s):  
SY-DAVID FRIEDMAN ◽  
PETER HOLY ◽  
PHILIPP LÜCKE
Keyword(s):  
Fixed Point ◽  
Measurable Cardinal ◽  
Large Cardinals ◽  
Inaccessible Cardinal ◽  
Proper Class ◽  
Supercompact Cardinals ◽  
Image Position ◽  
Class Forcing ◽  
Continuum Function ◽  
The Continuum

AbstractThis paper deals with the question whether the assumption that for every inaccessible cardinal κ there is a well-order of H(κ+) definable over the structure $\langle {\rm{H}}({\kappa ^ + }), \in \rangle$ by a formula without parameters is consistent with the existence of (large) large cardinals and failures of the GCH. We work under the assumption that the SCH holds at every singular fixed point of the ℶ-function and construct a class forcing that adds such a well-order at every inaccessible cardinal and preserves ZFC, all cofinalities, the continuum function, and all supercompact cardinals. Even in the absence of a proper class of inaccessible cardinals, this forcing produces a model of “V = HOD” and can therefore be used to force this axiom while preserving large cardinals and failures of the GCH. As another application, we show that we can start with a model containing an ω-superstrong cardinal κ and use this forcing to build a model in which κ is still ω-superstrong, the GCH fails at κ and there is a well-order of H(κ+) that is definable over H(κ+) without parameters. Finally, we can apply the forcing to answer a question about the definable failure of the GCH at a measurable cardinal.

scholarly journals Singular perturbations of the unicritical polynomials with two parameters

2016 ◽  
Vol 37 (6) ◽  
pp. 1997-2016 ◽  
Author(s):  
YINGQING XIAO ◽  
FEI YANG
Keyword(s):  
Julia Set ◽  
Dynamical Behavior ◽  
Rational Maps ◽  
Topological Properties ◽  
Fatou Set ◽  
The Family ◽  
Image Position ◽  
Two Parameters ◽  
Unicritical Polynomials

In this paper, we study the dynamics of the family of rational maps with two parameters $$\begin{eqnarray}f_{a,b}(z)=z^{n}+\frac{a^{2}}{z^{n}-b}+\frac{a^{2}}{b},\end{eqnarray}$$ where $n\geq 2$ and $a,b\in \mathbb{C}^{\ast }$. We give a characterization of the topological properties of the Julia set and the Fatou set of $f_{a,b}$ according to the dynamical behavior of the orbits of the free critical points.

An AD-like model

1985 ◽  
Vol 50 (2) ◽  
pp. 531-543 ◽  
Author(s):  
Arthur W. Apter
Keyword(s):  
Measurable Cardinal ◽  
Large Cardinals ◽  
Strong Sense ◽  
Supercompact Cardinals ◽  
Singular Cardinals ◽  
Partial Orderings ◽  
Measurable Cardinals ◽  
Jonsson Cardinals

A very fruitful line of research in recent years has been the application of techniques in large cardinals and forcing to the production of models in which certain consequences of the axiom of determinateness (AD) are true or in which certain “AD-like” consequences are true. Numerous results have been published on this subject, among them the papers of Bull and Kleinberg [4], Bull [3], Woodin [15], Mitchell [11], and [1], [2].Another such model will be constructed in this paper. Specifically, the following theorem is proven.Theorem 1. Con(ZFC + There are cardinals κ < δ < λ so that κ is a supercompact limit of supercompact cardinals, λ is a measurable cardinal, and δ is λ supercompact) ⇒ Con(ZF + ℵ1 and ℵ2 are Ramsey cardinals + The ℵn for 3 ≤ n ≤ ω are singular cardinals of cofinality ω each of which carries a Rowbottom filter + ℵω + 1 is a Ramsey cardinal + ℵω + 2 is a measurable cardinal).It is well known that under AD + DC, ℵ2 and ℵ2 are measurable cardinals, the ℵn for 3 ≤ n < ω are singular Jonsson cardinals of cofinality ℵ2, ℵω is a Rowbottom cardinal, and ℵω + 1 and ℵω + 2 are measurable cardinals.The proof of the above theorem will use the existence of normal ultrafilters which satisfy a certain property (*) (to be defined later) and an automorphism argument which draws upon the techniques developed in [9], [2], and [4] but which shows in addition that certain supercompact Prikry partial orderings are in a strong sense “homogeneous”. Before beginning the proof of the theorem, however, we briefly mention some preliminaries.

scholarly journals THE STRONG TREE PROPERTY AT SUCCESSORS OF SINGULAR CARDINALS

2014 ◽  
Vol 79 (01) ◽  
pp. 193-207 ◽  
Author(s):  
LAURA FONTANELLA
Keyword(s):  
Singular Limit ◽  
Inaccessible Cardinal ◽  
Tree Property ◽  
Supercompact Cardinals ◽  
Singular Cardinals ◽  
Image Position ◽  
Strongly Compact Cardinals

Abstract An inaccessible cardinal is strongly compact if, and only if, it satisfies the strong tree property. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC where ${\aleph _{\omega + 1}}$ has the strong tree property. Moreover, we prove that every successor of a singular limit of strongly compact cardinals has the strong tree property.

Coefficients of Symmetric Functions of Bounded Boundary Rotation

1974 ◽  
Vol 26 (6) ◽  
pp. 1351-1355 ◽  
Author(s):  
Ronald J. Leach
Keyword(s):  
Unit Disc ◽  
Symmetric Functions ◽  
The Family ◽  
Bounded Boundary Rotation ◽  
Boundary Rotation ◽  
Image Position

Let denote the family of all functions of the formthat are analytic in the unit disc U, f′(z) ≠ 0 in U and f maps U onto a domain of boundary rotation at most . Recently Brannan, Clunie and Kirwan [2] and Aharonov and Friedland [1] have solved the problem of estimating |amp+1| for all , provided m = 1.

Normal Operators on the Banach Space Lp(-∞,∞). Part I

1961 ◽  
Vol 13 ◽  
pp. 505-518 ◽  
Author(s):  
Gregers L. Krabbe
Keyword(s):  
Banach Space ◽  
Boolean Algebra ◽  
Abelian Subalgebra ◽  
The Family ◽  
Normal Operators ◽  
Image Position

Let be the Boolean algebra of all finite unions of subcells of the plane. Denote by εpthe algebra of all linear bounded transformations of Lp(— ∞, ∞) into itself. Suppose for a moment that p = 2, and let Rp be an involutive abelian subalgebra of εp if Rp is also a Banach space and if Tp ∈ Rp, then:(i) The family of all homomorphic mappings of into the algebra Rp contains a member EPT such that(1)

scholarly journals On the arithmetic of a family of degree - two K3 surfaces

2018 ◽  
Vol 166 (3) ◽  
pp. 523-542 ◽  
Author(s):  
FLORIAN BOUYER ◽  
EDGAR COSTA ◽  
DINO FESTI ◽  
CHRISTOPHER NICHOLLS ◽  
MCKENZIE WEST
Keyword(s):  
Projective Space ◽  
Function Field ◽  
Weighted Projective Space ◽  
Module Structure ◽  
K3 Surface ◽  
Galois Module ◽  
Generic Element ◽  
The Family ◽  
Formula Group ◽  
Image Position

AbstractLet ℙ denote the weighted projective space with weights (1, 1, 1, 3) over the rationals, with coordinates x, y, z and w; let $\mathcal{X}$ be the generic element of the family of surfaces in ℙ given by \begin{equation*} X\colon w^2=x^6+y^6+z^6+tx^2y^2z^2. \end{equation*} The surface $\mathcal{X}$ is a K3 surface over the function field ℚ(t). In this paper, we explicitly compute the geometric Picard lattice of $\mathcal{X}$, together with its Galois module structure, as well as derive more results on the arithmetic of $\mathcal{X}$ and other elements of the family X.

Ultrafilters on spaces of partitions

1982 ◽  
Vol 47 (1) ◽  
pp. 137-146 ◽  
Author(s):  
James M. Henle ◽  
William S. Zwicker
Keyword(s):  
Large Cardinals ◽  
Loss Of Information ◽  
Gainful Employment ◽  
Image Position

Qκλ. Pκλ the space of all < κ-sized subsets of λ, has provided numerous opportunities for the gainful employment of set theorists in recent years, thanks to its combinatorial richness and to its relationships with various large cardinals. In the spirit of Pκλ we offer the following definition:For κ ≤ λ both cardinals, Qκλ is the set of all partitions of λ into < κ-many pieces (an element of q ∈ Qκλ is called a piece of q). EquivalentlyAn element of Pκλ may be viewed as an injection from a < κ-sized set into λ, with some information thrown away. An element of Qκλ is a surjection from λ onto a < κ-sized set, with analogous loss of information.For p, q ∈ Qκλ, we say p ≤ q iff q is a refinement of p (every piece of q is contained in a piece of p).

scholarly journals ON THE FAMILY OF DIOPHANTINE TRIPLES {k− 1,k+ 1, 16k3− 4k}

2007 ◽  
Vol 49 (2) ◽  
pp. 333-344 ◽  
Author(s):  
YANN BUGEAUD ◽  
ANDREJ DUJELLA ◽  
MAURICE MIGNOTTE
Keyword(s):  
Positive Integer ◽  
Recent Result ◽  
The Family ◽  
Diophantine Triples ◽  
Image Position ◽  
Diophantine Quadruples

AbstractIt is proven that ifk≥ 2 is an integer anddis a positive integer such that the product of any two distinct elements of the setincreased by 1 is a perfect square, thend= 4kord= 64k5−48k3+8k. Together with a recent result of Fujita, this shows that all Diophantine quadruples of the form {k− 1,k+ 1,c,d} are regular.

The Arithmetic of Navigation Position Errors

1982 ◽  
Vol 35 (1) ◽  
pp. 28-38
Author(s):  
J. B. Parker
Keyword(s):  
Theoretical Model ◽  
Probability Density ◽  
Goodness Of Fit ◽  
Theoretical Models ◽  
Double Exponential Distribution ◽  
Position Errors ◽  
Double Exponential ◽  
The Family ◽  
Exponential Power ◽  
Image Position

In a notable series of articles, Hsu advances theoretical models which are used to graduate 7582 observations of aircraft lateral deviations. The goodness of fit of these models, as judged by the χ2 test, is satisfactory. Hsu's main theoretical model is the Double Double Exponential distribution (DDE), a three parameter model whose probability density function is given byOther model types are also considered, such as the family of exponential power distributions whose probability density is cited by Hsu insection 9. This leads to a four-parameter model, and the fit is (not surprisingly) better even than that of the DDE.

Sign in / Sign up

Export Citation Format

Share Document