2015
DOI: 10.1002/malq.201400020
|View full text |Cite
|
Sign up to set email alerts
|

Generalized Silver and Miller measurability

Abstract: We present some results about the burgeoning research area concerning set theory of the "κ-reals". We focus on some notions of measurability coming from generalizations of Silver and Miller trees. We present analogies and mostly differences from the classical setting.

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1

Citation Types

0
16
0

Year Published

2016
2016
2020
2020

Publication Types

Select...
5

Relationship

2
3

Authors

Journals

citations
Cited by 9 publications
(16 citation statements)
references
References 11 publications
0
16
0
Order By: Relevance
“…Further background . Note that the notions of “κ‐Miller measurability”, “κ‐Sacks measurability” and “κ‐Silver measurability” considered in and are potential candidates for such properties; however, they are not generated by <κ‐closed forcing notions on κκ.…”
Section: The List Of Open Questionsmentioning
confidence: 99%
See 2 more Smart Citations
“…Further background . Note that the notions of “κ‐Miller measurability”, “κ‐Sacks measurability” and “κ‐Silver measurability” considered in and are potential candidates for such properties; however, they are not generated by <κ‐closed forcing notions on κκ.…”
Section: The List Of Open Questionsmentioning
confidence: 99%
“…κ‐Miller measurability can be forced to hold for all sets definable from ordinals and subsets of κ in the Silver model (which requires an inaccessible λ>κ); cf. [, Lemma 5.4]. If κ is inaccessible, then κ‐Silver measurability for all sets definable from ordinals and subsets of κ holds in the κ‐Cohen model; cf.…”
Section: The List Of Open Questionsmentioning
confidence: 99%
See 1 more Smart Citation
“…The Silver model cannot in general be used to separate the various regularity properties: in fact, the results from [Sch,Lag14] show that many of these properties are simultaneously satisfied by Σ 1 1 subsets of κ κ. However, we can use Theorem 1.13 to separate the Hurewicz dichotomy from the κ-perfect set property.…”
Section: Introductionmentioning
confidence: 99%
“…Thus in a Silver model all Σ 1 1 subsets (hence also all Π 1 1 subsets) of κ κ are κ-Sacks measurable. Laguzzi showed in [Lag14] that in fact such sets are also κ-Miller measurable.…”
mentioning
confidence: 99%