Recherche et téléchargement d’archives de revues mathématiques numérisées
Ferro, Ruggero
Seq-consistency property and interpolation theorems. Rendiconti del Seminario Matematico della Università di Padova, 70 (1983), p. 133-145
Notice complète | Texte intégral djvu | pdf | Analyses MR 742115 | Zbl 0534.03014 | 4 citations dans Numdam
Ferro, Ruggero
$\omega$-satisfiability, $\omega$-consistency property, and the downward Lowenheim Skolem theorem for $L_{k,k}$. Rendiconti del Seminario Matematico della Università di Padova, 66 (1982), p. 7-19
Notice complète | Texte intégral djvu | pdf | Analyses Zbl 0531.03018 | 1 citation dans Numdam