%0 Journal Article
%A Ferro, Ruggero
%T 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
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1976
%P 123-141
%V 55
%I Seminario Matematico of the University of Padua
%U http://archive.numdam.org/item/RSMUP_1976__55__123_0/
%G en
%F RSMUP_1976__55__123_0