𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A simplified functorial construction of the veblen hierarchy

✍ Scribed by Andreas Weiermann

Publisher
John Wiley and Sons
Year
1993
Tongue
English
Weight
222 KB
Volume
39
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We give a simple and elementary proof of the following result of Girard and Vauzeilles which is proved in [5]: β€œThe binary Veblen function ψ: On Γ— On β€” On is a dilator.” Our proof indicates the intimate connection between the traditional theory of ordinal notation systems and Girard's theory of denotation systems. MSC: 03F15.

πŸ“œ SIMILAR VOLUMES

Rat cages of simplified construction
Rat cages of simplified construction
✍ Long, J. A. πŸ“‚ Article πŸ“… 1924 πŸ› John Wiley and Sons 🌐 English βš– 411 KB πŸ‘ 1 views
The cumulative hierarchy and the constru
The cumulative hierarchy and the constructible universe of ZFA
✍ Matteo Viale πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 116 KB

## Abstract We present two results which shed some more light on the deep connection between ZFA and the standard ZF set theory: First of all we refine a result of Forti and Honsell (see [5]) in order to prove that the universe of ZFA can also be obtained (without appealing to choice) as the least