Richard Kaye - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2015

The Model Theory of Generic CutsRichard Kaye, Tin Lok Wong. In Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces, editors, Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Volume 5 of Ontos Mathematical Logic, pages 281-296, De Gruyter, 2015. [doi]

2014

ω-Logic and second-order ArithmeticRichard Kaye. JSYML, 79(3):845-858, 2014. [doi]

Circularity in Soundness and CompletenessRichard Kaye. bsl, 20(1):24-38, 2014. [doi]

2013

The arithmetic of cuts in models of arithmeticRichard Kaye. mlq, 59(4-5):332-351, 2013. [doi]

2012

Amphi-ZF : axioms for Conway gamesMichael Cox, Richard Kaye. AML, 51(3-4):353-371, 2012. [doi]

Transplendent Models: Expansions Omitting a TypeFredrik Engström, Richard Kaye. ndjfl, 53(3):413-428, 2012. [doi]

2010

Truth in generic cutsRichard Kaye, Tin Lok Wong. APAL, 161(8):987-1005, 2010. [doi]

2008

Generic cuts in models of arithmeticRichard Kaye. mlq, 54(2):129-144, 2008. [doi]

2007

Normal subgroups of nonstandard symmetric and alternating groupsJohn Allsup, Richard Kaye. AML, 46(2):107-121, 2007. [doi]

On Interpretations of Arithmetic and Set TheoryRichard Kaye, Tin Lok Wong. ndjfl, 48(4):497-510, 2007. [doi]

2000

On Models Constructed by Means of the Arithmetized Completeness TheoremRichard Kaye, Henryk Kotlarski. mlq, 46(4):505-516, 2000. [doi]

1997

Infinitary Definitions of Equivalence Relations in Models of PARichard Kaye. APAL, 89(1):37-43, 1997.

1995

The Theory of kappa-like Models of ArithmeticRichard Kaye. ndjfl, 36(4):547-559, 1995.

1994

Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open SubgroupsHenryk Kotlarski, Richard Kaye. ndjfl, 35(1):1-14, 1994.

1993

Hilbert s Tenth Problem for Weak Theories of ArithmeticRichard Kaye. APAL, 61(1-2):63-73, 1993.

1991

End-Extensions Preserving Power SetThomas Forster, Richard Kaye. JSYML, 56(1):323-328, 1991.

Automorphisms of Recursively Saturated Models of ArithmeticRichard Kaye, Roman Kossak, Henryk Kotlarski. APAL, 55(1):67-99, 1991.

A Generalization of Specker s Theorem on Typical AmbiguityRichard Kaye. JSYML, 56(2):458-466, 1991.

On Cofinal Extensions of Models of Fragments of ArithmeticRichard Kaye. ndjfl, 32(3):399-408, 1991.

Model-Theoretic Properties Characterizing Peano ArithmeticRichard Kaye. JSYML, 56(3):949-963, 1991.

Models of Peano arithmeticRichard Kaye. Volume 15 of Oxford logic guides, Clarendon Press, 1991.

1990

Diophantine InductionRichard Kaye. APAL, 46(1):1-40, 1990.

1989

Parameter-Free Universal InductionRichard Kaye. mlq, 35(5):443-456, 1989. [doi]

Sign in or sign up to see more results.

runs on WebDSL