Finitely Axiomatizable Theories (inbunden)

Fler böcker inom

Matematisk logik

Format: Inbunden (Hardback)
Språk: Engelska
Antal sidor: 294
Utgivningsdatum: 1997-09-01
Upplaga: 1997 ed.
Förlag: Kluwer Academic/Plenum Publishers
Medarbetare: Peretyat'kin, Mikhail G.
Illustrationer: XIV, 294 p.
Dimensioner: 234 x 156 x 19 mm
Vikt
Antal komponenter: 1
Komponenter: 1 Hardback
ISBN: 9780306110627

Finitely Axiomatizable Theories

Name: Finitely Axiomatizable Theories
Price: 2996.00 SEK
Availability: InStock
Author: Mikhail G Peretyat'Kin
ISBN: 9780306110627

av Mikhail G Peretyat'Kin

Inbunden, Engelska, 1997-09-01

2996

Köp

Spara som favorit

Skickas från oss inom 7-10 vardagar.
Fri frakt över 249 kr för privatkunder i Sverige.

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.

Visa hela texten

Passar bra ihop

De som köpt den här boken har ofta också köpt The Anxious Generation av Jonathan Haidt (inbunden).

Köp båda 2 för 3285 kr

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.