Transfer equals comprehension

Por • 28 sep, 2014 • Sección: Educacion

Benno van den Berg, Sam Sanders

Abstract: Recently, conservative extensions of Peano and Heyting arithmetic in the spirit of Nelson’s syntactic approach to Nonstandard Analysis, have been proposed. We continue and extend this study with an eye on Reverse Mathematics-style results, formulating a suitable base theory along the way. In this way, we prove the equivalence between comprehension and transfer principles.

arXiv:1409.6881v1 [math.LO]

Logic (math.LO)

Post to Twitter

Escribe un comentario