Observations about Scott and Karp trees

Annals of Pure and Applied Logic 76 (3):201-230 (1995)
  Copy   BIBTEX

Abstract

Hyttinen and Väänänen study extensively the so-called Scott and Karp trees. Their paper leaves some open interesting questions:1. Are Scott trees closed under infimums?2. Are Karp trees closed under infimums?3. Does every Karp tree contain a subtree of small cardinality which is itself also a Karp tree?The present article addresses these questions. It turns out that there are counterexamples dictating a negative answer to and . The answer to question , however, is independent of the standard ZFC axioms of set theory provided that the existence of a strongly compact cardinal is consistent

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,674

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

On Scott and Karp trees of uncountable models.Tapani Hyttinen & Jouko Väänänen - 1990 - Journal of Symbolic Logic 55 (3):897-908.
A first-order axiomatization of the theory of finite trees.Rolf Backofen, James Rogers & K. Vijay-Shanker - 1995 - Journal of Logic, Language and Information 4 (1):5-39.
Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.
Bounded Scott Set Saturation.Alex M. McAllister - 2002 - Mathematical Logic Quarterly 48 (2):245-259.
Trees of life: a visual history of evolution.Theodore W. Pietsch - 2012 - Baltimore: Johns Hopkins University Press.
Gregory trees, the continuum, and Martin's axiom.Kenneth Kunen & Dilip Raghavan - 2009 - Journal of Symbolic Logic 74 (2):712-720.
Analytic cut trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.

Analytics

Added to PP
2014-01-16

Downloads
8 (#1,336,005)

6 months
4 (#845,587)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The core model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.
Adding a closed unbounded set.J. E. Baumgartner, L. A. Harrington & E. M. Kleinberg - 1976 - Journal of Symbolic Logic 41 (2):481-482.
On Scott and Karp trees of uncountable models.Tapani Hyttinen & Jouko Väänänen - 1990 - Journal of Symbolic Logic 55 (3):897-908.

Add more references