Sequences with increasing subsequence

Abstract

We study analytic and Borel subsets defined similarily to the old example of analytic complete set given by Luzin. Luzin's example, which is essentially a subset of the Baire space, is based on the natural partial order on naturals, i.e. division. It consists of sequences which contain increasing subsequence in given order. We consider a variety of sets defined in a similar way. Some of them occurs to be Borel subsets of the Baire space, while others are analytic complete, hence not Borel. In particular, we show that an analogon of Luzin example based on the natural linear order on rationals is analytic complete. We also characterise all countable linear orders having such property.