Richard Kaye

2008
13	EE	Richard Kaye: Generic cuts in models of arithmetic. Math. Log. Q. 54(2): 129-144 (2008)
2007
12	EE	John Allsup, Richard Kaye: Normal subgroups of nonstandard symmetric and alternating groups. Arch. Math. Log. 46(2): 107-121 (2007)
2000
11	EE	Richard Kaye, Henryk Kotlarski: On Models Constructed by Means of the Arithmetized Completeness Theorem. Math. Log. Q. 46(4): 505-516 (2000)
1997
10		Richard Kaye: Infinitary Definitions of Equivalence Relations in Models of PA. Ann. Pure Appl. Logic 89(1): 37-43 (1997)
1995
9		Richard Kaye: The Theory of kappa-like Models of Arithmetic. Notre Dame Journal of Formal Logic 36(4): 547-559 (1995)
1994
8		Henryk Kotlarski, Richard Kaye: Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups. Notre Dame Journal of Formal Logic 35(1): 1-14 (1994)
1993
7		Richard Kaye: Hilbert's Tenth Problem for Weak Theories of Arithmetic. Ann. Pure Appl. Logic 61(1-2): 63-73 (1993)
1991
6		Richard Kaye, Roman Kossak, Henryk Kotlarski: Automorphisms of Recursively Saturated Models of Arithmetic. Ann. Pure Appl. Logic 55(1): 67-99 (1991)
5		Thomas Forster, Richard Kaye: End-Extensions Preserving Power Set. J. Symb. Log. 56(1): 323-328 (1991)
4		Richard Kaye: A Generalization of Specker's Theorem on Typical Ambiguity. J. Symb. Log. 56(2): 458-466 (1991)
3		Richard Kaye: Model-Theoretic Properties Characterizing Peano Arithmetic. J. Symb. Log. 56(3): 949-963 (1991)
2		Richard Kaye: On Cofinal Extensions of Models of Fragments of Arithmetic. Notre Dame Journal of Formal Logic 32(3): 399-408 (1991)
1990
1		Richard Kaye: Diophantine Induction. Ann. Pure Appl. Logic 46(1): 1-40 (1990)

Coauthor Index

1	John Allsup	[12]
2	Thomas E. Forster (Thomas Forster)	[5]
3	Roman Kossak	[6]
4	Henryk Kotlarski	[6] [8] [11]

Colors in the list of coauthors