Geodesic
Sentences with three quantifiers are decidable in set theory
Fundamenta Mathematicae, Tome 102 (1979) no. 1, pp. 1-8
Cet article a éte moissonné depuis la source Institute of Mathematics Polish Academy of Sciences

Voir la notice de l'article

@article{10_4064_fm_102_1_1_8,
     author = {Daniel Gogol},
     title = {Sentences with three quantifiers are decidable in set theory},
     journal = {Fundamenta Mathematicae},
     pages = {1--8},
     year = {1979},
     volume = {102},
     number = {1},
     doi = {10.4064/fm-102-1-1-8},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-102-1-1-8/}
}
TY  - JOUR
AU  - Daniel Gogol
TI  - Sentences with three quantifiers are decidable in set theory
JO  - Fundamenta Mathematicae
PY  - 1979
SP  - 1
EP  - 8
VL  - 102
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-102-1-1-8/
DO  - 10.4064/fm-102-1-1-8
LA  - en
ID  - 10_4064_fm_102_1_1_8
ER  - 
%0 Journal Article
%A Daniel Gogol
%T Sentences with three quantifiers are decidable in set theory
%J Fundamenta Mathematicae
%D 1979
%P 1-8
%V 102
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-102-1-1-8/
%R 10.4064/fm-102-1-1-8
%G en
%F 10_4064_fm_102_1_1_8
Daniel Gogol. Sentences with three quantifiers are decidable in set theory. Fundamenta Mathematicae, Tome 102 (1979) no. 1, pp. 1-8. doi: 10.4064/fm-102-1-1-8

Cité par Sources :