Some structures interpretable in the ring of continuous semi-algebraic functions on a curve

  • Laura Phillips

Student thesis: Phd


See full text for abstract.
Date of Award1 Aug 2015
Original languageEnglish
Awarding Institution
  • The University of Manchester
SupervisorMarcus Tressl (Supervisor) & Alex Wilkie (Supervisor)


  • Decidability
  • Model theory
  • Semi-algebraic geometry
  • Quantifier elimination

Cite this