Robinson, Raphael M. (Raphael Mitchel) 1911
Overview
Works:  12 works in 62 publications in 2 languages and 893 library holdings 

Roles:  Author, Other 
Classifications:  QA9, 164 
Publication Timeline
.
Most widely held works by
Raphael M Robinson
Undecidable theories by
Alfred Tarski(
Book
)
44 editions published between 1953 and 2010 in English and Undetermined and held by 655 WorldCat member libraries worldwide
"This graduatelevel book is well known for its proof that many mathematical systems  including lattice theory, abstract projective geometry, and closure algebras  are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. The first article, "A general method in proofs of undecidability," examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, "Undecidability and essential undecidability in mathematics," explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with "Undecidability of the elementary theory of groups."Back cover
44 editions published between 1953 and 2010 in English and Undetermined and held by 655 WorldCat member libraries worldwide
"This graduatelevel book is well known for its proof that many mathematical systems  including lattice theory, abstract projective geometry, and closure algebras  are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. The first article, "A general method in proofs of undecidability," examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, "Undecidability and essential undecidability in mathematics," explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with "Undecidability of the elementary theory of groups."Back cover
/Unded analytic functions by
Raphael M Robinson(
Book
)
4 editions published in 1944 in English and held by 60 WorldCat member libraries worldwide
4 editions published in 1944 in English and held by 60 WorldCat member libraries worldwide
Stencils for solving x²=a(mod m) by
Raphael M Robinson(
Book
)
2 editions published in 1940 in English and held by 22 WorldCat member libraries worldwide
2 editions published in 1940 in English and held by 22 WorldCat member libraries worldwide
Bounded analytic functions by
Raphael M Robinson(
Book
)
2 editions published between 1944 and 1966 in English and held by 17 WorldCat member libraries worldwide
2 editions published between 1944 and 1966 in English and held by 17 WorldCat member libraries worldwide
Table of factors of numbers one unit larger than small multiples of powers of two by
Raphael M Robinson(
Book
)
2 editions published in 1957 in English and held by 6 WorldCat member libraries worldwide
2 editions published in 1957 in English and held by 6 WorldCat member libraries worldwide
Undecidable theories by
Alfred Tarski(
)
1 edition published in 1971 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1971 in English and held by 2 WorldCat member libraries worldwide
Some results in the theory of schlicht functions by
Raphael M Robinson(
)
1 edition published in 1934 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1934 in English and held by 2 WorldCat member libraries worldwide
Bounded analytic functions by
Raphael M Robinson(
)
1 edition published in 1944 in Italian and held by 1 WorldCat member library worldwide
1 edition published in 1944 in Italian and held by 1 WorldCat member library worldwide
Undecidable Theories. By A. Tarski ... in collaboration with Andrzej Mostowski ... and Raphael M. Robinson by
Alfred Tarski(
Book
)
1 edition published in 1953 in English and held by 1 WorldCat member library worldwide
1 edition published in 1953 in English and held by 1 WorldCat member library worldwide
[Collected reprints] by
Raphael M Robinson(
Book
)
in English and held by 1 WorldCat member library worldwide
in English and held by 1 WorldCat member library worldwide
Stencils for solving x[to the power of 2 is congruent modulo to] a (mod m) by
Raphael M Robinson(
Book
)
1 edition published in 1940 in English and held by 1 WorldCat member library worldwide
1 edition published in 1940 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Useful Links
Associated Subjects
CaliforniaBerkeley Congruences and residues Decidability (Mathematical logic) Factor tables Functions Gödel's theorem Mathematicians MathematicsPhilosophy Metamathematics Number theory Universities and collegesFaculty University of California, Berkeley University of California, Berkeley.Department of Mathematics
Alternative Names
Raphael M. Robinson Amerikaans wiskundige (19111995)
Raphael M. Robinson amerikansk matematikar
Raphael M. Robinson amerikansk matematiker
Raphael M. Robinson matemático estadounidense
Raphael M. Robinson matematico statunitense
Raphael M. Robinson mathématicien américain
Raphael Mitchel Robinson
Raphael Robinson USamerikanischer Mathematiker
Robinson, Raphael M.
Robinson, Raphael Mitchel.
Robinson, Raphael Mitchel 1911
Robinson, Raphael Mitchel 19111995
Рафаель Робінсон американський математик, який зробив значний внесок у розвиток математичної логіки
Робинсон, Рафаэль
ラファエル・M・ロビンソン
拉斐爾·米切爾·羅賓遜
Languages
Covers