RINGS OF SEMI-ALGEBRAIC FUNCTIONS ON THE LINE

  • James Dixon

Student thesis: Phd

Abstract

"See full text for abstract."
Date of Award1 Aug 2013
Original languageEnglish
Awarding Institution
  • The University of Manchester
SupervisorMarcus Tressl (Supervisor) & Michael Prest (Supervisor)

Keywords

  • decidability
  • Feferman-Vaught technique
  • real closed ring
  • continuous definable choice function

Cite this

'