Trees and nest structures
- 2 September 1966
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 31 (3) , 303-321
- https://doi.org/10.2307/2270448
Abstract
This paper is a sequel to [1]. Our purpose is to exhibit certain basic relationships between (ordered dyadic) trees and regular nest structures. We introduce the notion of a tree being isomorphic to a nest structure, and we study some necessary and sufficient conditions for the existence of such isomorphisms. By virtue of some of our results, Kónig's lemma on infinite trees, and our fundamental lemma of [1] concerning infinite regular nest structures become intimately related — either yields an alternative proof of the other.Keywords
This publication has 3 references indexed in Scilit:
- Analytic natural deductionThe Journal of Symbolic Logic, 1965
- A UNIFYING PRINCIPAL IN QUANTIFICATION THEORYProceedings of the National Academy of Sciences, 1963
- The Foundations of Mathematics. By E. W. Beth. Pp. 741. 100s. 1959. (North Holland Publishing Co., Amsterdam)The Mathematical Gazette, 1962