Keywords:
Model theory
;
Metamathematics
;
Algebra, Abstract
;
Metamathematics
;
Model theory
;
Algebra, Abstract
;
Algebra
;
Einführung
;
Mathematik
;
Metamathematik
;
Modelltheorie
;
Theorie
;
Algebra
;
Einführung
;
Mathematik
;
Metamathematik
;
Modelltheorie
;
Theorie
;
Algebra, Abstract
;
Metamathematics
;
Model theory
;
Electronic books
Description / Table of Contents:
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
Type of Medium:
Online Resource
Pages:
Online-Ressource (vi, 284 p)
Edition:
Online-Ausg. 2010 Electronic reproduction
ISBN:
9780444533975
Series Statement:
Studies in Logic and the Foundations of Mathematics v. 32
URL:
http://www.sciencedirect.com/science/book/9780444533975
URL:
http://www.sciencedirect.com/science/bookseries/0049237X/32
URL:
https://www.sciencedirect.com/science/bookseries/0049237X/32
URL:
https://www.sciencedirect.com/science/book/9780444533975
DDC:
511.34
Language:
English
Note:
Bibliography: p. [272]-280
,
Based on the author's thesis, University of London
,
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.
,
Electronic reproduction