Richard Kaye

23 papers Journal 21
YearRankTypeTitle / Venue / Authors
2015 — ch.
The Model Theory of Generic Cuts.
Logic Without Borders
Richard Kaye, Tin Lok Wong
2014 J jnl
Circularity in Soundness and Completeness.
Bull. Symb. Log.
Richard Kaye
2014 J jnl
Interpretations between
J. Symb. Log.
Richard Kaye
2013 J jnl
The arithmetic of cuts in models of arithmetic.
Math. Log. Q.
Richard Kaye
2012 J jnl
Amphi-ZF : axioms for Conway games.
Arch. Math. Log.
Michael Cox, Richard Kaye
2012 J jnl
Transplendent Models: Expansions Omitting a Type.
Notre Dame J. Formal Log.
Fredrik Engström, Richard Kaye
2010 J jnl
Truth in generic cuts.
Ann. Pure Appl. Log.
Richard Kaye, Tin Lok Wong
2008 J jnl
Generic cuts in models of arithmetic.
Math. Log. Q.
Richard Kaye
2007 J jnl
Normal subgroups of nonstandard symmetric and alternating groups.
Arch. Math. Log.
John Allsup, Richard Kaye
2007 J jnl
On Interpretations of Arithmetic and Set Theory.
Notre Dame J. Formal Log.
Richard Kaye, Tin Lok Wong
2000 J jnl
On Models Constructed by Means of the Arithmetized Completeness Theorem.
Math. Log. Q.
Richard Kaye, Henryk Kotlarski
1997 J jnl
Infinitary Definitions of Equivalence Relations in Models of PA.
Ann. Pure Appl. Log.
Richard Kaye
1995 J jnl
The Theory of κ-like Models of Arithmetic.
Notre Dame J. Formal Log.
Richard Kaye
1994 J jnl
Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups.
Notre Dame J. Formal Log.
Henryk Kotlarski, Richard Kaye
1993 J jnl
Hilbert's Tenth Problem for Weak Theories of Arithmetic.
Ann. Pure Appl. Log.
Richard Kaye
1991 J jnl
A Generalization of Specker's Theorem on Typical Ambiguity.
J. Symb. Log.
Richard Kaye
1991 J jnl
Automorphisms of Recursively Saturated Models of Arithmetic.
Ann. Pure Appl. Log.
Richard Kaye, Roman Kossak, Henryk Kotlarski
1991 J jnl
End-Extensions Preserving Power Set.
J. Symb. Log.
Thomas Forster, Richard Kaye
1991 J jnl
Model-Theoretic Properties Characterizing Peano Arithmetic.
J. Symb. Log.
Richard Kaye
1991 — book
Models of Peano arithmetic.
Richard Kaye
1991 J jnl
On Cofinal Extensions of Models of Fragments of Arithmetic.
Notre Dame J. Formal Log.
Richard Kaye
1990 J jnl
Diophantine Induction.
Ann. Pure Appl. Log.
Richard Kaye
1989 J jnl
Parameter-Free Universal Induction.
Math. Log. Q.
Richard Kaye