Peter Koepke
Ordinal computability and fine structure.

Abstract. Ordinal register machines can be used to compute certain hulls of sets of ordinals. By restricting machine configurations one can define a hierarchy of hulling operators which satisfies the laws of Silver machines. So ordinal machines can be used to emulate Jensen-type finestructural arguments.

Back to programme