Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Effectivity in Mochizuki's work on the $abc$-conjecture   This note outlines a constructive proof of a proposition in Mochizuki's paper
"Arithmetic elliptic curves in general position," making a direct use of
computable non-critical Belyi maps to effectively reduce the full
$abc$-conjecture to a restricted form. Such a reduction means that an effective
$abc$-theorem is implied by Theorem 1.10 of Mochizuki's final IUT paper
("Inter-universal Teichmuller theory IV: log-volume computations and
set-theoretic foundations").

23
The categories of this paper are: solv-int
14
The categories of this paper are: math-ph
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
7
The categories of this paper are: hep-th
24
The categories of this paper are: dg-ga
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
22
The categories of this paper are: chao-dyn
37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
5
The categories of this paper are: gr-qc