2 citations · 2 across the 4 of their papers we have counts for
Showing 2005Show all
2 papers · 1 filter
math.LO2005★ 2 cited
The Theory of Sets of Ordinals
Peter Koepke, Martin Koerwien
We propose a natural theory SO axiomatizing the class of sets of ordinals in a model of ZFC set theory. Both theories possess equal logical strength. Constructibility theory in SO…
math.LO2005
Turing Computations on Ordinals
Peter Koepke
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length to computations on tapes of arbitrary ordinal length. We show tha…