Richard Kaye
Richard Kaye
Tin Lok Wong
The Model Theory of Generic Cuts.
281-296
2015
Logic Without Borders
https://doi.org/10.1515/9781614516873.281
books/daglib/0035342
db/books/collections/HKKV2015.html#KayeW15
Richard Kaye
Circularity in Soundness and Completeness.
24-38
2014
20
Bull. Symb. Log.
1
https://doi.org/10.1017/bsl.2013.4
db/journals/bsl/bsl20.html#Kaye14
Richard Kaye
Interpretations between <i>ω</i>-Logic and second-order Arithmetic.
845-858
2014
79
J. Symb. Log.
3
https://doi.org/10.1017/jsl.2013.17
db/journals/jsyml/jsyml79.html#Kaye14
Richard Kaye
The arithmetic of cuts in models of arithmetic.
332-351
2013
59
Math. Log. Q.
4-5
https://doi.org/10.1002/malq.201200062
db/journals/mlq/mlq59.html#Kaye13
Michael Cox
Richard Kaye
Amphi-ZF : axioms for Conway games.
353-371
2012
51
Arch. Math. Log.
3-4
https://doi.org/10.1007/s00153-012-0275-x
db/journals/aml/aml51.html#CoxK12
Fredrik Engström
Richard Kaye
Transplendent Models: Expansions Omitting a Type.
413-428
2012
53
Notre Dame J. Formal Log.
3
https://doi.org/10.1215/00294527-1716739
db/journals/ndjfl/ndjfl53.html#EngstromK12
Richard Kaye
Tin Lok Wong
Truth in generic cuts.
987-1005
2010
161
Ann. Pure Appl. Log.
8
https://doi.org/10.1016/j.apal.2009.11.001
db/journals/apal/apal161.html#KayeW10
Richard Kaye
Generic cuts in models of arithmetic.
129-144
2008
54
Math. Log. Q.
2
https://doi.org/10.1002/malq.200710017
db/journals/mlq/mlq54.html#Kaye08
John Allsup
Richard Kaye
Normal subgroups of nonstandard symmetric and alternating groups.
107-121
2007
46
Arch. Math. Log.
2
https://doi.org/10.1007/s00153-006-0030-2
db/journals/aml/aml46.html#AllsupK07
Richard Kaye
Tin Lok Wong
On Interpretations of Arithmetic and Set Theory.
497-510
2007
48
Notre Dame J. Formal Log.
4
https://doi.org/10.1305/ndjfl/1193667707
https://www.wikidata.org/entity/Q63018434
db/journals/ndjfl/ndjfl48.html#KayeW07
Richard Kaye
Henryk Kotlarski
On Models Constructed by Means of the Arithmetized Completeness Theorem.
505-516
2000
46
Math. Log. Q.
4
https://doi.org/10.1002/1521-3870(200010)46:4<505::AID-MALQ505>3.0.CO;2-M
db/journals/mlq/mlq46.html#KayeK00
Richard Kaye
Infinitary Definitions of Equivalence Relations in Models of PA.
37-43
1997
89
Ann. Pure Appl. Log.
1
db/journals/apal/apal89.html#Kaye97
https://doi.org/10.1016/S0168-0072(97)00003-1
Richard Kaye
The Theory of κ-like Models of Arithmetic.
547-559
1995
36
Notre Dame J. Formal Log.
4
db/journals/ndjfl/ndjfl36.html#Kaye95
https://doi.org/10.1305/ndjfl/1040136915
Henryk Kotlarski
Richard Kaye
Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups.
1-14
1994
35
Notre Dame J. Formal Log.
1
db/journals/ndjfl/ndjfl35.html#KotlarskiK94
https://doi.org/10.1305/ndjfl/1040609291
Richard Kaye
Hilbert's Tenth Problem for Weak Theories of Arithmetic.
63-73
1993
61
Ann. Pure Appl. Log.
1-2
db/journals/apal/apal61.html#Kaye93
https://doi.org/10.1016/0168-0072(93)90198-M
Richard Kaye
Models of Peano arithmetic.
I-X, 1-292
Clarendon Press
1991
Oxford logic guides
15
978-0-19-853213-2
Richard Kaye
Roman Kossak
Henryk Kotlarski
Automorphisms of Recursively Saturated Models of Arithmetic.
67-99
1991
55
Ann. Pure Appl. Log.
1
db/journals/apal/apal55.html#KayeKK91
https://doi.org/10.1016/0168-0072(91)90098-7
Thomas Forster
Richard Kaye
End-Extensions Preserving Power Set.
323-328
1991
56
J. Symb. Log.
1
db/journals/jsyml/jsyml56.html#ForsterK91
https://doi.org/10.2307/2274922
http://projecteuclid.org/euclid.jsl/1183743569
Richard Kaye
A Generalization of Specker's Theorem on Typical Ambiguity.
458-466
1991
56
J. Symb. Log.
2
db/journals/jsyml/jsyml56.html#Kaye91
https://doi.org/10.2307/2274693
http://projecteuclid.org/euclid.jsl/1183743650
Richard Kaye
Model-Theoretic Properties Characterizing Peano Arithmetic.
949-963
1991
56
J. Symb. Log.
3
db/journals/jsyml/jsyml56.html#Kaye91a
https://doi.org/10.2307/2275063
http://projecteuclid.org/euclid.jsl/1183743742
Richard Kaye
On Cofinal Extensions of Models of Fragments of Arithmetic.
399-408
1991
32
Notre Dame J. Formal Log.
3
db/journals/ndjfl/ndjfl32.html#Kaye91
https://doi.org/10.1305/ndjfl/1093635836
Richard Kaye
Diophantine Induction.
1-40
1990
46
Ann. Pure Appl. Log.
1
db/journals/apal/apal46.html#Kaye90
https://doi.org/10.1016/0168-0072(90)90076-E
Richard Kaye
Parameter-Free Universal Induction.
443-456
1989
35
Math. Log. Q.
5
https://doi.org/10.1002/malq.19890350511
db/journals/mlq/mlq35.html#Kaye89
John Allsup
Michael Cox
Fredrik Engström
Thomas E. ForsterThomas Forster
Roman Kossak
Henryk Kotlarski
Tin Lok Wong