Richard Kaye (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

11 Richard Kaye, Henryk Kotlarski: On Models Constructed by Means of the Arithmetized Completeness Theorem. Math. Log. Q. 46(4): 505-516 (2000)

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)

6 Richard Kaye, Roman Kossak, Henryk Kotlarski: Automorphisms of Recursively Saturated Models of Arithmetic. Ann. Pure Appl. Logic 55(1): 67-99 (1991)

Selection of 3 from 13 records - Richard Kaye has 4 coauthors

11		Richard Kaye, Henryk Kotlarski: On Models Constructed by Means of the Arithmetized Completeness Theorem. Math. Log. Q. 46(4): 505-516 (2000)
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)
6		Richard Kaye, Roman Kossak, Henryk Kotlarski: Automorphisms of Recursively Saturated Models of Arithmetic. Ann. Pure Appl. Logic 55(1): 67-99 (1991)