Sentences with three quantifiers are decidable in set theory
Fundamenta Mathematicae, Tome 102 (1979) no. 1, pp. 1-8
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
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
@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/}
}
Cité par Sources :