2 papers
math.LO2026
Axiom Beta Implies Elementary Transfinite Recursion
Emanuele Frittaion, Giorgio G. Genovesi
We show that , a weak theory of sets with Axiom Beta, proves the scheme of Elementary, or Transfinite Recursion and can generate, for every set, the corresponding…
math.LO2024
Reverse mathematics of regular countable second countable spaces
Giorgio G. Genovesi
We study the reverse mathematics of characterization theorems of regular countable second countable spaces (or for short). We prove that arithmetic comprehension is equivale…