Families of the recursive predicates of the zero measure
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part V, Tome 32 (1972), pp. 121-128
Voir la notice de l'article provenant de la source Math-Net.Ru
An approach is proposed which make precise statements of the form “almost all recursive predicates possess a given property” and a method is described which enables one in some cases to verify the validity of such statements.
@article{ZNSL_1972_32_a17,
author = {R. I. Freidson},
title = {Families of the recursive predicates of the zero measure},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {121--128},
publisher = {mathdoc},
volume = {32},
year = {1972},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1972_32_a17/}
}
R. I. Freidson. Families of the recursive predicates of the zero measure. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part V, Tome 32 (1972), pp. 121-128. http://geodesic.mathdoc.fr/item/ZNSL_1972_32_a17/