ℵ1-trees

Annals of Mathematical Logic 13 (3):267-330 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1016/s0003-4843(78)80002-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

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

Through your library

My notes

Similar books and articles

Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.
Results on the Generic Kurepa Hypothesis.R. B. Jensen & K. Schlechta - 1990 - Archive for Mathematical Logic 30 (1):13-27.
Tree Cultures: The Place of Trees and Trees in Their Place.Owain Jones & Paul Cloke - 2002 - Routledge.
On Scott and Karp trees of uncountable models.Tapani Hyttinen & Jouko Väänänen - 1990 - Journal of Symbolic Logic 55 (3):897-908.
Computable Trees of Scott Rank [image] , and Computable Approximation.Wesley Calvert, Julia F. Knight & Jessica Millar - 2006 - Journal of Symbolic Logic 71 (1):283 - 298.
Trees of life: a visual history of evolution.Theodore W. Pietsch - 2012 - Baltimore: Johns Hopkins University Press.
Computable Trees of Scott Rank $\omega _{1}^{\mathit{CK}}$ , and Computable Approximation.Wesley Calvert, Julia F. Knight & Jessica Millar - 2006 - Journal of Symbolic Logic 71 (1):283 - 298.
Uniformization, choice functions and well orders in the class of trees.Shmuel Lifsches & Saharon Shelah - 1996 - Journal of Symbolic Logic 61 (4):1206-1227.
Classes and theories of trees associated with a class of linear orders.Valentin Goranko & Ruaan Kellerman - 2011 - Logic Journal of the IGPL 19 (1):217-232.
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.
Congruence of morphological and molecular phylogenies.Davide Pisani, Michael J. Benton & Mark Wilkinson - 2007 - Acta Biotheoretica 55 (3):269-281.
Reversible Adaptive Trees.Yannick L. Kergosien - 2013 - Acta Biotheoretica 61 (3):413-424.
Ranking and unranking algorithms for loopless generation of t-ary trees.Amin Ahmadi-adl, Abbas Nowzari-Dalini & Hayedeh Ahrabian - 2011 - Logic Journal of the IGPL 19 (1):33-43.
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.

Analytics

Added to PP
2015-08-27

Downloads
22 (#669,532)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Sacks forcing, Laver forcing, and Martin's axiom.Haim Judah, Arnold W. Miller & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):145-161.
Results on the Generic Kurepa Hypothesis.R. B. Jensen & K. Schlechta - 1990 - Archive for Mathematical Logic 30 (1):13-27.
Variations on ◊.Keith J. Devlin - 1979 - Journal of Symbolic Logic 44 (1):51 - 58.
Can a small forcing create Kurepa trees.Renling Jin & Saharon Shelah - 1997 - Annals of Pure and Applied Logic 85 (1):47-68.
Singular σ-dense trees.Avner Landver - 1992 - Journal of Symbolic Logic 57 (4):1403-1416.

View all 10 citations / Add more citations

References found in this work

Trees.Thomas J. Jech - 1971 - Journal of Symbolic Logic 36 (1):1-14.
Iterated Cohen Extensions and Souslin's Problem.R. M. Solovay & S. Tennenbaum - 1974 - Journal of Symbolic Logic 39 (2):329-330.

Add more references