In Memoriam: Raphael Mitchel Robinson

DOI10.1017/S1079898600008131MaRDI QIDQ4858807zbMATH OpenFDO

Authors Leon Henkin

Publication date 1 February 1996

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0103-toc.htm

zbMATH Keywords

Obituary

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)

Cites work

• Arithmetical definability of field elements
• Arithmetical representation of recursively enumerable sets
• Finite sequences of classes
• Primitive recursive functions
• Recursion and double recursion
• Some representations of Diophantine sets
• The theory of classes A modification of von Neumann's system
• THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS
• Undecidability and nonperiodicity for tilings of the plane

Cited in

(1)

• In Memoriam: Leon Albert Henkin 1921–2006

This page was built for publication: In Memoriam: Raphael Mitchel Robinson

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4858807)