Richard Kaye

According to our database, Richard Kaye authored at least 23 papers between 1989 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

The Model Theory of Generic Cuts.

Richard Kaye, Tin Lok Wong

Proceedings of the Logic Without Borders, 2015

2014

Interpretations between <i>ω</i>-Logic and second-order Arithmetic.

Richard Kaye

J. Symb. Log., 2014

Circularity in Soundness and Completeness.

Richard Kaye

Bull. Symb. Log., 2014

2013

The arithmetic of cuts in models of arithmetic.

Richard Kaye

Math. Log. Q., 2013

2012

Transplendent Models: Expansions Omitting a Type.

Fredrik Engström, Richard Kaye

Notre Dame J. Formal Log., 2012

Amphi-ZF : axioms for Conway games.

Michael Cox, Richard Kaye

Arch. Math. Log., 2012

2010

Truth in generic cuts.

Richard Kaye, Tin Lok Wong

Ann. Pure Appl. Log., 2010

2008

Generic cuts in models of arithmetic.

Richard Kaye

Math. Log. Q., 2008

2007

On Interpretations of Arithmetic and Set Theory.

Richard Kaye, Tin Lok Wong

Notre Dame J. Formal Log., 2007

Normal subgroups of nonstandard symmetric and alternating groups.

John Allsup, Richard Kaye

Arch. Math. Log., 2007

2000

On Models Constructed by Means of the Arithmetized Completeness Theorem.

Richard Kaye, Henryk Kotlarski

Math. Log. Q., 2000

1997

Infinitary Definitions of Equivalence Relations in Models of PA.

Richard Kaye

Ann. Pure Appl. Log., 1997

1995

The Theory of κ-like Models of Arithmetic.

Richard Kaye

Notre Dame J. Formal Log., 1995

1994

Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups.

Henryk Kotlarski, Richard Kaye

Notre Dame J. Formal Log., 1994

1993

Hilbert's Tenth Problem for Weak Theories of Arithmetic.

Richard Kaye

Ann. Pure Appl. Log., 1993

1991

On Cofinal Extensions of Models of Fragments of Arithmetic.

Richard Kaye

Notre Dame J. Formal Log., 1991

Model-Theoretic Properties Characterizing Peano Arithmetic.

Richard Kaye

J. Symb. Log., 1991

A Generalization of Specker's Theorem on Typical Ambiguity.

Richard Kaye

J. Symb. Log., 1991

End-Extensions Preserving Power Set.

Thomas Forster, Richard Kaye

J. Symb. Log., 1991

Automorphisms of Recursively Saturated Models of Arithmetic.

Richard Kaye, Roman Kossak, Henryk Kotlarski

Ann. Pure Appl. Log., 1991

Models of Peano arithmetic.

Richard Kaye

Oxford logic guides 15, Clarendon Press, ISBN: 978-0-19-853213-2, 1991

1990

Diophantine Induction.

Richard Kaye

Ann. Pure Appl. Log., 1990

1989

Parameter-Free Universal Induction.

Richard Kaye

Math. Log. Q., 1989