Papers are presented in reverse order by publication, and preprints in reverse order by inital completion.
Research areas
Theory of forcing, cardinal characteristics, the axiom of choice, large cardinals, and intersections of model theory with set theory.
My CV can be found here (academic.calliope.mx/files/cv.pdf). This is not guaranteed to be up-to-date.
Ex operibus Calliope
Publications
-
Which pairs of cardinals can be Hartogs and Lindenbaum numbers of a set?
With Asaf Karagila. 7 NOV 2024. Fund. Math.. doi.org/10.4064/fm231006-14-8.
Preprint version arXiv:2309.11409. MR4788363. -
The Hartogs–Lindenbaum Spectrum of Symmetric Extensions.
16 JUL 2024. Math. Log. Quart.. doi.org/10.1002/malq/202300047.
Preprint version arXiv:2309.12100. MR4788363.
Preprints
-
Local reflections of choice.
19 DEC 2024. arxiv.org/abs/2412.13785. -
Proper classes of maximal θ-independent families from large cardinals.
19 AUG 2024. arxiv.org/abs/2408.10137. -
Upwards homogeneity in iterated symmetric extensions.
With Jonathan Schilhan and Yujun Wei. 14 MAY 2024. arxiv.org/abs/2405.08639. Submitted. -
String Dimension: VC Dimension for Infinite Shattering.
28 FEB 2024. arxiv.org/abs/2402.18250. Submitted. -
Stratifiable Formulae are not Context-Free.
23 AUG 2023. arxiv.org/abs/2304.10291. Accepted (Notre Dame J. Form. Log.).
Other works
-
A heavily abridged version of Maximal θ-independent families from large cardinals in one-page zine form is available here.
For a printed version, print this file. Instructions for constructing the zine can be found, say, at https://mymodernmet.com/how-to-make-a-zine/.
Links
-
My PhD student page at the University of Leeds can be found at https://eps.leeds.ac.uk/maths/pgr/9635/calliope-ryan-smith/
-
My ORCID iD is 0000-0003-2835-4268.
- My CV can be found here (not guaranteed to be up-to-date).
- My MathSciNet author ID is 1625058.
Contact
I can be contacted through my university email,
c.Ryan-Smith @leeds.ac.uk
Any other business
- Minims calculator. Put in the number of minims and this will spit out all of the possible combinations of letters that those minims could represent.
- MathOverflow account. Where I dwell on MathOverflow.
- Why .mx?