𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Equilibrium Level of Rigidity in a Hierarchy

✍ Scribed by Joseph E Harrington Jr.

Book ID
115611145
Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
104 KB
Volume
28
Category
Article
ISSN
0899-8256

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Successor levels of the Jensen hierarchy
Successor levels of the Jensen hierarchy
✍ Gunter Fuchs πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 216 KB

## Abstract I prove that there is a recursive function __T__ that does the following: Let __X__ be transitive and rudimentarily closed, and let __X__ β€² be the closure of __X__ βˆͺ {__X__ } under rudimentary functions. Given a Ξ£~0~‐formula __Ο†__ (__x__) and a code __c__ for a rudimentary function __f_