Functors and ordinal notations I : a functorial construction of the Veblen hierarchy

Jacqueline Vauzeilles (1) , Jean-Yves Girard (1)

1 ELM - Équipe de Logique Mathématique

This paper is the first of several works: the matter is the systematic rewriting of usual results of ordinal notations, using Pi-1-2-logic. The purpose of these articles is already realized in Pi-1-2-logic, in a relatively abstract form. The paper presents a functorial construction of the Veblen hierarchy.

Domaines: Logique [math.LO]; Logique en informatique [cs.LO]

Jacqueline Vauzeilles, Jean-Yves Girard. Functors and ordinal notations I : a functorial construction of the Veblen hierarchy. The Journal of Symbolic Logic, 1984, 49, pp.713-729. ⟨hal-00003495⟩