research interests

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

Keywords: Mathematical logic, model theory, applications of model theory to algebra and number theory, Diophantine equations, asymptotic classes, measurable structures, pseudofinite structures, valued fields, henselianity, definable henselian valuations, Hilbert's Tenth Problem, arithmetic, homogeneous structures, infinite graphs


research articles

thesis
  1. Sylvy Anscombe. Definability in Henselian Fields. DPhil Thesis, University of Oxford, 2013. Supervised by Dr Jochen Koenigsmann.
published
  1. Sylvy Anscombe and Jochen Koenigsmann. An existential $\emptyset$-definition of $\mathbb{F}_{q}[[t]]$ in $\mathbb{F}_{q}((t))$. Journal of Symbolic Logic, 79:1336–1343, 2014.
  2. Sylvy Anscombe and Arno Fehm. The existential theory of equicharacteristic henselian valued fields. Algebra & Number Theory, 10-3:665–683, 2016.
  3. Sylvy Anscombe and Franz-Viktor Kuhlmann. Notes on extremal and tame valued fields. Journal of Symbolic Logic, 81:400–416, 2016.
  4. Sylvy Anscombe and Arno Fehm. Characterizing diophantine henselian valuation rings and valuation ideals. Proceedings of the London Mathematical Society, 115:293–322, 2017.
  5. Sylvy Anscombe and Franziska Jahnke. Henselianity in the language of rings. Annals of Pure and Applied Logic, 169(9):872–895, 2018.
submitted
  1. Sylvy Anscombe. Existentially generated subfields of large fields. Manuscript, 2017.
  2. Sylvy Anscombe and Amery Gration. The mathematical structure of non-relativistic classical mechanics. Manuscript, 2018.
notes
  1. Sylvy Anscombe. One-dimensional $F$-definable sets in $F((t))$. Manuscript, 2015.
  2. Sylvy Anscombe. Free homogeneous structures are generalised measurable. Manuscript, 2016.
in preparation
  1. Sylvy Anscombe, Dugald Macpherson, Charles Steinhorn, and Daniel Wolf. Multidimensional asymptotic classes and generalised measurable structures. Manuscript, 2018.
  2. Sylvy Anscombe and Charlotte Kestner. The model theory of bilinear forms. Manuscript, 2018.
  3. Sylvy Anscombe and Franziska Jahnke. Dreaming about NIP fields. Manuscript, 2018.


talks and meetings

slides, notes, abstracts, and posters
Here are various slides, notes, and abstracts of talks, as well as one or two posters.
  1. Questions of definability in fields of formal power series. Talk, Leeds, 2010.
  2. Existential definability in t-henselian fields. Poster, Leeds, 2011.
  3. Aspects of definability in henselian fields of positive characteristic. Talk, Konstanz, 2011.
  4. $F$-definability in $F((t))$. Talk, Oxford, 2012.
  5. Definable henselian valuations. Poster, Edinburgh, 2014.
  6. Free homogeneous structures are generalised measurable. Talk, Durham, 2015.
  7. Characterizing Diophantine henselian valuation rings and valuation ideals. Talk, AMS Rutgers, Nov 2015.
  8. Dimension and dividing in generalised measurable structures. Abstract, Workshop on Finite and Pseudofinite Structures, Leeds, Jul 2016.
  9. Generalized measurable structures with the Tree Property. Abstract, Logic Colloquium, Leeds, Aug 2016.
  10. Generalized measurable structures with the Tree Property. Slides, Logic Colloquium, Leeds, Aug 2016.
  11. Measure and dimension in model theory. Abstract, British Logic Colloquium, Edinburgh, Sep 2016.
  12. Measure and dimension in model theory. Slides, British Logic Colloquium, Edinburgh, Sep 2016.
  13. Viewing free homogeneous structures and bilinear forms as 'generalised measurable'. Abstract, Logic Seminar, Manchester, Oct 2016.
  14. Research presentation. Slides, Galway, Oct 2017.
meetings, conferences, workshops
Here are some links to meetings that I have attended or will attend.

online tools

  • my articles on the arXiv
  • my page on academia.edu
  • my page on Google Scholar
  • my page on ORCiD
  • my page on Mathematics Genealogy Project
  • useful links

  • Model Theory group, UCLan
  • Mathematics group, UCLan
  • Jeremiah Horrocks Institute, University of Central Lancashire
  • University of Central Lancashire
  • Logic@Leeds, University of Leeds
  • School of Mathematics, University of Leeds
  • Mathematical Logic research group, University of Oxford
  • The Mathematical Institute, University of Oxford
  • The London Mathematical Society
  • The British Logic Colloquium
  • The Association for Symbolic Logic
  • arXiv
  • MathSciNet
  • AMS Collaboration Distance
  • Mathematics Genealogy Project
  • Free Mathematics ebooks