Mikhail G. Peretyat'kin

Finitely Axiomatizable Theories

• Gebundenes Buch

Produktbeschreibung

This is the only monograph devoted to the expressibility of finitely axiomatizable theories, a classical subject in mathematical logic. The volume summarizes investigations in the field that have led to much of the current progress, treating systematically all positive results concerning expressibility. Also included in this unique text are solutions to both the Vaught-Morely problem and the Hanf problem, and a number of new natural questions that provide prospects for further development of the theory.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Siberian School of Algebra and Logic
• Verlag: Springer / Springer US / Springer, Berlin
• Artikelnr. des Verlages: 978-0-306-11062-7
• 1997
• Seitenzahl: 316
• Erscheinungstermin: 30. September 1997
• Englisch
• Abmessung: 241mm x 160mm x 22mm
• Gewicht: 621g
• ISBN-13: 9780306110627
• ISBN-10: 0306110628
• Artikelnr.: 21130744

Inhaltsangabe

Interpretations. A Classification to Property Lists. Reductions of
Signatures. Quasi-Succession of Morley Rank 2. Constructions with Empty
Property List. Constructions with Unary Property List. Rigid
Quasi-Succession. Proof of the Main Theorem. Existence Theorems. Complexity
of Semantic Classes. Universal Classes of Models. Polar Construction and
Analogues of Rice Theorem. Generalization Intelligence in Predicate Logic.
Conclusion. Historical Remarks and Problems. Terminology List. Index of
Denotatons. Subject Index.