TY  - JOUR
AU  - Ferro, Ruggero
TI  - 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
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1976
SP  - 123
EP  - 141
VL  - 55
PB  - Seminario Matematico of the University of Padua
UR  - http://archive.numdam.org/item/RSMUP_1976__55__123_0/
LA  - en
ID  - RSMUP_1976__55__123_0
ER  -