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ț: 411.57 lei
- 11% Preț: 591.79 lei
- 11% Preț: 529.94 lei
- 14% Preț: 857.17 lei
- 14% Preț: 748.74 lei
- 20% Preț: 756.56 lei
- 20% Preț: 757.50 lei
- 14% Preț: 764.80 lei
- 14% Preț: 979.85 lei
- 20% Preț: 882.97 lei
- 14% Preț: 980.63 lei
- 14% Preț: 860.64 lei
- 14% Preț: 1184.46 lei
- 14% Preț: 890.34 lei
- 14% Preț: 863.03 lei
- 14% Preț: 981.57 lei
Preț: 1383.82 lei
Preț vechi: 1609.09 lei
-14% Nou
Puncte Express: 2076
Preț estimativ în valută:
264.86€ • 278.46$ • 220.30£
264.86€ • 278.46$ • 220.30£
Carte tipărită la comandă
Livrare economică 28 decembrie 24 - 11 ianuarie 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.