Liste des citations dans Numdam pour : 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

Rendiconti del Seminario Matematico della Università di Padova, Tome 56 (1976), p. 123-141 / 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

Ferro, Ruggero

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

ω-satisfiability, ω-consistency property, and the downward Lowenheim Skolem theorem for L k,k
Rendiconti del Seminario Matematico della Università di Padova, Tome 68 (1982), p. 7-19 / Harvested from Numdam

Ferro, Ruggero

An analysis of Karp’s interpolation theorem and the notion of k-consistency property
Rendiconti del Seminario Matematico della Università di Padova, Tome 65 (1981), p. 111-118 / Harvested from Numdam