On Maximum Conservative Extensions
Towsner, Henry
Original · EN
We investigate the set of Pi-1-2 sentences which are Pi-1-1 conservative over the theories of reverse mathematics RCA0+ISigmaₙ and ACA0. We exhibit new elements of these sets and conclude that the sets are Pi₂ complete. Along the way, we show that, over the theory RCA, induction for Sigma-n formulas has essentially no consequences for Delta-(n+1) formulas.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.