Tipo di tesi
Tesi di laurea magistrale
Titolo
O-MINIMALITY OF DEFINABLE FIELDS
Corso di studi
MATEMATICA
Riassunto (Italiano)
In questa tesi presentiamo un risultato in cui riusciamo a provare che una famiglia di strutture del primo-ordine sono o-minimali. La classe di strutture considerata è quella di campi definibilmente completi nel linguaggio dei campi ordinati espanso con una famiglia di simboli di operazioni interpretate da funzioni pfaffiane. Il risultato in particolare implica che i modelli della teoria dei campi ordinati con l'esponenziale sono o-minimali del primo ordine.
The thesis presents a result that proves that a certain class of first-order structures is first-order o-minimal. This class is made of definably complete fields in a language that expands the one of ordered fields by operation symbols interpreted by pfaffian functions. The results proves as a special case that the real fields expanded with the exponential operation are first-order o-minimal structures.
