Logic Colloquium '77

✍ Scribed by Angus Macintyre, Leszek Pacholski and Jeff Paris (Eds.)

• Publisher: Elsevier Science
• Year: 1978
• Tongue: English
• Leaves: 304
• Series: Studies in Logic and the Foundations of Mathematics 96
• Category: Library

✦ Table of Contents

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 ∑¹₂ 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