A complete first-order logic with infinitary predicates
Fundamenta Mathematicae, Tome 52 (1963) no. 2, pp. 177-203
@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},
year = {1963},
volume = {52},
number = {2},
doi = {10.4064/fm-52-2-177-203},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-52-2-177-203/}
}
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 :