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

Richard Kaye

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

2008
13EERichard Kaye: Generic cuts in models of arithmetic. Math. Log. Q. 54(2): 129-144 (2008)
2007
12EEJohn Allsup, Richard Kaye: Normal subgroups of nonstandard symmetric and alternating groups. Arch. Math. Log. 46(2): 107-121 (2007)
2000
11EERichard 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

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

Colors in the list of coauthors

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