# 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.
• 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]}
}