Eylem Seç
Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977
Başlık:
Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977
Yazar:
Logic Colloquium (1977 : Wrocław, Poland)
ISBN:
9780080955049
9786613838094
Toplantı Adı Girişi:
Yayın Bilgileri:
Amsterdam ; New York : North Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.
Fiziksel Tanımlama:
1 online resource (x, 311 pages) : illustrations.
Seri:
Studies in logic and the foundations of mathematics ; v. 96
Studies in logic and the foundations of mathematics ; v. 96.
İçerik:
Front Cover; Logic Colloquium''77; Copyright Page; Contents; Preface; Chapter 1. The elementary theory of well-ordering -- a metamathematical study; Chapter 2. The type theoretic interpretation of constructive set theory; Chapter 3. Ideals on uncountable cardinals; Chapter 4. A model-theoretic view of some special ultrafilters; Chapter 5. Cogeneric extensions; Chapter 6. Super stable division rings; Chapter 7. Martin's axiom versus the continuum hypothesis; Chapter 8. On the tightness of product spaces; Chapter 9. A game theoretic property of Boolean algebras.
Chapter 10. On Vopgnka's and related principlesChapter 11. On transfinite sequences of projective sets with an application to S12 equivalence relations; Chapter 12. Uniform theorems in infinitary logic; Chapter 13. Diagonal methods and strong cuts in models of arithmetic; Chapter 14. Quantifying over countable sets: positive vs stationary logic; Chapter 15. A footnote to a theorem of Solovay on recursive encodability; Chapter 16. Sn-Collection schemas in arithmetic; Chapter 17. Inner models, ordinal definability and the axiom of power set; Chapter 18.?o-categoricity and comparability graphs.
Chapter 19. Decidahility and generalized quantifiersChapter 20. A framework for topology; Chapter 21. Beth's theorem and self-referential sentences; Chapter 22. Compactness properties of infinitary and abstract languages I. General results; Chapter 23. Perfect set theorems for analytic and coanalytic equivalence relations; Chapter 24. Some results and problems on weak systems of arithmetic; Chapter 25. Definable bases of monotone systems.
Özet:
Provability, Computability and Reflection.
Elektronik Erişim:
ScienceDirect http://www.sciencedirect.com/science/book/9780444851789 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/96Mevcut:*
Yer Numarası | Demirbaş Numarası | Shelf Location | Lokasyon / Statüsü / İade Tarihi |
---|---|---|---|
QA9 .A1 L63 1977 | 1192322-1001 | Elsevier E-Kitap Koleksiyonu | Arıyor... |
On Order
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
:
Select An Item
Data usage warning: You will receive one text message for each title you selected.
Standard text messaging rates apply.