Geodesic
Remark on a theory of classes used by A. Machado
Portugaliae mathematica, Tome 39 (1980) no. 1-4, pp. 295-297

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Keywords: NBG, predicative theory of classes, Hilbert type selector, non-empty classes, strong axiom of choice of Gödel 
@article{PORMA_1980__39_1-4_115421,
     author = {Franco de Oliveira, A.J.},
     title = {Remark on a theory of classes used by {A.} {Machado}},
     journal = {Portugaliae mathematica},
     pages = {295--297},
     publisher = {mathdoc},
     volume = {39},
     number = {1-4},
     year = {1980},
     mrnumber = {0776243},
     zbl = {0562.03026},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PORMA_1980__39_1-4_115421/}
}
TY  - JOUR
AU  - Franco de Oliveira, A.J.
TI  - Remark on a theory of classes used by A. Machado
JO  - Portugaliae mathematica
PY  - 1980
SP  - 295
EP  - 297
VL  - 39
IS  - 1-4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PORMA_1980__39_1-4_115421/
LA  - en
ID  - PORMA_1980__39_1-4_115421
ER  - 
%0 Journal Article
%A Franco de Oliveira, A.J.
%T Remark on a theory of classes used by A. Machado
%J Portugaliae mathematica
%D 1980
%P 295-297
%V 39
%N 1-4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PORMA_1980__39_1-4_115421/
%G en
%F PORMA_1980__39_1-4_115421
Franco de Oliveira, A.J. Remark on a theory of classes used by A. Machado. Portugaliae mathematica, Tome 39 (1980) no. 1-4, pp. 295-297. http://geodesic.mathdoc.fr/item/PORMA_1980__39_1-4_115421/