Trees, subtrees and order types

Annals of Mathematical Logic 20 (3):233 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(81)90005-x

Links

PhilArchive



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

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

Review: Stevo Todorcevic, Trees, Subtrees and Order Types; Stevo Todorcevic, Aronszajn Trees and Partitions. [REVIEW]Dan Velleman - 1989 - Journal of Symbolic Logic 54 (2):638-639.
Trees, Subtrees and Order Types.Dan Velleman - 1989 - Journal of Symbolic Logic 54 (2):638-639.
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.
Essential Kurepa trees versus essential Jech–Kunen trees.Renling Jin & Saharon Shelah - 1994 - Annals of Pure and Applied Logic 69 (1):107-131.
Borel partitions of infinite subtrees of a perfect tree.A. Louveau, S. Shelah & B. Veličković - 1993 - Annals of Pure and Applied Logic 63 (3):271-281.
Borel partitions of infinite subtrees of a perfect tree.A. Louveau, S. Shelah & B. Velikovi - 1993 - Annals of Pure and Applied Logic 63 (3):271-281.
Dense subtrees in complete Boolean algebras.Bernhard König - 2006 - Mathematical Logic Quarterly 52 (3):283-287.
The differences between Kurepa trees and Jech-Kunen trees.Renling Jin - 1993 - Archive for Mathematical Logic 32 (5):369-379.
Combinatorial problems on trees: partitions, DELTA-systems and large free subtrees.M. Rubin - 1987 - Annals of Pure and Applied Logic 33 (1):43.
Completions of PA: Models and Enumerations of Representable Sets.Alex M. McAllister - 1998 - Journal of Symbolic Logic 63 (3):1063-1082.
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.
Uniformization, Choice Functions and Well Orders in the Class of Trees.Shmuel Lifsches & Saharon Shelah - 1996 - Journal of Symbolic Logic 61 (3):1206-1227.
Cumulative Higher-Order Logic as a Foundation for Set Theory.Wolfgang Degen & Jan Johannsen - 2000 - Mathematical Logic Quarterly 46 (2):147-170.
Non-well-founded trees in categories.Benno van den Berg & Federico De Marchi - 2007 - Annals of Pure and Applied Logic 146 (1):40-59.
A Δ22 well-order of the reals and incompactness of L.Uri Abraham & Saharon Shelah - 1993 - Annals of Pure and Applied Logic 59 (1):1-32.

Analytics

Added to PP
2014-01-17

Downloads
20 (#749,846)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A microscopic approach to Souslin-tree constructions, Part I.Ari Meir Brodsky & Assaf Rinot - 2017 - Annals of Pure and Applied Logic 168 (11):1949-2007.
Simplified morasses with linear limits.Dan Velleman - 1984 - Journal of Symbolic Logic 49 (4):1001-1021.
Semimorasses and nonreflection at singular cardinals.Piotr Koszmider - 1995 - Annals of Pure and Applied Logic 72 (1):1-23.
Morasses, square and forcing axioms.Charles Morgan - 1996 - Annals of Pure and Applied Logic 80 (2):139-163.
Local coherence.Bernhard König - 2003 - Annals of Pure and Applied Logic 124 (1-3):107-139.

View all 8 citations / Add more citations

References found in this work

Lectures in set theory.Thomas J. Jech - 1971 - New York,: Springer Verlag.
Saturated ideals.Kenneth Kunen - 1978 - Journal of Symbolic Logic 43 (1):65-76.
A new class of order types.James E. Baumgartner - 1976 - Annals of Mathematical Logic 9 (3):187-222.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.

View all 11 references / Add more references