X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Book
    Book
    The metamathematics of algebraic systems : collected papers: 1936 - 1967 (1971)
    Amsterdam [u.a.] :North-Holland,
    Details
    UID:
    almafu_BV001948733
    Format: XVIII, 494 S.
    ISBN: 0-7204-2266-3
    Series Statement: Studies in logic and the foundations of mathematics 66
    Language: English
    Subjects: Mathematics , Philosophy
    RVK:
    CC 2600
    RVK:
    SK 130
    Keywords: 1909-1967 Malʹcev, Anatolij I. ; Bibliografie ; Algebra ; Metamathematik
    URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001270393&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
    URL: Inhaltsverzeichnis
    Author information: Malʹcev, Anatolij I. 1909-1967
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    FU Berlin get availability status
    BTU Cottbus get availability status
    TU Berlin get availability status
  • 2
    Online Resource
    Online Resource
    The metamathematics of algebraic systems : collected papers, 1936-1967 (1971)
    Amsterdam :North-Holland Pub. Co.,
    Details
    UID:
    almahu_9947368112602882
    Format: 1 online resource (513 p.)
    ISBN: 1-283-52553-4 , 9786613837981 , 0-08-095478-2
    Series Statement: Studies in logic and the foundations of mathematics ; v. 66
    Content: Provability, Computability and Reflection
    Note: Description based upon print version of record. , Front Cover; The Metamathematics of Algebraic Systems; Copyright Page; Contents; Translator's foreword; Biographical note; Chapter 1. Investigations in the realm of mathematical logic; Chapter 2. A general method for obtaining local theorems in group theory; Chapter 3. Representations of models; Chapter 4. Quasiprimitive classes of abstract algebras; Chapter 5. Subdirect products of models; Chapter 6. Derived operations and predicates; Chapter 7. Classes of models with an operation of generation; Chapter 8. Defining relations in categories , Chapter 9. The structural characterization of certain classes of algebrasChapter 10. Certain classes of models; Chapter 11. Model correspondences; Introduction; 1. Multibase models; 2. Fundamental properties of projective correspondences; 3. Quasiuniversal subclasses; Chapter 12. Regular products of models; Introduction; 1. Splitting correspondences; 2. Regular products; Chapter 13. Small models; Chapter 14. Free solvable groups; Chapter 15. A correspondence between rings and groups; 1. The direct mapping; 2. Groups with distinguished elements; 3. The inverse mapping , 4. The reciprocity of the correspondences s and t5. Some special cases; 6. Reductions and interpretations of classes of models; 7. The undecidability of sundry classes of metabelian groups; 8. Nilpotent groups; Chapter 16. The undecidability of the elementary theories of certain fields; 1. The field of rational functions; 2. Fields of formal power series; Chapter 17. A remark concerning "The undecidability of the elementary theories of certain fields" [XVI]; Chapter 18. Constructive algebras. I; Introduction; 1. Algebraic systems; 2. Numbered sets; 3. Numbered algebraic systems , 4. Finitely generated algebrasChapter 19. The undecidability of the elementary theory of finite groups; Chapter 20. Elementary properties of linear groups; Introduction; 1. The elementary nature of the Segre characteristic; 2. Elementary (arithmetic) types of linear and projective groups; Chapter 21. The effective inseparability of the set of valid sentences from the set of finitely refutable sentences in several elementary theories; Chapter 22. Closely related models and recursively perfect algebras; 1. Closely related models; 2. Recursively perfect algebras; 3. Linear groups , Chapter 23. Axiomatizable classes of locally free algebras of various types1. Locally absolutely free algebras; 2. Ordered groupoids; 3. G -algebras; 4. Special formulas; 5 . Standard formulas; 6. The reduction of negations of standard formulas; 7. The reduction of closed formulas; Chapter 24. Recursive abelian groups; Chapter 25. Sets with complete numberings; 1. Complete numberings; 2. Isomorphism. Factor numberings; 3. Enumerable families of elements; 4. Completely numbered sets whose every family of nonspecial elements is totally enumerable; 5. Universal series of sets , 6. Totally enumerable families of partial recursive functions , English
    Additional Edition: ISBN 0-7204-2266-3
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
    FU Berlin
    Charité
  • 3
    Online Resource
    Online Resource
    The metamathematics of algebraic systems, collected papers: 1936-1967 (1971)
    Amsterdam : North-Holland Pub. Co
    Details
    UID:
    gbv_1655653962
    Format: Online Ressource (xviii, 494 pages)
    Edition: Online-Ausg.
    ISBN: 9780080954783 , 0080954782 , 9780720422665
    Series Statement: Studies in logic and the foundations of mathematics v. 66
    Note: Includes bibliographical references (pages 474-488). - Print version record
    Additional Edition: ISBN 0720422663
    Additional Edition: Erscheint auch als Druck-Ausgabe Malʹt︠s︡ev, A. I. (Anatoliĭ Ivanovich), 1909-1967 Metamathematics of algebraic systems, collected papers: 1936-1967 Amsterdam : North-Holland Pub. Co, 1971
    Language: English
    Keywords: Algebraische Struktur ; Metamathematik ; Malʹcev, Anatolij I. 1909-1967 ; Modelltheorie ; Algebra ; Electronic books ; Electronic books ; Aufsatzsammlung ; Bibliografie
    URL: lizenzpflichtig
    URL: Volltext
    URL: lizenzpflichtig
    Author information: Malʹcev, Anatolij I. 1909-1967
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Stabi Berlin
    UB Potsdam
  • 4
    Book
    Book
    Metamathematics of algebraic systems: Collected papers: 1936-1967 (1971)
    Amsterdam [u.a.] : North-Holland Publ.
    Details
    UID:
    gbv_196850126
    Format: XVIII, 494 S
    ISBN: 0720422663
    Series Statement: Studies in logic and the foundations of mathematics 66
    Note: Bibliography: p. 474-488
    Language: English
    Subjects: Mathematics , Philosophy
    RVK:
    CC 2600
    RVK:
    SK 130
    Keywords: Algebraische Struktur ; Metamathematik ; Malʹcev, Anatolij I. 1909-1967 ; Modelltheorie ; Algebra ; Aufsatzsammlung ; Bibliografie
    URL: Inhaltsverzeichnis
    Author information: Malʹcev, Anatolij I. 1909-1967
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 0720424623?
Did you mean 0720422736?
Did you mean 0720422566?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages