DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE

2019 ◽  
Vol 84 (1) ◽  
pp. 27-53
Author(s):  
DOMINIK ADOLF ◽  
GRIGOR SARGSYAN
Keyword(s):  
Large Cardinal ◽  
Image Position

AbstractWe introduce a mouse whose derived model satisfies $AD_ + {\rm{\Theta }} \ge \theta _{\aleph _2 } $. More generally, we will introduce a class of large cardinal properties yielding mice whose derived models can satisfy properties as strong as $AD_ + {\rm{\Theta }} = \theta _{\rm{\Theta }} $.

Σ1(κ)-DEFINABLE SUBSETS OF H(κ+)

2017 ◽  
Vol 82 (3) ◽  
pp. 1106-1131 ◽  
Author(s):  
PHILIPP LÜCKE ◽  
RALF SCHINDLER ◽  
PHILIPP SCHLICHT
Keyword(s):  
Measurable Cardinal ◽  
Large Cardinal ◽  
Woodin Cardinals ◽  
Perfect Set ◽  
Nonstationary Ideal ◽  
Definable Sets ◽  
Image Position ◽  
Stationary Subsets ◽  
Woodin Cardinal ◽  
Generic Ultrapowers

AbstractWe study Σ1(ω1)-definable sets (i.e., sets that are equal to the collection of all sets satisfying a certain Σ1-formula with parameter ω1 ) in the presence of large cardinals. Our results show that the existence of a Woodin cardinal and a measurable cardinal above it imply that no well-ordering of the reals is Σ1(ω1)-definable, the set of all stationary subsets of ω1 is not Σ1(ω1)-definable and the complement of every Σ1(ω1)-definable Bernstein subset of ${}_{}^{{\omega _1}}\omega _1^{}$ is not Σ1(ω1)-definable. In contrast, we show that the existence of a Woodin cardinal is compatible with the existence of a Σ1(ω1)-definable well-ordering of H(ω2) and the existence of a Δ1(ω1)-definable Bernstein subset of ${}_{}^{{\omega _1}}\omega _1^{}$. We also show that, if there are infinitely many Woodin cardinals and a measurable cardinal above them, then there is no Σ1(ω1)-definable uniformization of the club filter on ω1. Moreover, we prove a perfect set theorem for Σ1(ω1)-definable subsets of ${}_{}^{{\omega _1}}\omega _1^{}$, assuming that there is a measurable cardinal and the nonstationary ideal on ω1 is saturated. The proofs of these results use iterated generic ultrapowers and Woodin’s ℙmax-forcing. Finally, we also prove variants of some of these results for Σ1(κ)-definable subsets of κκ, in the case where κ itself has certain large cardinal properties.

On nonregular ultrafilters

1972 ◽  
Vol 37 (1) ◽  
pp. 71-74 ◽  
Author(s):  
Jussi Ketonen
Keyword(s):  
Large Cardinal ◽  
Independent Functions ◽  
The Subject ◽  
Image Position

In this paper we shall construct nonregular ultrafilters showing many of the model-theoretic properties of their regular counterparts. The crucial idea in these constructions is to replace the use of regularity by independent functions. We shall use the notation and terminology of [1], our fundamental concepts being defined as follows:Definition 1.1. (1) A uniform ultrafilter D over a cardinal κ is regular if there is a family {Xα ∣ α < κ} so that every infinite intersection of these Xα's is empty.(2) A filter F over a cardinal κ is ω1-saturated if there is no family of sets {aα ∣ α < ω1} so that for every α < β < ω1For more on regular ultrafilters, see [2]. The germinal theorem on the subject of nonregular ultrafilters is the following well-known result of Jack Silver:Theorem 1.2 [1, Theorem 1.39]. If F is an ω1-saturated κ-complete filter over κ, then any ultrafilter extending F is nonregular.This result will be the cornerstone of our constructions. Of course, the existence of a filter of the above type depends on large cardinal axioms. For more on un ω1-saturated κ-complete filters, see [1].

On an Ackermann-type set theory

