Calliope Ryan-Smith

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

1. Stratifiable Formulae are not Context-Free.
   Accepted Notre Dame J. Form. Log.
   Preprint version arxiv.org/abs/2304.10291.
2. Which pairs of cardinals can be Hartogs and Lindenbaum numbers of a set?
   (with A. Karagila) Fund. Math. 267 (2024), no. 3, 231–241
   doi.org/10.4064/fm231006-14-8.
   Preprint version arXiv:2309.11409. MR4788363.
3. The Hartogs–Lindenbaum Spectrum of Symmetric Extensions.
   Math. Log. Quart. 70 (2024), no. 2, 210–223
   doi.org/10.1002/malq/202300047.
   Preprint version arXiv:2309.12100. MR4788363.

Preprints

1. Local reflections of choice.
   19 DEC 2024. arxiv.org/abs/2412.13785.
2. Proper classes of maximal θ-independent families from large cardinals.
   19 AUG 2024. arxiv.org/abs/2408.10137. Submitted.
3. Upwards homogeneity in iterated symmetric extensions.
   With Jonathan Schilhan and Yujun Wei. 14 MAY 2024. arxiv.org/abs/2405.08639. Submitted.
4. String Dimension: VC Dimension for Infinite Shattering.
   28 FEB 2024. arxiv.org/abs/2402.18250. Submitted.

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@fbi.com and so on and so forth@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?