𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A new system of proof-theoretic ordinal functions

✍ Scribed by W. Buchholz

Publisher
Elsevier Science
Year
1986
Tongue
English
Weight
701 KB
Volume
32
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

How to develop Proof-Theoretic Ordinal F
How to develop Proof-Theoretic Ordinal Functions on the basis of admissible ordinals
✍ Michael Rathjen πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 405 KB

## Abstract In ordinal analysis of impredicative theories so‐called collapsing functions are of central importance. Unfortunately, the definition procedure of these functions makes essential use of uncountable cardinals whereas the notation system that they call into being corresponds to a recursiv

A new proof-theoretic proof of the indep
A new proof-theoretic proof of the independence of Kirby–Paris’ Hydra Theorem
✍ Lorenzo Carlucci πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 370 KB

A new proof is given for the independence of the termination of Kirby-Paris' Hydra Game from Peano Arithmetic by showing that it is strong enough to entail the termination of Gentzen's Reduction Strategy for proof ΓΏgures via an appropriate translation from derivations to hydras.

Minimal rearrangements of Sobolev functi
Minimal rearrangements of Sobolev functions: a new proof
✍ Adele Ferone; Roberta Volpicelli πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 62 KB

We give an alternative proof of a theorem by Brothers and Ziemer concerning extremal functions in the PΓ³lya-SzegΓΆ rearrangements inequality for Dirichlet type integrals.