In Memoriam: Raphael Mitchel Robinson
From MaRDI portal
Publication:4858807
DOI10.1017/S1079898600008131zbMath0834.01016MaRDI QIDQ4858807
Publication date: 1 February 1996
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0103-toc.htm
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)
Related Items (1)
Cites Work
- Undecidability and nonperiodicity for tilings of the plane
- Arithmetical representation of recursively enumerable sets
- THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS
- Some representations of Diophantine sets
- The theory of classes A modification of von Neumann's system
- Primitive recursive functions
- Recursion and double recursion
- Arithmetical definability of field elements
- Finite sequences of classes
This page was built for publication: In Memoriam: Raphael Mitchel Robinson