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) |