AI Chat AI Image Generator AI Video Text to Speech

Searching for an analogue of ATR in the Weihrauch lattice

12/04/2018

∙

by Takayuki Kihara, et al.

∙

∙

There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far ATR has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated.

Takayuki Kihara
11 publications
Alberto Marcone
3 publications
Arno Pauly
17 publications

page 1

page 2

page 3

page 4

research

∙ 02/25/2020

Degrees of incomputability, realizability and constructive reverse mathematics

There is a way of assigning a realizability notion to each degree of inc...

0 Takayuki Kihara, et al. ∙

research

∙ 08/15/2019

Lifting countable to uncountable mathematics

Ordinary, i.e.non-set theoretic mathematics is generally formalised in s...

0 Sam Sanders, et al. ∙

research

∙ 07/10/2019

Evolutionary techniques in lattice sieving algorithms

Lattice-based cryptography has recently emerged as a prominent candidate...

0 Thijs Laarhoven, et al. ∙

research

∙ 01/07/2023

On the Weihrauch degree of the additive Ramsey theorem

We characterize the strength, in terms of Weihrauch degrees, of certain ...

0 Arno Pauly, et al. ∙

research

∙ 03/09/2020

The open and clopen Ramsey theorems in the Weihrauch lattice

We investigate the uniform computational content of the open and clopen ...

0 Alberto Marcone, et al. ∙

research

∙ 01/25/2023

On the Mathematics of Diffusion Models

This paper attempts to present the stochastic differential equations of ...

0 David McAllester, et al. ∙