Geodesic
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
Rendiconti del Seminario Matematico della Università di Padova, Tome 55 (1976), pp. 123-141

Voir la notice de l'article provenant de la source Numdam

MR Zbl 
Ferro, Ruggero. 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. Rendiconti del Seminario Matematico della Università di Padova, Tome 55 (1976), pp. 123-141. http://geodesic.mathdoc.fr/item/RSMUP_1976__55__123_0/
@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},
     year = {1976},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {55},
     mrnumber = {460065},
     zbl = {0365.02006},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RSMUP_1976__55__123_0/}
}
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://geodesic.mathdoc.fr/item/RSMUP_1976__55__123_0/
LA  - en
ID  - RSMUP_1976__55__123_0
ER  - 
%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://geodesic.mathdoc.fr/item/RSMUP_1976__55__123_0/
%G en
%F RSMUP_1976__55__123_0