Introduction to model theory and to the metamathematics of algebra
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Amsterdam
North-Holland Pub. Co.
1963, 1963
|
Series: | Studies in logic and the foundations of mathematics
|
Subjects: | |
Online Access: | |
Collection: | Elsevier eBook collection Mathematics - Collection details see MPG.ReNa |
Table of Contents:
- Includes bibliographical references (pages 272-280)
- Lower predicate calculus
- Algebraic theories
- Some concepts and methods of model theory
- Completeness
- Definability
- Generalization of algebraic concepts
- Metamathematicals theory of ideals
- Metamathematical theory of varieties
- Selected topics