Rungs and trees

Journal of Symbolic Logic 48 (3):847-863 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Trees.Thomas J. Jech - 1971 - Journal of Symbolic Logic 36 (1):1-14.
Iteration Trees.D. A. Martin & J. R. Steel - 2002 - Bulletin of Symbolic Logic 8 (4):545-546.
Trees and -subsets of ω1ω1.Alan Mekler & Jouko Väänänen - 1993 - Journal of Symbolic Logic 58 (3):1052-1070.
Trees and nest structures.Raymond M. Smullyan - 1966 - Journal of Symbolic Logic 31 (3):303-321.
Bases for Aronszajn Trees.James E. Baumgartner - 2000 - Bulletin of Symbolic Logic 6 (4):497-498.
REVIEWS-Iteration trees.D. Martin, J. Steel & William Mitchell - 2002 - Bulletin of Symbolic Logic 8 (4):545-545.

Analytics

Added to PP
2009-01-28

Downloads
11 (#1,145,893)

6 months
4 (#1,004,582)

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

[product]¹2-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2):75.
Π12-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.

Add more references