Richard Kaye

Publication Activity (10 Years)

Years Active: 1989-2014
Publications (10 Years): 0

Top Topics

Monte Carlo Tree Search

Computational Models

Arithmetic Operations

Top Venues

Bull. Symb. Log.

Arch. Math. Log.

Publications

Richard Kaye
Circularity in Soundness and Completeness. Bull. Symb. Log. 20 (1) (2014)
Richard Kaye
-Logic and second-order Arithmetic. J. Symb. Log. 79 (3) (2014)
Richard Kaye
The arithmetic of cuts in models of arithmetic. Math. Log. Q. 59 (4-5) (2013)
Michael Cox, Richard Kaye
Amphi-ZF : axioms for Conway games. Arch. Math. Log. 51 (3-4) (2012)
Fredrik Engström, Richard Kaye
Transplendent Models: Expansions Omitting a Type. Notre Dame J. Formal Log. 53 (3) (2012)
Richard Kaye, Tin Lok Wong
Truth in generic cuts. Ann. Pure Appl. Log. 161 (8) (2010)
Richard Kaye
Generic cuts in models of arithmetic. Math. Log. Q. 54 (2) (2008)
Richard Kaye, Tin Lok Wong
On Interpretations of Arithmetic and Set Theory. Notre Dame J. Formal Log. 48 (4) (2007)
John Allsup, Richard Kaye
Normal subgroups of nonstandard symmetric and alternating groups. Arch. Math. Log. 46 (2) (2007)
Richard Kaye, Henryk Kotlarski
On Models Constructed by Means of the Arithmetized Completeness Theorem. Math. Log. Q. 46 (4) (2000)
Richard Kaye
Infinitary Definitions of Equivalence Relations in Models of PA. Ann. Pure Appl. Log. 89 (1) (1997)
Richard Kaye
The Theory of κ-like Models of Arithmetic. Notre Dame J. Formal Log. 36 (4) (1995)
Henryk Kotlarski, Richard Kaye
Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups. Notre Dame J. Formal Log. 35 (1) (1994)
Richard Kaye
Hilbert's Tenth Problem for Weak Theories of Arithmetic. Ann. Pure Appl. Log. 61 (1-2) (1993)
Richard Kaye
Model-Theoretic Properties Characterizing Peano Arithmetic. J. Symb. Log. 56 (3) (1991)
Thomas Forster, Richard Kaye
End-Extensions Preserving Power Set. J. Symb. Log. 56 (1) (1991)
Richard Kaye
A Generalization of Specker's Theorem on Typical Ambiguity. J. Symb. Log. 56 (2) (1991)
Richard Kaye
On Cofinal Extensions of Models of Fragments of Arithmetic. Notre Dame J. Formal Log. 32 (3) (1991)
Richard Kaye, Roman Kossak, Henryk Kotlarski
Automorphisms of Recursively Saturated Models of Arithmetic. Ann. Pure Appl. Log. 55 (1) (1991)
Richard Kaye
Diophantine Induction. Ann. Pure Appl. Log. 46 (1) (1990)
Richard Kaye
Parameter-Free Universal Induction. Math. Log. Q. 35 (5) (1989)