Sh:5
- Shelah, S. (1970). On languages with non-homogeneous strings of quantifiers. Israel J. Math., 8, 75–79. DOI: 10.1007/BF02771553 MR: 0262064
-
Abstract:
In infinitary logics, we can consider linearly ordered though not well ordered string of quantifiers. The satisfaction relation is defined via Skolem functions. The main theorem said that such strings can be replaced by well ordered ones though the cardinality is somewhat increased. However this is fully proved for the case of anti-well ordered ones. The proofs of the full theorem in included in the author’s M,Sc. thesis or see [Sh:E40] - published version (5p)
Bib entry
@article{Sh:5, author = {Shelah, Saharon}, title = {{On languages with non-homogeneous strings of quantifiers}}, journal = {Israel J. Math.}, fjournal = {Israel Journal of Mathematics}, volume = {8}, year = {1970}, pages = {75--79}, issn = {0021-2172}, mrnumber = {0262064}, mrclass = {02.35}, doi = {10.1007/BF02771553} }