PREDICATIVITY THROUGH TRANSFINITE REFLECTION

DOI10.1017/JSL.2017.30zbMATH Open1402.03086arXiv1412.5521OpenAlexW2964107161WikidataQ120373613 ScholiaQ120373613MaRDI QIDQ5359565

Author name not available (Why is that?)

Publication date: 26 September 2017

Published in: (Search for Journal in Brave)

Abstract: Peano Arithmetic is known to be provably equivalent to reflection over Elementary Arithmetic. We prove a characterization of Predicative Analysis in the guise of ATR0 in terms of stronger reflection principles.

Full work available at URL: https://arxiv.org/abs/1412.5521

zbMATH Keywords

No records found.

Mathematics Subject Classification ID

No records found.

This page was built for publication: PREDICATIVITY THROUGH TRANSFINITE REFLECTION

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5359565)