| * | 2006 |
| 31 | EE | H. Jerome Keisler:
Nonstandard arithmetic and reverse mathematics.
Bulletin of Symbolic Logic 12(1): 100-125 (2006) |
| 30 | EE | Adam Brandenburger,
H. Jerome Keisler:
An Impossibility Theorem on Beliefs in Games.
Studia Logica 84(2): 211-240 (2006) |
| 2005 |
| 29 | EE | H. Jerome Keisler,
Wafik Boulos Lotfallah:
A local normal form theorem for infinitary logic with unary quantifiers.
Math. Log. Q. 51(2): 137-144 (2005) |
| 2004 |
| 28 | EE | H. Jerome Keisler,
Wafik Boulos Lotfallah:
Shrinking games and local formulas.
Ann. Pure Appl. Logic 128(1-3): 215-225 (2004) |
| 27 | EE | H. Jerome Keisler,
Julia F. Knight:
Barwise: infinitary logic and admissible sets.
Bulletin of Symbolic Logic 10(1): 4-36 (2004) |
| 2003 |
| 26 | | Michael Benedikt,
H. Jerome Keisler:
Definability with a predicate for a semi-linear set.
J. Symb. Log. 68(1): 319-351 (2003) |
| 2000 |
| 25 | EE | Michael Benedikt,
H. Jerome Keisler:
Definability over Linear Constraints.
CSL 2000: 217-231 |
| 24 | | Renling Jin,
H. Jerome Keisler:
Maharam Spectra of Loeb Spaces.
J. Symb. Log. 65(2): 550-566 (2000) |
| 1998 |
| 23 | | H. Jerome Keisler:
Quantifier Elimination for Neocompact Sets.
J. Symb. Log. 63(4): 1442-1472 (1998) |
| 1997 |
| 22 | EE | Michael Benedikt,
H. Jerome Keisler:
Expressive Power of Unary Counters.
ICDT 1997: 291-305 |
| 21 | | Michael Benedikt,
H. Jerome Keisler:
Expressive Power of Unary Counters.
Structures in Logic and Computer Science 1997: 34-50 |
| 1993 |
| 20 | | Renling Jin,
H. Jerome Keisler:
Game Sentences and Ultrapowers.
Ann. Pure Appl. Logic 60(3): 261-274 (1993) |
| 1991 |
| 19 | | H. Jerome Keisler:
From Discrete to Continuous Time.
Ann. Pure Appl. Logic 52(1-2): 99-141 (1991) |
| 18 | | H. Jerome Keisler,
Steven C. Leth:
Meager Sets on the Hyperfinite Time Line.
J. Symb. Log. 56(1): 71-102 (1991) |
| 17 | | H. Jerome Keisler,
James H. Schmerl:
Making the Hyperreal Line Both Saturated and Complete.
J. Symb. Log. 56(3): 1016-1025 (1991) |
| 1989 |
| 16 | | H. Jerome Keisler,
Kenneth Kunen,
Arnold W. Miller,
Steven C. Leth:
Descriptive Set Theory Over Hyperfinite Sets.
J. Symb. Log. 54(4): 1167-1180 (1989) |
| 1986 |
| 15 | | C. Ward Henson,
H. Jerome Keisler:
On the Strength of Nonstandard Analysis.
J. Symb. Log. 51(2): 377-386 (1986) |
| 1984 |
| 14 | | C. Ward Henson,
Matt Kaufmann,
H. Jerome Keisler:
The Strength of Nonstandard Methods in Arithmetic.
J. Symb. Log. 49(4): 1039-1058 (1984) |
| 1983 |
| 13 | | H. Jerome Keisler:
Meeting of the Association for Symbolic Logic: Madison 1982.
J. Symb. Log. 48(4): 1233-1239 (1983) |
| 1979 |
| 12 | | Kim B. Bruce,
H. Jerome Keisler:
LA(\Finv).
J. Symb. Log. 44(1): 15-28 (1979) |
| 11 | | John Addison,
Jon Barwise,
H. Jerome Keisler,
Kenneth Kunen,
Yiannis N. Moschovakis:
The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic.
J. Symb. Log. 44(3): 469-480 (1979) |
| 1978 |
| 10 | | H. Jerome Keisler:
The Stability Function of a Theory.
J. Symb. Log. 43(3): 481-486 (1978) |
| 1974 |
| 9 | | H. Jerome Keisler,
Karel Prikry:
A Result Concerning Cardinalities of Ultraproducts.
J. Symb. Log. 39(1): 43-48 (1974) |
| 1973 |
| 8 | | H. Jerome Keisler,
Wilbur Walkoe Jr.:
The Diversity of Quantifier Prefixes.
J. Symb. Log. 38(1): 79-85 (1973) |
| 1971 |
| 7 | | H. Jerome Keisler:
On Theories Categorical in Their Own Power.
J. Symb. Log. 36(2): 240-244 (1971) |
| 1967 |
| 6 | | H. Jerome Keisler:
Ultraproducts which are not Saturated.
J. Symb. Log. 32(1): 23-46 (1967) |
| 5 | | H. Jerome Keisler:
Ultraproducts of Finite Sets.
J. Symb. Log. 32(1): 47-57 (1967) |
| 1965 |
| 4 | | H. Jerome Keisler:
Limit Ultraproducts.
J. Symb. Log. 30(2): 212-234 (1965) |
| 3 | | H. Jerome Keisler:
Some Applications of Infinitely Long Formulas.
J. Symb. Log. 30(3): 339-349 (1965) |
| 1962 |
| 2 | | C. C. Chang,
H. Jerome Keisler:
An Improved Prenex Normal Form.
J. Symb. Log. 27(3): 317-326 (1962) |
| 1960 |
| 1 | | H. Jerome Keisler:
Theory of Models with Generalized Atomic Formulas.
J. Symb. Log. 25(1): 1-26 (1960) |