On the (semi)lattices induced by continuous reducibilities
classification
💻 cs.LO
keywords
continuousmathematicsreducibilitiesseveralsupremaanalysisapplicationscharacteristic
read the original abstract
Continuous reducibilities are a proven tool in computable analysis, and have applications in other fields such as constructive mathematics or reverse mathematics. We study the order-theoretic properties of several variants of the two most important definitions, and especially introduce suprema for them. The suprema are shown to commutate with several characteristic numbers.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.