Searching for authors named "Richard Kaye" – sorted by Relevance.
-
Polish Groups
- Polish Groups Richard Kaye School of Mathematics and Statistics The University of Birmingham
- Add To MetaCart
-
A Gray code for set partitions
- Richard KAYE Wharton School, University of Pennsylvania, USA Received 1 September 1976 Partition, set
- Cited by 12 (0 self) – Add To MetaCart
-
Tennenbaum’s Theorem for Models of Arithmetic
- Tennenbaum’s Theorem for Models of Arithmetic Richard Kaye 2006-09-23, revised 2006-12-29 Abstract
- Cited by 1 (0 self) – Add To MetaCart
-
The automorphism group of a countable recursively saturated structure
- THE AUTOMORPHISM GROUP OF A COUNTABLE RECURSIVELY SATURATED STRUCTURE RICHARD KAYE [Received 31
- Cited by 1 (1 self) – Add To MetaCart
-
A Diophantine Undecidable Subsystem of Arithmetic With No Induction Axioms
- A diophantine undecidable subsystem of arithmetic with no induction axioms Richard Kaye School
- Cited by 2 (1 self) – Add To MetaCart
-
Infinite versions of minesweeper are Turing complete
- Infinite versions of minesweeper are Turing complete Richard Kaye School of Mathematics
- Cited by 1 (0 self) – Add To MetaCart
-
Diophantine Undecidable Theories of Arithmetic
- Diophantine undecidable theories of arithmetic Richard Kaye School of Mathematics and Statistics
- Cited by 1 (1 self) – Add To MetaCart
-
Arithmetic and the Incompleteness Theorems
- Arithmetic and the Incompleteness Theorems Contents Richard Kaye School of Mathematics
- Add To MetaCart
-
Order-types of models of Peano arithmetic: a short survey
- ∗ and Richard Kaye † June 14, 2001 This paper is a short and slightly selective survey of results on order
- Add To MetaCart
-
On models constructed by means of the Arithmetized Completeness Theorem
- On models constructed by means of the Arithmetized Completeness Theorem Richard Kaye Henryk
- Cited by 1 (0 self) – Add To MetaCart

