Measurable cardinals and good -wellorderings

@article{Lcke2018MeasurableCA,
  title={Measurable cardinals and good -wellorderings},
  author={Philipp L{\"u}cke and Philipp Schlicht},
  journal={Math. Log. Q.},
  year={2018},
  volume={64},
  pages={207-217}
}
We study the influence of the existence of large cardinals on the existence of wellorderings of power sets of infinite cardinals κ with the property that the collection of all initial segments of the wellordering is definable by a Σ1-formula with parameter κ. A short argument shows that the existence of a measurable cardinal δ implies that such wellorderings do not exist at δ-inaccessible cardinals of cofinality not equal to δ and their successors. In contrast, our main result shows that these… 
$\Sigma_1$-definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
Given an uncountable cardinal κ, we consider the question whether subsets of the power set of κ that are usually constructed with the help of the Axiom of Choice are definable by Σ1-formulas that
CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS
Abstract We study closure properties of measurable ultrapowers with respect to Hamkin’s notion of freshness and show that the extent of these properties highly depends on the combinatorial properties
Partition properties for simply definable colourings
We study partition properties for uncountable regular cardinals that arise by restricting partition properties defining large cardinal notions to classes of simply definable colourings. We show that
Models for short sequences of measures in the cofinality-$\omega$ constructible model
We investigate the relation betweenC∗, themodel of sets constructible using first order logic augmented with the “cofinality-ω” quantifier, and “short” sequences of measures – sequences of measures
CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS
We study closure properties of measurable ultrapowers with respect to Hamkin’s notion of freshness and show that the extent of these properties highly depends on the combinatorial properties of the

References

SHOWING 1-10 OF 14 REFERENCES
Some applications of short core models
  • P. Koepke
  • Mathematics, Computer Science
    Ann. Pure Appl. Log.
  • 1988
TLDR
The definition and fundamental properties of the family of short core models, which extend the core model K of Dodd and Jensen to include α-sequences of measurable cardinals, are surveyed.
Σ1(κ)-DEFINABLE SUBSETS OF H(κ +)
TLDR
A perfect set theorem is proved for Σ1(ω 1)-definable subsets of κ κ, in the case where κ itself has certain large cardinal properties, assuming that there is a measurable cardinal and the nonstationary ideal on ω 1 is saturated.
Sets Constructible from Sequences of Ultrafilters
  • W. Mitchell
  • Mathematics, Computer Science
    J. Symb. Log.
  • 1974
TLDR
Kunen's methods are extended to arbitrary sequences U of ultrafilters and it is shown that in L[U] the generalized continuum hypothesis is true, there is a Souslin tree, andthere is a well-ordering of the reals.
On the consistency strength of 'Accessible' Jonsson Cardinals and of the Weak Chang Conjecture
TLDR
The core model K is used to determine better lower bounds for the consistency strength of some combinatorial principles and a relatively simple definition of the core model is included which together with the results of Dodd and Jensen suffices for the proofs.
Some applications of iterated ultrapowers in set theory
Let 91 be a ~-complete ultrafilter on the measurable cardinal ~. Scott [ 1 3 ] proved V ¢ L by using 91 to take the ultrapower of V. Gaifman [ 2] considered iterated ultrapowers of V by cg to
The core model
1. Fine Structure 2. Normal Measures 3. Mice 4. The Core Model 5. The Covering Lemma 6. Larger Core Models
  • 2003
  • 2003
The third millennium edition, revised and expanded
  • Set theory. Springer Monographs in Mathematics. Springer-Verlag, Berlin,
  • 2003
The Higher Infinite
...
1
2
...