Models with second order properties, V: A General principle
| dc.creator | Hart, Bradd | |
| dc.creator | Laflamme, Claude | |
| dc.creator | Shelah, Saharon | |
| dc.date | 1993-11-15 | |
| dc.date.accessioned | 2026-07-07T09:15:00Z | |
| dc.date.available | 2026-07-07T09:15:00Z | |
| dc.description | 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. | |
| dc.identifier | https://arxiv.org/abs/math/9311211 | |
| dc.identifier | http://arxiv.org/abs/math/9311211 | |
| dc.identifier | Ann. Pure Appl. Logic 64 (1993), 169--194 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/152881 | |
| dc.subject | Logic | |
| dc.title | Models with second order properties, V: A General principle | |
| dc.type | text |