21 citations · 43 across the 14 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020★ 1 cited
Ackermann and Goodstein go functorial
Juan P. Aguilera, Anton Freund, Michael Rathjen +1
We present variants of Goodstein's theorem that are equivalent to arithmetical comprehension and to arithmetical transfinite recursion, respectively, over a weak base theory. These…
math.LO2020
Long Games and -Projective Sets
Juan P. Aguilera, Sandra Müller, Philipp Schlicht
We prove a number of results on the determinacy of -projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under compleme…