1973 ◽  
Vol 38 (3) ◽  
pp. 410-412
Author(s):  
John Lake
Keyword(s):  
Set Theory ◽  
Measurable Cardinal ◽  
Large Cardinal ◽  
Predicate Calculus ◽  
First Order ◽  
Free Variables ◽  
Individual Constant ◽  
Image Position ◽  
Order Predicate Calculus ◽  
Universal Closure

Ackermann's set theory A* is usually formulated in the first order predicate calculus with identity, ∈ for membership and V, an individual constant, for the class of all sets. We use small Greek letters to represent formulae which do not contain V and large Greek letters to represent any formulae. The axioms of A* are the universal closures ofwhere all free variables are shown in A4 and z does not occur in the Θ of A2.A+ is a generalisation of A* which Reinhardt introduced in [3] as an attempt to provide an elaboration of Ackermann's idea of “sharply delimited” collections. The language of A+ is that of A*'s augmented by a new constant V′, and its axioms are A1–A3, A5, V ⊆ V′ and the universal closure ofwhere all free variables are shown.Using a schema of indescribability, Reinhardt states in [3] that if ZF + ‘there exists a measurable cardinal’ is consistent then so is A+, and using [4] this result can be improved to a weaker large cardinal axiom. It seemed plausible that A+ was stronger than ZF, but our main result, which is contained in Theorem 5, shows that if ZF is consistent then so is A+, giving an improvement on the above results.

THE EIGHTFOLD WAY

2018 ◽  
Vol 83 (1) ◽  
pp. 349-371
Author(s):  
JAMES CUMMINGS ◽  
SY-DAVID FRIEDMAN ◽  
MENACHEM MAGIDOR ◽  
ASSAF RINOT ◽  
DIMA SINAPOVA
Keyword(s):  
Set Theory ◽  
Large Cardinal ◽  
Tree Property ◽  
Weakly Compact ◽  
Compact Cardinal ◽  
Combinatorial Properties ◽  
Mutual Independence ◽  
Stationary Set ◽  
Image Position ◽  
Weakly Compact Cardinal

AbstractThree central combinatorial properties in set theory are the tree property, the approachability property and stationary reflection. We prove the mutual independence of these properties by showing that any of their eight Boolean combinations can be forced to hold at${\kappa ^{ + + }}$, assuming that$\kappa = {\kappa ^{ < \kappa }}$and there is a weakly compact cardinal aboveκ.If in additionκis supercompact then we can forceκto be${\aleph _\omega }$in the extension. The proofs combine the techniques of adding and then destroying a nonreflecting stationary set or a${\kappa ^{ + + }}$-Souslin tree, variants of Mitchell’s forcing to obtain the tree property, together with the Prikry-collapse poset for turning a large cardinal into${\aleph _\omega }$.

Indescribable cardinals and elementary embeddings

1991 ◽  
Vol 56 (2) ◽  
pp. 439-457 ◽  
Author(s):  
Kai Hauser
Keyword(s):  
Set Theory ◽  
Predicate Symbol ◽  
Large Cardinal ◽  
Unary Predicate ◽  
Finite Sequences ◽  
Elementary Embeddings ◽  
Reflection Principles ◽  
The One ◽  
Image Position ◽  
The Universe

Indescribability is closely related to the reflection principles of Zermelo-Fränkel set theory. In this axiomatic setting the universe of all sets stratifies into a natural cumulative hierarchy (Vα: α ϵ On) such that any formula of the language for set theory that holds in the universe already holds in the restricted universe of all sets obtained by some stage.The axioms of ZF prove the existence of many ordinals α such that this reflection scheme holds in the world Vα. Hanf and Scott noticed that one arrives at a large cardinal notion if the reflecting formulas are allowed to contain second order free variables to which one assigns subsets of Vα. For a given collection Ω of formulas in the ϵ language of set theory with higher type variables and a unary predicate symbol they define an ordinal α to be Ω indescribable if for all sentences Φ in Ω and A ⊆ VαSince a sufficient coding apparatus is available, this definition is (for the classes of formulas that we are going to consider) equivalent to the one that one obtains by allowing finite sequences of relations over Vα, some of which are possibly k-ary. We will be interested mainly in certain standardized classes of formulas: Let (, respectively) denote the class of all formulas in the language introduced above whose prenex normal form has n alternating blocks of quantifiers of type m (i.e. (m + 1)th order) starting with ∃ (∀, respectively) and no quantifiers of type greater than m. In Hanf and Scott [1961] it is shown that in ZFC, indescribability is equivalent to inaccessibility and indescribability coincides with weak compactness.

