# $\omega $-satisfiability, $\omega $-consistency property, and the downward Lowenheim Skolem theorem for ${L}_{k,k}$

Rendiconti del Seminario Matematico della Università di Padova (1982)

- Volume: 66, page 7-19
- ISSN: 0041-8994

## Access Full Article

top## How to cite

topFerro, Ruggero. "$\omega $-satisfiability, $\omega $-consistency property, and the downward Lowenheim Skolem theorem for $L_{k,k}$." Rendiconti del Seminario Matematico della Università di Padova 66 (1982): 7-19. <http://eudml.org/doc/107847>.

@article{Ferro1982,

author = {Ferro, Ruggero},

journal = {Rendiconti del Seminario Matematico della Università di Padova},

keywords = {infinitary languages; omega-satisfiability; omega-chains of models; consistency property; chain models},

language = {eng},

pages = {7-19},

publisher = {Seminario Matematico of the University of Padua},

title = {$\omega $-satisfiability, $\omega $-consistency property, and the downward Lowenheim Skolem theorem for $L_\{k,k\}$},

url = {http://eudml.org/doc/107847},

volume = {66},

year = {1982},

}

TY - JOUR

AU - Ferro, Ruggero

TI - $\omega $-satisfiability, $\omega $-consistency property, and the downward Lowenheim Skolem theorem for $L_{k,k}$

JO - Rendiconti del Seminario Matematico della Università di Padova

PY - 1982

PB - Seminario Matematico of the University of Padua

VL - 66

SP - 7

EP - 19

LA - eng

KW - infinitary languages; omega-satisfiability; omega-chains of models; consistency property; chain models

UR - http://eudml.org/doc/107847

ER -

## References

top- [1] E. Cunningham, Chain models: applications of consistency properties and back-and-forth techniques in infinite-quantifier languages, Infinitary Logic: in memoriam Carol Karp, Springer-Verlag, Berlin, 1975. MR476485
- [2] R. Ferro, 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, Rend. Sem. Mat. Univ. Padova, 55 (1976), pp. 121-141. Zbl0365.02006MR460065
- [3] R. Ferro, An analysis of Karp's interpolation theorem and the notion of consistency property, Rend. Sem. Univ. Padova, 65 (1981). Zbl0485.03014MR653287
- [4] C.R. Karp, Infinite quantifier languages and ω-chains of models, Proceedings of the Tarski Symposium, American Mathematical Society, Providence, 1974. Zbl0308.02016
- [5] H.J. Keisler, Model theory for infinitary logic, North Holland, Amsterdam, 1971. Zbl0222.02064

## Citations in EuDML Documents

top## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.