WorldCat Identities

Robinson, Raphael M. (Raphael Mitchel) 1911-

Overview
Works: 18 works in 71 publications in 2 languages and 925 library holdings
Genres: Academic theses 
Roles: Author, Collector, 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 )

44 editions published between 1953 and 2010 in English and Undetermined and held by 783 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 )

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

3 editions published in 1940 in English and held by 24 WorldCat member libraries worldwide

Undecidable theories, by Alfred Tarski ... In collaboration with Andrzej Mostowski ... and Raphael M. Robinson by Alfred Tarski( Book )

2 editions published in 1953 in English and held by 17 WorldCat member libraries worldwide

Bounded analytic functions by Raphael M Robinson( Book )

1 edition published in 1944 in English and held by 12 WorldCat member libraries worldwide

Bounded analytic functions by Raphael M Robinson( Book )

4 editions published between 1944 and 1966 in English and held by 10 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

Some results in the theory of schlicht functions by Raphael M Robinson( )

2 editions published in 1934 in English and held by 3 WorldCat member libraries worldwide

Undecible theories by Alfred Tarski( Book )

2 editions published between 1953 and 1968 in English and held by 2 WorldCat member libraries 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 by Raphael M Robinson( Book )

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

On the decomposition of spheres by Raphael M Robinson( Book )

1 edition published in 1947 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

Undecidable theories by Alfred Tarski( )

1 edition published in 1971 in English 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

Undeciderable theories by Alfred Tarski( Book )

1 edition published in 1953 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 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.61 (from 0.32 for Undecidabl ... to 1.00 for Table of f ...)

Undecidable theories
Covers
Alternative Names
Raphael M. (Raphael Mitchel) Robinson

Raphael M. Robinson Amerikaans wiskundige (1911-1995)

Raphael M. Robinson amerikansk matematikar

Raphael M. Robinson amerikansk matematiker

Raphael M. Robinson matamaiticeoir Meiriceánach (1911-1995)

Raphael M. Robinson matemàtic estatunidenc

Raphael M. Robinson matemático estadounidense

Raphael M. Robinson matematico statunitense

Raphael M. Robinson matematikan amerikan

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