UID:
almahu_9947921598902882
Format:
VI, 270 p.
,
online resource.
ISBN:
9783540359005
Series Statement:
Lecture Notes in Mathematics, 72
Note:
Implicit definability and compactness in infinitary languages -- Some remarks on the model theory of infinitary languages -- Remarks on the theory of geometrical constructions -- Note on admissible ordinals -- An algebraic proof of the barwise compactness theorem -- Formulas with linearly ordered quantifiers -- Some problems in group theory -- Choice of infinitary languages by means of definability criteria; Generalized recursion theory -- Definability, automorphisms, and infinitary languages -- The hanf number for complete sentences -- Quantified algebras -- Normal derivability in classical logic -- A determinate logic -- (?1, ?) properties of unions of models.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540042426
Language:
English
URL:
http://dx.doi.org/10.1007/BFb0079679
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(Deutschlandweit zugänglich)
