WorldCat Identities

Robinson, Raphael M. (Raphael Mitchel) 1911-

Overview
Works: 11 works in 52 publications in 2 languages and 858 library holdings
Roles: Author, Contributor, Other
Classifications: QA9, 164
Publication Timeline
.
Most widely held works about Raphael M Robinson
 
Most widely held works by Raphael M Robinson
Undecidable theories by Alfred Tarski( Book )

39 editions published between 1953 and 2010 in English and Undetermined and held by 640 WorldCat member libraries worldwide

"This graduate-level 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 )

3 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 )

1 edition published in 1940 in English and held by 21 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

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

Undecidable theories by Alfred Tarski( )

1 edition published in 1971 in English and held by 2 WorldCat member libraries 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

[Collected reprints] by Raphael M Robinson( Book )

in English and held by 1 WorldCat member library worldwide

Bounded analytic functions by Raphael M Robinson( )

1 edition published in 1944 in Italian and held by 1 WorldCat member library worldwide

Table of factors of numbers one unit larger than small multiples of powers of two by Raphael M Robinson( Book )

1 edition published in 1957 in English and held by 1 WorldCat member library worldwide

 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.62 (from 0.60 for Undecidabl ... to 0.98 for Bounded an ...)

Undecidable theories
Alternative Names
Raphael M. Robinson Amerikaans wiskundige (1911-1995)

Raphael M. Robinson amerikansk matematikar

Raphael M. Robinson amerikansk matematiker

Raphael M. Robinson mathématicien américain

Raphael Mitchel Robinson

Raphael Robinson US-amerikanischer Mathematiker

Robinson, Raphael M.

Robinson, Raphael Mitchel.

Robinson, Raphael Mitchel 1911-

Robinson, Raphael Mitchel, 1911-1995

Рафаель Робінсон американський математик, який зробив значний внесок у розвиток математичної логіки

Робинсон, Рафаэль

ラファエル・M・ロビンソン

Languages
Covers