2 citations · 2 across the 2 of their papers we have counts for
2 papers
math.LO2012★ 2 cited
Hyperations, Veblen progressions and transfinite iterations of ordinal functions
David Fernández-Duque, Joost J. Joosten
In this paper we introduce hyperations and cohyperations, which are forms of transfinite iteration of ordinal functions. Hyperations are iterations of normal functions. Unlike iter…
math.LO2012
Models of transfinite provability logic
David Fernández-Duque, Joost J. Joosten
For any ordinal Λ, we can define a polymodal logic GLP(Λ), with a modality [ξ] for each ξ<Λ. These represent provability predicates of increasing strength. Although GLP(Λ) has no K…