2 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
math.LO2003
Homogeneously Souslin sets in small inner models
Peter Koepke, Ralf Schindler
We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0^long does not exist or else (b) V=K where K is the core model below a μ-measurable cardinal.