Some uses of dilators in combinatorial problems. II

DOI10.2307/2274952zbMath0701.03027OpenAlexW3022466210MaRDI QIDQ3478402

Jacques Van de Wiele, V. Michele Abrusci, Jean-Yves Girard

Publication date: 1990

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274952

zbMATH Keywords

dilatorincreasing F-sequencesinverse Goodstein sequences

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Cites Work

• Π12-logic, Part 1: Dilators
• Describing ordinals using functionals of transfinite type

This page was built for publication: Some uses of dilators in combinatorial problems. II