Model-Theoretic Logics: Perspectives in Logic, cartea 8
Editat de J. Barwise, S. Fefermanen Limba Engleză Hardback – mar 2017
Din seria Perspectives in Logic
- Preț: 419.06 lei
- 11% Preț: 602.61 lei
- 11% Preț: 539.58 lei
- 14% Preț: 872.85 lei
- 14% Preț: 762.45 lei
- 20% Preț: 770.43 lei
- 20% Preț: 771.38 lei
- 14% Preț: 778.80 lei
- 14% Preț: 997.79 lei
- 20% Preț: 899.15 lei
- 14% Preț: 998.59 lei
- 14% Preț: 876.39 lei
- 14% Preț: 1206.19 lei
- 14% Preț: 906.65 lei
- 14% Preț: 878.83 lei
- 14% Preț: 999.56 lei
Preț: 1409.23 lei
Preț vechi: 1638.63 lei
-14% Nou
Puncte Express: 2114
Preț estimativ în valută:
269.74€ • 282.84$ • 222.87£
269.74€ • 282.84$ • 222.87£
Carte tipărită la comandă
Livrare economică 29 ianuarie-12 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781107168251
ISBN-10: 1107168252
Pagini: 911
Ilustrații: 11 b/w illus.
Dimensiuni: 163 x 240 x 58 mm
Greutate: 3.08 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Perspectives in Logic
Locul publicării:New York, United States
ISBN-10: 1107168252
Pagini: 911
Ilustrații: 11 b/w illus.
Dimensiuni: 163 x 240 x 58 mm
Greutate: 3.08 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Perspectives in Logic
Locul publicării:New York, United States
Cuprins
List of contributors; Part I. Introduction, Basic Theory and Examples: 1. Model-theoretic logics: background and aims J. Barwise; 2. Extended logics: the general framework H.-D. Ebbinghaus; 3. Characterizing logics J. Flum; Part II. Finitary Languages with Additional Quantifiers: 4. The quantifier 'there exist uncountably many' and some of its relatives M. Kaufmann; 5. Transfer theorems and their applications to logics J. H. Schmerl; 6. Other quantifiers: an overview D. Mundici; 7. Decidability and quantifier-elimination A. Baudisch, D. Seese, P. Tuschik and M. Weese; Part III. Infinitary Languages: 8. Lω1ω and admissible fragments M. Nadel; 9. Larger infinitary languages M. A. Dickmann; 10. Game quantification Ph. G. Kolaitis; 11. Applications to algebra P. C. Ecklof; Part IV. Second-Order Logic: 12. Definable second-order quantifiers J. Baldwin; 13. Monadic second-order theories Y. Gurevich; Part V. Logics of Topology and Analysis: 14. Probability quantifiers H. J. Keisler; 15. Topological model theory M. Ziegler; 16. Borel structures and measure and category logics C. I. Steinhorn; Part VI. Advanced Topics in Abstract Model Theory: 17. Set-theoretic definability of logics J. Väänänen; 18. Compactness, embeddings and definability J. A. Makowsky; 19. Abstract equivalence relations J. A. Makowsky and D. Mundici; 20. Abstract embedding relations J. A. Makowsky; Bibliography D. S. Scott, D. C. McCarthy and J. F. Horty.
Descriere
This book brings together several directions of work in model theory between the late 1950s and early 1980s.