Sylvy Anscombe
My research interests lie in Model Theory, a part of Mathematical Logic, including connections to algebra and number theory.

MSRI wall

research articles

published
  1. The model theory of Cohen rings, with Franziska Jahnke.
    Accepted in Confluentes Mathematici, 2022. arXiv:1904.08297 [math.LO]
  2. Denseness results in the theory of algebraic fields, with Philip Dittmann and Arno Fehm.
    Annals of Pure and Applied Logic, 172, 2021.
  3. A $p$-adic analogue of Siegel's theorem on sums of squares, with Philip Dittmann and Arno Fehm.
    Mathematische Nachrichten, 293:1434–1451, 2020.
  4. Approximation theorems for spaces of localities, with Philip Dittmann and Arno Fehm.
    Mathematische Zeitschrift, 296:1471–1499, 2020.
  5. Existentially generated subfields of large fields.
    Journal of Algebra, 517C:78–94, 2019.
  6. Henselianity in the language of rings, with Franziska Jahnke.
    Annals of Pure and Applied Logic, 169(9):872–895, 2018.
  7. Characterizing diophantine henselian valuation rings and valuation ideals, with Arno Fehm.
    Proceedings of the London Mathematical Society, 115:293–322, 2017.
  8. Notes on extremal and tame valued fields, with Franz-Viktor Kuhlmann.
    Journal of Symbolic Logic, 81:400–416, 2016.
  9. The existential theory of equicharacteristic henselian valued fields, with Arno Fehm.
    Algebra & Number Theory, 10-3:665–683, 2016.
  10. An existential $\emptyset$-definition of $\mathbb{F}_{q}[\![t]\!]$ in $\mathbb{F}_{q}(\!(t)\!)$, with Jochen Koenigsmann.
    Journal of Symbolic Logic, 79:1336–1343, 2014.
thesis
  1. Definability in Henselian Fields. DPhil Thesis, University of Oxford, 2013.
    Supervised by Prof. Jochen Koenigsmann.
submitted
  1. Characterizing NIP henselian fields, with Franziska Jahnke. Submitted, 2022. arXiv:1911.00309 [math.LO]
  2. Axiomatizing the existential theory of $\mathbb{F}_{q}(\!(t)\!)$, with Philip Dittmann and Arno Fehm. Submitted, 2022. arXiv:2205.05438 [math.LO]
notes and other publications
  1. An elementary geometric approach to linear prediction, with Amery Gration. Manuscript, 2021.
  2. The mathematical structure of classical mechanics, with Amery Gration. Manuscript, 2019.
  3. One-dimensional $F$-definable sets in $F(\!(t)\!)$. Manuscript, 2018. arXiv:1503.05803 [math.LO]

talks

short courses
  1. Introduction to logic: first-order and categorical (slides, handout, questions), ALGAR 2022, Antwerp, September 2022.
  2. Shelah’s Conjecture and Johnson’s Theorem (slides), ECIMT-2022, Münster, March 2022.
  3. Les $p$-adiques via la théorie des modèles (slides, questions), École d'été 2021 du GDR JC2A, Paris, August 2021.
  4. Diophantine subsets of henselian fields (slides, questions), ALGAR 2020: Valuations, quadratic forms and definability, Antwerp, July 2020.
conference talks and seminars (a selection)
  1. Asymptotic classes of finite structures and their ultralimits (slides, abstract), DaLFI 2022, IRIF, Paris, November 2022.
  2. Cohen rings and existential AKE principles (abstract), Théorie des Modèles et Groupes, IMJ-PRG, Paris, November 2022.
  3. Generalized measurable structures (slides, handout), MWMT2022, Chicago, October 2022.
  4. Existential AKE principles for henselian valued fields (video), Decidability, definability and computability in number theory, Part 2, MSRI, July 2022.
  5. Henselian discretely valued fields and existential AKE principles (slides), Logic Colloquium 2022, Reykjavik, June 2022.
  6. Shelah’s Conjecture and Johnson’s Theorem [after Will Johnson] (notes), Séminaire N. Bourbaki, IHP, Paris, November 2021.
  7. Diophantine subsets and subfields of large fields (slides), SMTH2, June 2021.
  8. Some existential theories of fields (slides), Illinois, April 2021.
  9. Hilbert's Tenth Problem for Power Series (abstract), IMA Early Career Mathematicians' Conference, Lancaster, March 2019.
  10. Research presentation (slides), Galway, October 2017.
  11. Viewing free homogeneous structures and bilinear forms as 'generalised measurable' (abstract), Logic Seminar, Manchester, October 2016.
  12. Measure and dimension in model theory (slides), British Logic Colloquium, Edinburgh, September 2016.
  13. Measure and dimension in model theory (abstract), British Logic Colloquium, Edinburgh, September 2016.
  14. Generalized measurable structures with the Tree Property (slides), Logic Colloquium, Leeds, August 2016.
  15. Generalized measurable structures with the Tree Property (abstract), Logic Colloquium, Leeds, August 2016.
  16. Dimension and dividing in generalised measurable structures (abstract), Workshop on Finite and Pseudofinite Structures, Leeds, July 2016.
  17. Characterizing Diophantine henselian valuation rings and valuation ideals (slides), AMS Rutgers, November 2015.

meetings, conferences, workshops

A selection of meetings that I have attended or will attend.

research students

PhD
  • Piotr Szewczyk — co-supervised with Arno Fehm, TU Dresden.
  • Paulo Andrés Soto Moreno.
Master/Memoire
  • Paulo Andrés Soto Moreno. Inflators and diffeo-valued fields, 2022.
If you're interested in studying with me, please contact me.

useful links