Arithmetical interpretation of the theory of the real exponential field
Wann
Montag, 6. Februar 2017
15:15 bis 16:45 Uhr
Wo
F 426
Veranstaltet von
Vortragende Person/Vortragende Personen:
Alessandro Berarducci (Universita di Pisa)
Diese Veranstaltung ist Teil der Veranstaltungsreihe „Oberseminar Modelltheorie“.
Abstract:
We show that the ring of integers interprets the prime model of the complete theory T(exp) of the real exponential eld. Thus, in particular, true arithmetic interprets T(exp). We also show that every element of the prime model is a recursive real number. More generally, the set of all recursive real numbers is a model of T(exp).
(Work in progress with A. Fornasiero and V. Mantova.)