@article{1093890819,
author = {Payne, Thomas H.},
title = {Effective extendability and fixed points.},
journal = {Notre Dame J. Formal Logic},
volume = {14},
number = {1},
year = {1973},
pages = { 123-124},
language = {en},
url = {http://dml.mathdoc.fr/item/1093890819}
}
Payne, Thomas H. Effective extendability and fixed points.. Notre Dame J. Formal Logic, Tome 14 (1973) no. 1, pp. 123-124. http://gdmltest.u-ga.fr/item/1093890819/