A complete first-order logic with infinitary predicates
Fundamenta Mathematicae, Tome 52 (1963) no. 2, pp. 177-203
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
@article{10_4064_fm_52_2_177_203,
author = {H. Keisler},
title = {A complete first-order logic with infinitary predicates},
journal = {Fundamenta Mathematicae},
pages = {177--203},
publisher = {mathdoc},
volume = {52},
number = {2},
year = {1963},
doi = {10.4064/fm-52-2-177-203},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-52-2-177-203/}
}
TY - JOUR AU - H. Keisler TI - A complete first-order logic with infinitary predicates JO - Fundamenta Mathematicae PY - 1963 SP - 177 EP - 203 VL - 52 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-52-2-177-203/ DO - 10.4064/fm-52-2-177-203 LA - en ID - 10_4064_fm_52_2_177_203 ER -
H. Keisler. A complete first-order logic with infinitary predicates. Fundamenta Mathematicae, Tome 52 (1963) no. 2, pp. 177-203. doi: 10.4064/fm-52-2-177-203
Cité par Sources :