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

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