Abstract
"See full text for abstract."Date of Award | 1 Aug 2013 |
---|---|
Original language | English |
Awarding Institution |
|
Supervisor | Marcus Tressl (Supervisor) & Michael Prest (Supervisor) |
Keywords
- decidability
- Feferman-Vaught technique
- real closed ring
- continuous definable choice function