dblp.uni-trier.dewww.uni-trier.de

H. Jerome Keisler

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
31EEH. Jerome Keisler: Nonstandard arithmetic and reverse mathematics. Bulletin of Symbolic Logic 12(1): 100-125 (2006)
30EEAdam Brandenburger, H. Jerome Keisler: An Impossibility Theorem on Beliefs in Games. Studia Logica 84(2): 211-240 (2006)
2005
29EEH. 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
28EEH. Jerome Keisler, Wafik Boulos Lotfallah: Shrinking games and local formulas. Ann. Pure Appl. Logic 128(1-3): 215-225 (2004)
27EEH. 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
25EEMichael 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
22EEMichael 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)

Coauthor Index

1John Addison [11]
2K. Jon Barwise (Jon Barwise) [11]
3Michael Benedikt [21] [22] [25] [26]
4Adam Brandenburger [30]
5Kim B. Bruce [12]
6C. C. Chang [2]
7C. Ward Henson [14] [15]
8Renling Jin [20] [24]
9Matt Kaufmann [14]
10Julia F. Knight [27]
11Kenneth Kunen [11] [16]
12Steven C. Leth [16] [18]
13Wafik Boulos Lotfallah [28] [29]
14Arnold W. Miller [16]
15Yiannis N. Moschovakis [11]
16Karel Prikry [9]
17James H. Schmerl [17]
18Wilbur Walkoe Jr. [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)