Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs
Vauzeilles, Jacqueline ; Girard, Jean-Yves
HAL, hal-00003501 / Harvested from HAL
Text on HAL
Dans cet article, on utilise la théorie des dilatateurs pour décrire les premiers récursivement inaccessible et Mahlo
Publié le : 1985-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO],  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] 
@article{hal-00003501,
     author = {Vauzeilles, Jacqueline and Girard, Jean-Yves},
     title = {Les premiers r\'ecursivement inaccessible et Mahlo et la th\'eorie des dilatateurs},
     journal = {HAL},
     volume = {1985},
     number = {0},
     year = {1985},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00003501}
}

Vauzeilles, Jacqueline; Girard, Jean-Yves. Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs. HAL, Tome 1985 (1985) no. 0, . http://gdmltest.u-ga.fr/item/hal-00003501/