Strong Maehara and Takeuti type interpolation theorems for $L_{k,k}^{2+}$

Ferro, Ruggero

Rendiconti del Seminario Matematico della Università di Padova, Volume 86 (1991) p. 57-73

Strong Maehara and Takeuti type interpolation theorems for $L_{k,k}^{2+}$

Ferro, Ruggero

Rendiconti del Seminario Matematico della Università di Padova, Volume 85 (1991) p. 291-307

$\lambda$-satisfiability, $\lambda$-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 $\lambda$

Ferro, Ruggero

Rendiconti del Seminario Matematico della Università di Padova, Volume 80 (1988) p. 1-16

Una nota sulla nozione di molto maggiore

Ferro, Ruggero

Rendiconti del Seminario Matematico della Università di Padova, Volume 71 (1984) p. 223-227

Seq-consistency property and interpolation theorems

Ferro, Ruggero

Rendiconti del Seminario Matematico della Università di Padova, Volume 70 (1983) p. 133-145

$\omega$-satisfiability, $\omega$-consistency property, and the downward Lowenheim Skolem theorem for $L_{k,k}$

Ferro, Ruggero

Rendiconti del Seminario Matematico della Università di Padova, Volume 66 (1982) p. 7-19

An analysis of Karp’s interpolation theorem and the notion of $k$-consistency property

Ferro, Ruggero

Rendiconti del Seminario Matematico della Università di Padova, Volume 65 (1981) p. 111-118

Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality

Ferro, Ruggero

Rendiconti del Seminario Matematico della Università di Padova, Volume 55 (1976) p. 123-141

Limits to some interpolation theorems

Ferro, Ruggero

Rendiconti del Seminario Matematico della Università di Padova, Volume 54 (1975) p. 201-213