# Sh:74

- Shelah, S. (1978).
*Appendix to: “Models with second-order properties. II. Trees with no undefined branches” (Ann. Math. Logic 14 (1978), no. 1, 73–87)*. Ann. Math. Logic,**14**, 223–226. DOI: 10.1016/0003-4843(78)90017-7 MR: 506531

See [Sh:E28] -
Abstract:

We know, [Sh:8] that two cardinal transfer and compactness theorem rely on so called identities. While the set of identities of pairs like (\beth_\omega,(\kappa) are clear from the proof using indiscernibles. See more in [Sh:E17].this is was not clear for the gap one case, in particular (\aleph_1, \aleph_ 0).. Those is solved here. That is we characterize the set of identities for this case.

- published version (4p)

Bib entry

@article{Sh:74, author = {Shelah, Saharon}, title = {{Appendix to: ``Models with second-order properties. II. Trees with no undefined branches'' (Ann. Math. Logic 14 (1978), no. 1, 73--87)}}, journal = {Ann. Math. Logic}, fjournal = {Annals of Mathematical Logic}, volume = {14}, year = {1978}, pages = {223--226}, issn = {0003-4843}, mrnumber = {506531}, mrclass = {03C85}, doi = {10.1016/0003-4843(78)90017-7}, referred_from_entry = {See [Sh:E28]} }