Searching for authors named "Richard Kaye" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
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
Showing 1 through 10.
