Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Kaye, Richard - School of Mathematics and Statistics, University of Birmingham
Tennenbaum's Theorem for Models of Arithmetic Richard Kaye
A diophantine undecidable subsystem of arithmetic with no induction axioms
Linear Algebra Richard Kaye and Robert Wilson,
Errata for Automorphisms of firstorder R. W. Kaye and H. D. Macpherson (eds),
How Complicated is Minesweeper? Richard Kaye
Some Minesweeper Configurations Richard Kaye
Infinite versions of minesweeper are Turing complete
Linear Algebra Richard Kaye and Robert Wilson,
More on like models Richard Kaye
Some Minesweeper Configurations Richard Kaye
Theorem 10.16 If A is any upper triangular n \Theta n matrix with entries from R or C , and 1 ; 2 ; : : : ; n are the diagonal entries of A including repetitions,
The model theory of generic cuts Richard Kaye
CONTRIBUTIONS TO THE THEORY OF COMBINATORIAL GAMES
Amphi-ZF : axioms for Conway games Michael Cox and Richard Kaye