This page is part of an old (pre-2020) version of the archive of Saharon Shelah's mathematical papers.
It will not be updated any more.
You might want to use the new site instead.

Models with second order properties, V: A General principle

by Hart and Laflamme and Shelah. [HLSh:162]
Annals Pure and Applied Logic, 1993
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 section 2 we illustrate the use of our combinatorial principle. The proof of the main result is then carried out in sections 3-5.


Back to the list of publications