| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 16 |      | Michael Cox, Richard Kaye: Amphi-ZF : axioms for Conway games. Arch. Math. Log. 51(3-4): 353-371 (2012) |
| 2010 | ||
| 15 | | Richard Kaye, Tin Lok Wong: Truth in generic cuts. Ann. Pure Appl. Logic 161(8): 987-1005 (2010) |
| 2008 | ||
| 14 | | Richard Kaye: Generic cuts in models of arithmetic. Math. Log. Q. 54(2): 129-144 (2008) |
| 2007 | ||
| 13 | | John Allsup, Richard Kaye: Normal subgroups of nonstandard symmetric and alternating groups. Arch. Math. Log. 46(2): 107-121 (2007) |
| 12 | | Richard Kaye, Tin Lok Wong: On Interpretations of Arithmetic and Set Theory. Notre Dame Journal of Formal Logic 48(4): 497-510 (2007) |
| 2000 | ||
| 11 | | 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) |
| 1 | John Allsup | [13] |
| 2 | Michael Cox | [16] |
| 3 | Thomas E. Forster (Thomas Forster) | [5] |
| 4 | Roman Kossak | [6] |
| 5 | Henryk Kotlarski | [6] [8] [11] |
| 6 | Tin Lok Wong | [12] [15] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page