Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Richard W. Kaye
Observed names:
Kaye, R.W,
Kaye, Richard,
R. Kaye,
RICHARD KAYE,
Richard Kaye
Observed institutions:
University of Notre Dame,
University of Crete,
University of Cambridge,
Oxford University Press (United Kingdom),
University of Manchester,
University of Oxford,
University of Pennsylvania,
University of Birmingham
show all 8
OpenAlex ID:
A5113039938
Models of Peano Arithmetic
1991
·
Richard Kaye
·
587
Minesweeper is NP-complete
2000
·
Richard Kaye
·
The Mathematical Intelligencer
·
147
On Interpretations of Arithmetic and Set Theory
2007
·
Richard Kaye
, Tin Lok Wong
·
Notre Dame Journal of Formal Logic
·
102
PDF
On parameter free induction schemas
1988
·
R. Kaye
, J. Paris
, et al.
·
Journal of Symbolic Logic
·
50
Automorphisms of recursively saturated models of arithmetic
1991
·
Richard Kaye
, Roman Kossak
, et al.
·
Annals of Pure and Applied Logic
·
43
Tennenbaum's theorem for models of arithmetic
2011
·
Richard Kaye
·
Cambridge University Press eBooks
·
27
A gray code for set partitions
1976
·
Richard Kaye
·
Information Processing Letters
·
27
Diophantine Induction
1990
·
Richard Kaye
·
Annals of Pure and Applied Logic
·
24
PDF
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
2007
·
Richard Kaye
·
21
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
2007
·
Richard W. Kaye
·
Cambridge University Press eBooks
·
14
A Galois correspondence for countable recursively saturated models of Peano arithmetic
1994
·
Richard Kaye
·
Oxford University Press eBooks
·
14
Model-Theoretic Properties Characterizing Peano Arithmetic
1991
·
Richard Kaye
·
Journal of Symbolic Logic
·
12
End-extensions preserving power set
1991
·
Thomas Forster
, Richard Kaye
·
Journal of Symbolic Logic
·
12
Parameter‐Free Universal Induction
1989
·
Richard Kaye
·
Mathematical logic quarterly
·
9
Infinite versions of minesweeper are Turing complete
2007
·
Richard Kaye
·
8
A generalization of Specker's theorem on typical ambiguity
1991
·
Richard Kaye
·
Journal of Symbolic Logic
·
7
Normal subgroups of nonstandard symmetric and alternating groups
2007
·
John Allsup
, Richard Kaye
·
Archive for Mathematical Logic
·
6
Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups
1994
·
Richard Kaye
, Henryk Kotlarski
·
Notre Dame Journal of Formal Logic
·
6
PDF
Generic cuts in models of arithmetic
2008
·
Richard Kaye
·
Mathematical logic quarterly
·
5
On Models Constructed by Means of the Arithmetized Completeness Theorem
2000
·
Richard Kaye
, Henryk Kotlarski
·
Mathematical logic quarterly
·
5
The Theory of $\kappa$-like Models of Arithmetic
1995
·
Richard Kaye
·
Notre Dame Journal of Formal Logic
·
5
PDF
Hilbert's tenth problem for weak theories of arithmetic
1993
·
Richard Kaye
·
Annals of Pure and Applied Logic
·
5
The Automorphism Group of a Countable Recursively Saturated Structure
1992
·
Richard Kaye
·
Proceedings of the London Mathematical Society
·
5
Amphi-ZF : axioms for Conway games
2012
·
Michael Cox
, Richard Kaye
·
Archive for Mathematical Logic
·
4
Truth in generic cuts
2010
·
Richard Kaye
, Tin Lok Wong
·
Annals of Pure and Applied Logic
·
4
PDF
Show more works
View as search
Works count:
85
Citation count:
1,185
H-index:
12
I10-index:
13
Year
Topic
Type
