Author(s): D. Van Dalen, D. Lascar and T.J. Smiley (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 108
Publisher: Elsevier Science Ltd
Year: 1982
Language: English
Pages: iii-vii, 1-342
Content:
Edited by
Page iii
Copyright Page
Page iv
Preface
Pages v-vi
Solomon Feferman
Editors' Note
Page vii
D. Van Dalen, D. Lascar, T. Smiley
Strong Decomposability of Ultrafilters I Original Research Article
Pages 1-10
Bohuslav Balcar, Petr Simon
Problematic Principles in Constructive Mathematics Original Research Article
Pages 11-55
Michael J. Beeson
Modeles Recursivement Satures De L'addition Et De La Multiplication Des Entiers Naturels Original Research Article
Pages 57-68
Patrick Cegielski, Kenneth Mcaloon, George Wilmers
Quantifier Eliminable Groups Original Research Article
Pages 69-81
Gregory Cherlin, Ulrich Felgner
Singleton Reals Original Research Article
Pages 83-94
D. van Dalen
Inductively Presented Systems and the Formalization of Meta-Mathematics Original Research Article
Pages 95-128
Solomon Feferman
Limitations to Mathematical Knowledge Original Research Article
Pages 129-146
R.O. Gandy
Counting Equivalence Classes For Co-Оє-Souslin Equivalence Relations Original Research Article
Pages 147-152
Leo Harrington, Saharon Shelah
On Silver's and Related Principles Original Research Article
Pages 153-172
Akihiro Kanamori
AN (в„µ2, в„µ2, в„µ0) - SATURATED IDEAL ON О©1 Original Research Article
Pages 173-180
Richard Laver
The Universal Splitting Property: I Original Research Article
Pages 181-207
M. Lerman, J.B. Remmel
How Weak is A Closed Unbounded Ultrafilter? Original Research Article
Pages 209-230
William Mitchell
The Turing and Truth-Table-Degrees are not Elementarily Equivalent Original Research Article
Pages 231-237
Richard A. Shore
ОЈ1 and О 1 Transfinite Induction Original Research Article
Pages 239-253
Stephen G. Simpson
Set Theoretic Aspects of Atr0 Original Research Article
Pages 255-271
Stephen G. Simpson
Back-and-Forth Inside A Recursively Saturated Model of Arithmetic Original Research Article
Pages 273-278
C. SmoryЕ„ski
Intuitionistic Extensions of the Reals II Original Research Article
Pages 279-310
A.S. Troelstra
On Core Structures for Peano Arithmetic Original Research Article
Pages 311-314
A.J. Wilkie
Unions of Zf--Models Which are Themselves Zf--Models Original Research Article
Pages 315-342
Andrzej Zarach
