• logica matematica
• mathematical logic
• model theory
• o-minimalita
• o-minimality
• teoria dei modelli

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.