@article{RSMUP_1976__55__123_0,
     author = {Ferro, Ruggero},
     title = {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},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {123--141},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {55},
     year = {1976},
     mrnumber = {460065},
     zbl = {0365.02006},
     language = {en},
     url = {http://archive.numdam.org/item/RSMUP_1976__55__123_0/}
}