Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 / edited by Angus Macintyre, Leszek Pacholski, Jeff Paris

Content: Edited by Page iii Copyright page Page iv Memoriam Page v Preface Pages vii-viii Angus Macintyre, Leszek Pacholski, Jeff Paris The Elementary Theory of Well-Odering—A Metamathematical Study— Original Research Article Pages 1-54 John E. Doner, Andrzej Mostowski †, Alfred Tarski The Type Theoretic Interpretation of Constructive Set Theory Original Research Article Pages 55-66 Peter Aczel Ideals on uncountable cardinals Original Research Article Pages 67-77 James E. Baumgartner, Alan Taylor, Stanley Wagon A Model-Theoretic View of Some Special Ultrafilters Original Research Article Pages 79-90 Andreas Blass Cogeneric Extensions Original Research Article Pages 91-98 Lev Bukovský Super Stable Division Rings Original Research Article Pages 99-111 Gregory Cherlin Martin's Axiom Versus the Continuum Hypothesis Original Research Article Pages 113-121 Keith J. Devlin On the Tightness of Product Spaces Original Research Article Pages 123-133 J. Gerlits, A. Hajnal A game theoretic property of Boolean algebras Original Research Article Pages 135-144 Thomas Jech On Vopěnka's and Related Principles Original Research Article Pages 145-153 A. Kanamori On Transfinite Sequences of Projective Sets with an Application to ∑ 1 2 Equivalence Relations Original Research Article Pages 155-160 Alexander S. Kechris Uniform Theorems in Infinitary Locic Original Research Article Pages 161-170 David W. Kueker Diagonal Methods and Strong Cuts in Models of Arithmetic Original Research Article Pages 171-181 Kenneth Mc Aloon Quantifying Over Countable Sets: Positive vs Stationary Logic Original Research Article Pages 183-193 J.A. Makowsky A Footnote to a Theorem of Solovay on Recursive Encodability Original Research Article Pages 195-198 Richard Mansfield ∑ n -Collection Schemas in Arithmetic Original Research Article Pages 199-209 J.B. Paris, L.A.S. Kirby Inner Models, Ordinal Definability and the Axiom of Power Set Original Research Article Pages 211-220 Stanistaw Roguski, Andrzej Zarach -Categoricity and Comparability Graphs Original Research Article Pages 221-228 James H. Schmerl Decidability and Generalized Quantifiers Original Research Article Pages 229-237 D. Seese A Framework for Topology Original Research Article Pages 239-251 H. Simmons Beth's Theorem and Self-Referential Sentences Original Research Article Pages 253-261 C. Smoryński Compactness Properties of Infinitary and Abstract Languages Original Research Article Pages 263-275 I. General Results Pfsfect Set Theorems for Analytic and Coanalytic Equivalence Relations. Original Research Article Pages 277-284 Jacques Stern Some Results and Problems on Weak Systems of Arithmetic Original Research Article Pages 285-296 A.J. Wilkie Definable bases of monotone systems Original Research Article Pages 297-311 Martin Ziegler