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
@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},
publisher = {mathdoc},
volume = {102},
number = {1},
year = {1979},
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 PB - mathdoc 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 -
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 :