𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A transfinite hierarchy of reals

✍ Scribed by George Barmpalias

Publisher
John Wiley and Sons
Year
2003
Tongue
English
Weight
198 KB
Volume
49
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We extend the hierarchy defined in [5] to cover all hyperarithmetical reals. An intuitive idea is used or the definition, but a characterization of the related classes is obtained. A hierarchy theorem and two fixed point theorems (concerning computations related to the hierarchy) are presented.

πŸ“œ SIMILAR VOLUMES

The Arithmetical Hierarchy of Real Numbe
The Arithmetical Hierarchy of Real Numbers
✍ Xizhong Zheng; Klaus Weihrauch πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 225 KB πŸ‘ 1 views
Two logical hierarchies of optimization
Two logical hierarchies of optimization problems over the real numbers
✍ Uffe Flarup; Klaus Meer πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 209 KB

## Dedicated to Professor GΓΌnter Asser on the occasion of his eightieth birthday We introduce and study certain classes of optimization problems over the real numbers. The classes are defined by logical means, relying on metafinite model theory for so called R-structures (see [12,11]). More precis

Transfinite Recursion in a Theory of Pro
Transfinite Recursion in a Theory of Properties
✍ Stephen Pollard πŸ“‚ Article πŸ“… 1986 πŸ› John Wiley and Sons 🌐 English βš– 496 KB

As SCOTT has shown, the Replacement. scheme of Z F derives a large part, of its strength from the Extensionality axiom. For in the absence of the latter, the supply of demonstrably functional formula matrices is relatively ineagei..l) I n this situation, u-e can restore some of Replacemmt's vigor by

A cumulative hierarchy of predicates
A cumulative hierarchy of predicates
✍ Harvey Friedman πŸ“‚ Article πŸ“… 1975 πŸ› John Wiley and Sons 🌐 English βš– 417 KB

In this paper, we attempt to construct something analogous to the cumulative hierawhy of sets, for the notion of predicate. Analogously t o set theory, we will view every o b j ~~c ~t in our hicrarchy t o be a predicate, and evrry predicate in our hierarchy to have a ~~~1 1 defined truth value when

A hierarchy of Sturm–Liouville problems
A hierarchy of Sturm–Liouville problems
✍ Paul Binding πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 86 KB

## Abstract Sturm–Liouville equations will be considered where the boundary conditions depend rationally on the eigenvalue parameter. Such problems apply to a variety of engineering situations, for example to the stability of rotating axles. Classesof these problems will be isolated with a rather r