4 citations · 5 across the 5 of their papers we have counts for
Showing 2012 · math.LOShow all
2 papers · 2 filters
math.LO2012
Pi^0_1 ordinal analysis beyond first order arithmetic
J. J. Joosten
In this paper we give an overview of an essential part of a Pi^0_1 ordinal analysis of Peano Arithmetic (PA) as presented by Beklemishev. This analysis is mainly performed within t…
math.LO2012★ 4 cited
On provability logics with linearly ordered modalities
Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten
We introduce the logics GLP(Λ), a generalization of Japaridze's polymodal provability logic GLP(ω) where Λis any linearly ordered set representing a hierarchy of provability operat…