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)

@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]}
}