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

  • Laura Phillips

Student thesis: Phd

Abstract

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

Keywords

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

Cite this

Documents

'