axiom beta 1constructible hierarchy 1primitive recursive set functions 1proof theory 1set theory 1transfinite recursion 1
From the 1 of 2 linked papers with an AI index.
2 papers
math.LO2026
Axiom Beta Implies Elementary Transfinite Recursion
Emanuele Frittaion, Giorgio G. Genovesi
The paper introduces a weak set theory called C that includes Axiom Beta and proves elementary (Δ₀) transfinite recursion, allowing the construction of relativized constructible hi…
math.LO2026
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…