Results 1 
6 of
6
Characteristics of discrete transfinite time Turing machine models: halting times, stabilization times, and . . .
, 2008
"... ..."
Arithmetical quasiinductive definitions and the transfinite action of one tape Turing machines. typescript
 Machines, in: [CoLöTo05
, 2004
"... • We produce a classification of the pointclasses using infinite time turing machines with 1tape. The reason for choosing this formalism is that it apparently yields a smoother classification of classes defined by algorithms that halt at limit ordinals. • We consider some relations of such classes ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
• We produce a classification of the pointclasses using infinite time turing machines with 1tape. The reason for choosing this formalism is that it apparently yields a smoother classification of classes defined by algorithms that halt at limit ordinals. • We consider some relations of such classes with other similar notions, such as arithmetical quasiinductive definitions. • It is noted that the action of ω many steps of such a machine can correspond to the double jump operator (in the usual Turing sense): a− → a ′ ′. • The ordinals beginning gaps in the “clockable ” ordinals are admissible ordinals, and the length of such gaps corresponds to the degree of reflection those ordinals enjoy. 1
On the transfinite action of 1 tape Turing machines
 Computational Paradigms: Proceedings of CiE2005
, 2005
"... Abstract. • We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1tape. The reason for choosing this formalism is that it apparently yields a smoother classification of classes defined by algorithms that halt at limit ordinals. • We conside ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Abstract. • We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1tape. The reason for choosing this formalism is that it apparently yields a smoother classification of classes defined by algorithms that halt at limit ordinals. • We consider some relations of such classes with other similar notions, such as arithmetical quasiinductive definitions. • It is noted that the action of ω many steps of such a machine can correspond to the double jump operator (in the usual Turing sense): a−→ a ′ ′. • The ordinals beginning gaps in the “clockable ” ordinals are admissible ordinals, and the length of such gaps corresponds to the degree of reflection those ordinals enjoy. 1
P^f ≠ NP^f for almost all f
, 2002
"... We discuss the question of RalfDieter Schindler whether for in nite time Turing machines P can be true for any function f from the reals into ! 1 . We show that \almost everywhere" the answer is negative. ..."
Abstract
 Add to MetaCart
We discuss the question of RalfDieter Schindler whether for in nite time Turing machines P can be true for any function f from the reals into ! 1 . We show that \almost everywhere" the answer is negative.
Transfinite Machine Models
, 2011
"... In recent years there has emerged the study of discrete computational models which are allowed to act transfinitely. By ‘discrete ’ we mean that the machine models considered are not analogue machines, but compute by means of distinct stages or in units of time. The paradigm of such models is, of co ..."
Abstract
 Add to MetaCart
In recent years there has emerged the study of discrete computational models which are allowed to act transfinitely. By ‘discrete ’ we mean that the machine models considered are not analogue machines, but compute by means of distinct stages or in units of time. The paradigm of such models is, of course, Turing’s original