@article{RSMUP_1983__70__133_0,
     author = {Ferro, Ruggero},
     title = {Seq-consistency property and interpolation theorems},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {133--145},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {70},
     year = {1983},
     mrnumber = {742115},
     zbl = {0534.03014},
     language = {en},
     url = {http://www.numdam.org/item/RSMUP_1983__70__133_0/}
}