248,676 research outputs found
Grilliot's trick in Nonstandard Analysis
The technique known as Grilliot's trick constitutes a template for explicitly
defining the Turing jump functional in terms of a given
effectively discontinuous type two functional. In this paper, we discuss the
standard extensionality trick: a technique similar to Grilliot's trick in
Nonstandard Analysis. This nonstandard trick proceeds by deriving from the
existence of certain nonstandard discontinuous functionals, the Transfer
principle from Nonstandard analysis limited to -formulas; from this
(generally ineffective) implication, we obtain an effective implication
expressing the Turing jump functional in terms of a discontinuous functional
(and no longer involving Nonstandard Analysis). The advantage of our
nonstandard approach is that one obtains effective content without paying
attention to effective content. We also discuss a new class of functionals
which all seem to fall outside the established categories. These functionals
directly derive from the Standard Part axiom of Nonstandard Analysis.Comment: 21 page
- …