4 citations · 6 across the 8 of their papers we have counts for
8 papers · 1 filter
Eccentricity, extendable choice and descending distributive forcing
Calliope Ryan-Smith
We introduce the forcing property of descending distributivity. A forcing is -descending distributive if for all decreasing sequences of open dense se…
Local reflections of choice
Calliope Ryan-Smith
Under the assumption of small violations of choice with seed (), the failure of many choice principles reflect to to local properties of , which can be a he…
Proper classes of maximal -independent families from large cardinals
Calliope Ryan-Smith
While maximal independent families can be constructed from ZFC via Zorn's lemma, the presence of a maximal -independent family already gives an inner model with a measurable car…
Upwards homogeneity in iterated symmetric extensions
Calliope Ryan-Smith, Jonathan Schilhan, Yujun Wei
It is sometimes desirable in choiceless constructions of set theory that one iteratively extends some ground model without adding new sets of ordinals after the first extension. Pu…
String Dimension: VC Dimension for Infinite Shattering
Calliope Ryan-Smith
In computer science, combinatorics, and model theory, the VC dimension is a central notion underlying far-reaching topics such as error rate for decision rules, combinatorial measu…
The Hartogs-Lindenbaum Spectrum of Symmetric Extensions
Calliope Ryan-Smith
We expand the classic result that is equivalent to the statement "For all , " by proving the equivalence of many more related…
Which Pairs of Cardinals Can Be Hartogs and Lindenbaum Numbers of a Set?
Asaf Karagila, Calliope Ryan-Smith
Given any , we construct a symmetric extension in which there is a set such that and . Consequently, we show that "For all pa…
Stratifiable formulae are not context-free
Calliope Ryan-Smith
Stratified formulae were introduced by Quine as an alternative way to attack Russell's Paradox. Instead of limiting comprehension by size (as in set theory, using its…