H. Jerome Keisler

	2011
35		H. Jerome Keisler, Wafik Boulos Lotfallah: Rank Hierarchies for Generalized Quantifiers. J. Log. Comput. 21(2): 287-306 (2011)
	2010
34		H. Jerome Keisler: Nonstandard arithmetic and recursive comprehension. Ann. Pure Appl. Logic 161(8): 1047-1062 (2010)
	2009
33		H. Jerome Keisler, Wafik Boulos Lotfallah: Almost everywhere elimination of probability quantifiers. J. Symb. Log. 74(4): 1121-1142 (2009)
	2006
32		H. Jerome Keisler: Nonstandard arithmetic and reverse mathematics. Bulletin of Symbolic Logic 12(1): 100-125 (2006)
31		Adam Brandenburger, H. Jerome Keisler: An Impossibility Theorem on Beliefs in Games. Studia Logica 84(2): 211-240 (2006)
	2005
30		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
29		H. Jerome Keisler, Wafik Boulos Lotfallah: Shrinking games and local formulas. Ann. Pure Appl. Logic 128(1-3): 215-225 (2004)
28		H. Jerome Keisler, Julia F. Knight: Barwise: infinitary logic and admissible sets. Bulletin of Symbolic Logic 10(1): 4-36 (2004)
27		H. Jerome Keisler, Wafik Boulos Lotfallah: First order quantifiers in~monadic second order logic. J. Symb. Log. 69(1): 118-136 (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		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		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)

Coauthor Index

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

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page