scientific article
From MaRDI portal
Publication:3772214
zbMath0634.03057MaRDI QIDQ3772214
Jean-Yves Girard, Jacques Van de Wiele, V. Michele Abrusci
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decreasing F-sequencesweakly finite dilatorGoodstein sequencesunprovability of Goodstein's theorem in Peano Arithmetic
Related Items (4)
Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy) ⋮ Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator) ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
This page was built for publication:
