21828 articles – 15613 references  [version française]

hal-00003495, version 1

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

Jacqueline Vauzeilles () 1, Jean-Yves Girard 1

Journal of Symbolic Logic 49 (1984) 713-729

Abstract: 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.

  • 1:  Équipe de Logique Mathématique (ELM)
  • CNRS : UMR7056 – Université Paris VII - Paris Diderot
  • Domain : Mathematics/Logic
    Computer Science/Logic in Computer Science
  • Comment : date de rédaction : 1981
 
  • hal-00003495, version 1
  • http://hal.archives-ouvertes.fr/hal-00003495
  • oai:hal.archives-ouvertes.fr:hal-00003495
  • From: Jacqueline Vauzeilles <>
  • Submitted on: Friday, 10 December 2004 16:42:17
  • Updated on: Friday, 10 December 2004 16:42:17