Finitely Axiomatizable Theories
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch (Gebunden)
245.03 €
Produktdetails
Produktinformationen zu „Finitely Axiomatizable Theories “
Klappentext zu „Finitely Axiomatizable Theories “
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.
Inhaltsverzeichnis zu „Finitely Axiomatizable Theories “
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.
Bibliographische Angaben
- Autor: Mikhail G. Peretyat'kin
- 1997, 1997., 294 Seiten, Maße: 16 x 24,1 cm, Gebunden, Englisch
- Verlag: Springer
- ISBN-10: 0306110628
- ISBN-13: 9780306110627
- Erscheinungsdatum: 30.09.1997
Sprache:
Englisch
Kommentar zu "Finitely Axiomatizable Theories"
0 Gebrauchte Artikel zu „Finitely Axiomatizable Theories“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Finitely Axiomatizable Theories".
Kommentar verfassen