2 citations · 3 across the 4 of their papers we have counts for
5 papers · 1 filter
A Feiner Look at the Intermediate Degrees
Denis R. Hirschfeldt, Asher M. Kach, Antonio Montalbán
We say that a set is if membership of in is a question, uniformly in . A set is low for -Feiner if every set that is $Δ^0_{(n)…
The determined property of Baire in reverse math
Eric P. Astor, Damir Dzhafarov, Antonio Montalbán +2
We define the notion of a determined Borel code in reverse math, and consider the principle , which states that every determined Borel set has the property of Baire. We show t…
On the structure of the Wadge degrees of BQO-valued Borel functions
Takayuki Kihara, Antonio Montalbán
In this article, we give a full description of the Wadge degrees of Borel functions from to a better quasi ordering . More precisely, for any countable ordinal $…
The uniform Martin's conjecture for many-one degrees
Takayuki Kihara, Antonio Montalbán
We study functions from reals to reals which are uniformly degree-invariant from Turing-equivalence to many-one equivalence, and compare them "on a cone." We prove that they are in…
Analytic equivalence relations satisfying hyperarithmetic-is-recursive
Antonio Montalbán
We prove, in ZF+-determinacy, that for any analytic equivalence relation , the following three statements are equivalent: (1) does not have perfectly many classes,…