A boundedness lemma for iterations

2001 ◽  
Vol 66 (3) ◽  
pp. 1058-1072
Author(s):  
Greg Hjorth
Keyword(s):  
Set Theory ◽  
Model Theory ◽  
Large Cardinal ◽  
Descriptive Set Theory ◽  
Inner Model Theory ◽  
Inner Model ◽  
Direct Limits ◽  
The One ◽  
Image Position ◽  
Descriptive Set

The purpose of this paper is to present a kind of boundedness lemma for direct limits of coarse structural mice, and to indicate some applications to descriptive set theory. For instance, this allows us to show that under large cardinal or determinacy assumptions there is no prewellorder ≤ of length such that for some formula ψ and parameter zif and only ifIt is a peculiar experience to write up a result in this area. Following the work of Martin, Steel, Woodin, and other inner model theory experts, there is an enormous overhang of theorems and ideas, and it only takes one wandering pebble to restart the avalanche. For this reason I have chosen to center the exposition around the one pebble at 1.7 which I believe to be new. The applications discussed in section 2 involve routine modifications of known methods.A detailed introduction to many of the techniques related to using the Martin-Steel inner model theory and Woodin's free extender algebra is given in the course of [1]. Certainly a familiarity with the Martin-Steel papers, [5] and [6], is a prerequisite, as is some knowledge of the free extender algebra. Probably anyone interested in this paper will already know the necessary descriptive set theory, most of which can be found in [4]. Discussion of earlier results in this direction can be found in [3] or [2].

AXIOM I0 AND HIGHER DEGREE THEORY

2015 ◽  
Vol 80 (3) ◽  
pp. 970-1021 ◽  
Author(s):  
XIANGHUI SHI
Keyword(s):  
Critical Point ◽  
Degree Theory ◽  
Large Cardinal ◽  
Elementary Embedding ◽  
Generic Absoluteness ◽  
Perfect Set ◽  
Singular Cardinals ◽  
Uncountable Cardinal ◽  
Image Position ◽  
Measurable Cardinals

AbstractIn this paper, we analyze structures of Zermelo degrees via a list of four degree theoretic questions (see §2) in various fine structure extender models, or under large cardinal assumptions. In particular we give a detailed analysis of the structures of Zermelo degrees in the Mitchell model for ω many measurable cardinals. It turns out that there is a profound correlation between the complexity of the degree structures at countable cofinality singular cardinals and the large cardinal strength of the relevant cardinals. The analysis applies to general degree notions, Zermelo degree is merely the author’s choice for illustrating the idea.I0(λ) is the assertion that there is an elementary embedding j : L(Vλ+1) → L(Vλ+1) with critical point < λ. We show that under I0(λ), the structure of Zermelo degrees at λ is very complicated: it has incomparable degrees, is not dense, satisfies Posner–Robinson theorem etc. In addition, we show that I0 together with a mild condition on the critical point of the embedding implies that the degree determinacy for Zermelo degrees at λ is false in L(Vλ+1). The key tool in this paper is a generic absoluteness theorem in the theory of I0, from which we obtain an analogue of Perfect Set Theorem for “projective” subsets of Vλ+1, and the Posner–Robinson follows as a corollary. Perfect Set Theorem and Posner–Robinson provide evidences supporting the analogy between $$AD$$ over L(ℝ) and I0 over L(Vλ+1), while the failure of degree determinacy is one for disanalogy. Furthermore, we conjecture that the failure of degree determinacy for Zermelo degrees at any uncountable cardinal is a theorem of $$ZFC$$.

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