Richard W. Kaye

Available identifiers

zbMath Open kaye.richard-wMaRDI QIDQ1762363

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5222082	2020-03-30	Paper
The Model Theory of Generic Cuts	2020-02-03	Paper
INTERPRETATIONS BETWEENω-LOGIC AND SECOND-ORDER ARITHMETIC	2014-12-05	Paper
CIRCULARITY IN SOUNDNESS AND COMPLETENESS	2014-10-21	Paper
The arithmetic of cuts in models of arithmetic	2013-10-30	Paper
Transplendent models: expansions omitting a type	2012-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q3118397	2012-03-02	Paper
Truth in generic cuts	2011-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q3581791	2010-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q3581792	2010-09-02	Paper
Generic cuts in models of arithmetic	2008-05-08	Paper
On interpretations of arithmetic and set theory	2008-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q3594444	2007-08-08	Paper
Normal subgroups of nonstandard symmetric and alternating groups	2007-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4781773	2003-10-06	Paper
Minesweeper is NP-complete.	2001-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q4521125	2001-06-18	Paper
Infinitary definitions of equivalence relations in models of PA	1998-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q4389333	1998-05-13	Paper
Constructing κ-like Models of Arithmetic	1996-12-12	Paper
The quantifier complexity of NF	1996-11-07	Paper
The theory of \(\kappa\)-like models of arithmetic	1996-10-27	Paper
Automorphisms of models of true arithmetic: Recognizing some basic open subgroups	1995-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q4309365	1995-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q4309362	1995-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q3140638	1994-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4309351	1994-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4309361	1994-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4309366	1994-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q3140639	1993-11-28	Paper
Hilbert's tenth problem for weak theories of arithmetic	1993-09-22	Paper
The Automorphism Group of a Countable Recursively Saturated Structure	1993-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4001935	1992-09-18	Paper
Automorphisms of recursively saturated models of arithmetic	1992-06-28	Paper
On cofinal extensions of models of fragments of arithmetic	1992-06-28	Paper
A generalization of Specker's theorem on typical ambiguity	1992-06-27	Paper
Model-theoretic properties characterizing Peano arithmetic	1992-06-27	Paper
End-extensions preserving power set	1992-06-26	Paper
Diophantine induction	1990-01-01	Paper
Parameter-Free Universal Induction	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3807183	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3778748	1987-01-01	Paper
A Gray code for set partitions	1976-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Richard W. Kaye