𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Plain Bases for Classes of Primitive Recursive Functions

✍ Scribed by Stefano Mazzanti


Publisher
John Wiley and Sons
Year
2002
Tongue
English
Weight
180 KB
Volume
48
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On the proof theory of type two function
✍ David Steiner; Thomas Strahm πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 209 KB

## Abstract This paper is a companion to work of Feferman, JΓ€ger, Glaß, and Strahm on the proof theory of the type two functionals __ΞΌ__ and E~1~ in the context of Feferman‐style applicative theories. In contrast to the previous work, we analyze these two functionals in the context of SchlΓΌter's we

Primitive Normal Bases for Towers of Fie
✍ Dirk Hachenberger πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 114 KB

w3E is called normal over F if its conjugates under the Galois group of E/F form an F-basis of E. For the theory of normal bases we refer to [Ha1].