Toggle navigation
Revues
Livres
Sources
français
English
Tout
Tout
Auteur
Titre
Bibliographie
Inclure les e-prints dans la recherche (arXiv, HAL)
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Plein texte
Liste des citations dans Numdam pour :
Seq-consistency property and interpolation theorems
Rendiconti del Seminario Matematico della Università di Padova,
Tome 70
(1983),
p. 133-145
/ Harvested from
Numdam
Ferro, Ruggero
Strong Maehara and Takeuti type interpolation theorems for
L
k
,
k
2
+
Rendiconti del Seminario Matematico della Università di Padova,
Tome 86
(1991),
p. 291-307
/ Harvested from
Numdam
Ferro, Ruggero
Strong Maehara and Takeuti type interpolation theorems for
L
k
,
k
2
+
Rendiconti del Seminario Matematico della Università di Padova,
Tome 86
(1991),
p. 57-73
/ Harvested from
Numdam
Baratella, Stefano
Karp's interpolation theorem for some classes of infinitary languages
Rendiconti del Seminario Matematico della Università di Padova,
Tome 82
(1989),
p. 9-23
/ Harvested from
Numdam
Ferro, Ruggero
λ
-satisfiability,
λ
-consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for
L
k
,
k
with
k
a strong limit cardinal of cofinality
λ
Rendiconti del Seminario Matematico della Università di Padova,
Tome 80
(1988),
p. 1-16
/ Harvested from
Numdam