Da Tarski a Hrushovski: Nascita e splendori della Teoria dei Modelli
-Boolean spectrum, and stability
Si dimostra che la conoscenza delle algebre di Boole dei definibili di modelli di cardinità di una teoria elementare è sufficiente per decidere il suo tipo di stabilità.
Questioni di teoria dei modelli per linguaggi universali positivi
In this paper some model theoretical notions for universal positive languages are investigated. In §i and §2 we shall study the lattice of formulas, maximal and prime theories, and correlations between them. In §3, §4 we shall define some kind of morphisms and we shall characterize theories with quantifier elimination.
-Boolean spectrum, and stability
Si dimostra che la conoscenza delle algebre di Boole dei definibili di modelli di cardinità di una teoria elementare è sufficiente per decidere il suo tipo di stabilità.
Page 1