Voir la notice de l'article provenant de la source Math-Net.Ru
@article{MZM_1999_66_6_a0, author = {P. V. Andreev}, title = {On definable predicates of standardness in internal set theory}, journal = {Matemati\v{c}eskie zametki}, pages = {803--809}, publisher = {mathdoc}, volume = {66}, number = {6}, year = {1999}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/MZM_1999_66_6_a0/} }
P. V. Andreev. On definable predicates of standardness in internal set theory. Matematičeskie zametki, Tome 66 (1999) no. 6, pp. 803-809. http://geodesic.mathdoc.fr/item/MZM_1999_66_6_a0/