Sh:162

• Hart, B. T., Laflamme, C., & Shelah, S. (1993). Models with second order properties. V. A general principle. Ann. Pure Appl. Logic, 64(2), 169–194. arXiv: math/9311211 DOI: 10.1016/0168-0072(93)90033-A MR: 1241253
• Abstract:
  We present a general framework for carrying out some constructions. The unifying factor is a combinatorial principle which we present in terms of a game in which the first player challenges the second player to carry out constructions which would be much easier in a generic extension of the universe, and the second player cheats with the aid of \Diamond. Section 1 contains an axiomatic framework suitable for the description of a number of related constructions, and the statement of the main theorem in terms of this framework. In §2 we illustrate the use of our combinatorial principle. The proof of the main result is then carried out in §§3-5.
• Version 1993-10-19_10 (36p) published version (26p)

@article{Sh:162,
 author = {Hart, Bradd T. and Laflamme, Claude and Shelah, Saharon},
 title = {{Models with second order properties. V. A general principle}},
 journal = {Ann. Pure Appl. Logic},
 fjournal = {Annals of Pure and Applied Logic},
 volume = {64},
 number = {2},
 year = {1993},
 pages = {169--194},
 issn = {0168-0072},
 mrnumber = {1241253},
 mrclass = {03C80 (03C35 03E05 03E65 06A07 90D44)},
 doi = {10.1016/0168-0072(93)90033-A},
 note = {\href{https://arxiv.org/abs/math/9311211}{arXiv: math/9311211}},
 arxiv_number = {math/9311211}
}