Logic Colloquium '77 (eBook)

Front Cover 1
Logic Colloquium''77 4
Copyright Page 5
Contents 10
Preface 8
Chapter 1. The elementary theory of well-ordering --a metamathematical study 12
Chapter 2. The type theoretic interpretation of constructive set theory 66
Chapter 3. Ideals on uncountable cardinals 78
Chapter 4. A model-theoretic view of some special ultrafilters 90
Chapter 5. Cogeneric extensions 102
Chapter 6. Super stable division rings 110
Chapter 7. Martin's axiom versus the continuum hypothesis 124
Chapter 8. On the tightness of product spaces 134
Chapter 9. A game theoretic property of Boolean algebras 146
Chapter 10. On Vopgnka's and related principles 156
Chapter 11. On transfinite sequences of projective sets with an application to S12 equivalence relations 166
Chapter 12. Uniform theorems in infinitary logic 172
Chapter 13. Diagonal methods and strong cuts in models of arithmetic 182
Chapter 14. Quantifying over countable sets: positive vs stationary logic 194
Chapter 15. A footnote to a theorem of Solovay on recursive encodability 206
Chapter 16. Sn-Collection schemas in arithmetic 210
Chapter 17. Inner models, ordinal definability and the axiom of power set 222
Chapter 18. .o-categoricity and comparability graphs 232
Chapter 19. Decidahility and generalized quantifiers 240
Chapter 20. A framework for topology 250
Chapter 21. Beth's theorem and self-referential sentences 264
Chapter 22. Compactness properties of infinitary and abstract languages I. General results 274
Chapter 23. Perfect set theorems for analytic and coanalytic equivalence relations 288
Chapter 24. Some results and problems on weak systems of arithmetic 296
Chapter 25. Definable bases of monotone systems 308