Miodrag Sokic

Learn More
Weprove a finitary version of theHalpern–Läuchli Theorem.Wealso provepartition results about strong subtrees. Both results give estimates on the height of trees. © 2010 Elsevier B.V. All rights(More)
We consider F , the class of …nite unary functions, i.e. the class of pairs of the form (A; f) where A is a …nite set and f is an unary function on A. We also consider two subclasses of F : B and Fk(More)