Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Arithmetical Complexity of Dimension and Randomness   Constructive dimension and constructive strong dimension are effectivizations
of the Hausdorff and packing dimensions, respectively. Each infinite binary
sequence A is assigned a dimension dim(A) in [0,1] and a strong dimension
Dim(A) in [0,1].
  Let DIM^alpha and DIMstr^alpha be the classes of all sequences of dimension
alpha and of strong dimension alpha, respectively. We show that DIM^0 is
properly Pi^0_2, and that for all Delta^0_2-computable alpha in (0,1],
DIM^alpha is properly Pi^0_3.
  To classify the strong dimension classes, we use a more powerful effective
Borel hierarchy where a co-enumerable predicate is used rather than a
enumerable predicate in the definition of the Sigma^0_1 level. For all
Delta^0_2-computable alpha in [0,1), we show that DIMstr^alpha is properly in
the Pi^0_3 level of this hierarchy. We show that DIMstr^1 is properly in the
Pi^0_2 level of this hierarchy.
  We also prove that the class of Schnorr random sequences and the class of
computably random sequences are properly Pi^0_3.

26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
10
The categories of this paper are: q-bio
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
11
The categories of this paper are: hep-lat
25
The categories of this paper are: patt-sol
17
The categories of this paper are: q-fin
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
13
The categories of this paper are: quant-ph
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
34
The categories of this paper are: chem-ph