Complete theories / Abraham Robinson

Amsterdam: North-Holland Pub. Co./Elsevier, 1956. Ex-Lib. Paperback. Good/None. Studies in logic and the foundations of mathematics Light yellow wraps are lightly waterstained and soiled, with a small scar on front where a tape was removed. Bottom front corner is rubbed. Scars to both pastedowns where bookplate/envelope removed. Blindstamp of Oberlin College Library on title page. A 6-digit number stamped in blue on copyright page. Text is unmarked. Binding is sound. 8vo. BOOK INFO: Editors L. E. J. Brouwer, E. W. Beth, and A. Heyting. 'It is known that a close integration of the methods of Abstract Algebra and of Mathematical Logic can lead to results which are of considerable interest to both subjects. The present work...is based on this fundamental idea. The book is chiefly concerned with completeness problems for algebraic structures. The two most interesting algebraic notions for which completeness has been established in the past are, the concept of an algebraically closed field of given characteristic, and the concept of a real-closed field. By introducing a mofified version of completeness, we are able to establish the property for further important types of structures, in particular for certain classes of algebraically closed fields with a non-archimedean valuation in an ordered abelian group. At the same time, we obtain new proofs of the completeness of the concepts mentioned earlier.' (from the introduction) Includes index. Bibliography: p. [126]-127.