Models with second order properties V: A general principle

Annals of Pure and Applied Logic 64 (2):169-194 (1993)
  Copy   BIBTEX

Abstract

Shelah, S., C. Laflamme and B. Hart, Models with second order properties V: A general principle, Annals of Pure and Applied Logic 64 169–194. We present a general framework for carrying out the construction in [2-10] and others of the same type. 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 ♦. Section 1 contains an axiomatic framework suitable for the description of a number of related constructions, and the statement of the main theorem 1.9 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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,480

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Enabling Relations As a Way to Transfer Causal Sufficiency.Manuel Liz Gutiérrez - 2007 - The Proceedings of the Twenty-First World Congress of Philosophy 5:87-93.
The Fundamental Theorem of World Theory.Christopher Menzel & Edward N. Zalta - 2014 - Journal of Philosophical Logic 43:333-363.
Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.
Guards, Bounds, and Generalized Semantics.Johan van Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
Is General Relativity Generally Relativistic?Roger Jones - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:363 - 381.
The Law of Non-Contradiction as a Metaphysical Principle.Tuomas E. Tahko - 2009 - Australasian Journal of Logic 7:32-47.

Analytics

Added to PP
2014-01-16

Downloads
28 (#413,224)

6 months
1 (#417,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Long Chain of P-Points.Borisa Kuzeljevic & Dilip Raghavan - 2018 - Journal of Mathematical Logic 18 (1):1850004.
Possible PCF Algebras.Thomas Jech & Saharon Shelah - 1996 - Journal of Symbolic Logic 61 (1):313-317.

Add more citations