Pith. sign in

REVIEW 1 cited by

Sequences with increasing subsequence

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2305.11333 v1 pith:IKKHVBLP submitted 2023-05-18 math.GN

Sequences with increasing subsequence

classification math.GN
keywords analyticborelcompleteexampleluzinorderbairedefined
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original 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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Snowveil: A Framework for Decentralised Preference Discovery

    cs.GT 2025-12 reject novelty 6.0

    Snowveil is a gossip-based decentralized preference aggregation protocol claiming almost-sure finite-time convergence and O(n) expected convergence time using a Borda-plurality rule.