English

Chains of Baire class 1 functions and various notions of special trees

Logic 2011-09-29 v2 Classical Analysis and ODEs General Topology

Abstract

Following Laczkovich we consider the partially ordered set \iB1(\RR)\iB_1(\RR) of Baire class 1 functions endowed with the pointwise order, and investigate the order types of the linearly ordered subsets. Answering a question of Komj\'ath and Kunen we show (in ZFCZFC) that special Aronszajn lines are embeddable into \iB1(\RR)\iB_1(\RR). We also show that under Martin's Axiom a linearly ordered set L\mathbb{L} with L<2ω|\mathbb{L}|<2^\omega is embeddable into \iB1(\RR)\iB_1(\RR) iff L\mathbb{L} does not contain a copy of ω1\omega_1 or ω1\omega_1^*. We present a ZFCZFC-example of a linear order of size 2ω2^\omega showing that this characterisation is not valid for orders of size continuum. These results are obtained using the notion of a compact-special tree; that is, a tree that is embeddable into the class of compact subsets of the reals partially ordered under reverse inclusion. We investigate how this notion is related to the well-known notion of an \RR\RR-special tree and also to some other notions of specialness.

Keywords

Cite

@article{arxiv.1109.5283,
  title  = {Chains of Baire class 1 functions and various notions of special trees},
  author = {Márton Elekes and Juris Steprāns},
  journal= {arXiv preprint arXiv:1109.5283},
  year   = {2011}
}