most citedHyperations, Veblen progressions and transfinite iterations of ordinal functions

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing math.LOShow all

2 papers · 1 filter

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…