We give a brief survey of the results on structures \(\Sigma\)-definable over \(HF(R)\) and present some further results on the number of non-\(\Sigma\)-isomorphic presentations of the ordered field R of reals and of its ordering. In particular, we will discuss a question, whether is it possible to use R to 'improve' itself by creating its new classically isomorphic \(\Sigma\)-copy.
On Sigma-definability of structures over the reals
28.06.2012 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25