Author(s): Maurice Boffa, Dirkvan Dalen and Kenneth Mcaloon (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 97
Publisher: Elsevier Science
Year: 1979
Language: English
Pages: iii-vii, 1-434
Content:
Edited by
Page iii
Copyright page
Page iv
Dedication
Page v
Preface
Page vii
Maurice Boffa, Dirk van Dalen, Kenneth Mcaloon
Continuity in Intuitionistic Set Theories Original Research Article
Pages 1-52
Michael Beeson
Stable Algebraic Theories Original Research Article
Pages 53-74
Gregory Cherlin
Un rГ©sultat de non contradiction relative au sujet de la conjecture de SOLOVAY Original Research Article
Pages 75-79
RenГ© David
Remarks on Constructive Mathematical Analysis Original Research Article
Pages 81-129
O. Demuth, A. KuДЌera
The Diophantine Problem for Polynomial Rings of Positive Characteristic Original Research Article
Pages 131-145
J. Denef
Algorithms and Bounds for Polynomial Rings Original Research Article
Pages 147-157
Lou van den Dries
Constructive Theories of Functions and Classes Original Research Article
Pages 159-224
Solomon Feferman
On Partially Conservative Extensions of Arithmetic Original Research Article
Pages 225-234
Petr HГЎjek
Weakly Separated Subspaces and Networks Original Research Article
Pages 235-245
A. Hajnal, I. JuhГЎsz
Equivalence Relations, Projective and Beyond Original Research Article
Pages 247-264
L. Harrington, R. Sami
Projections of Lawless Sequences II Original Research Article
Pages 265-298
G.F. van der Hoeven, A.S. Troelstra
Linear orders in (П‰)П‰ under eventual dominance Original Research Article
Pages 299-302
Richard Laver
Hypermeasurable Cardinals Original Research Article
Pages 303-316
William Mitchell
On the Number of Expansions of the Models of ZFC-Set Theory to Models of KM-Theory of Classes Original Research Article
Pages 317-333
Z. Ratajczyk
A Fine Structure Generated by Reflection Formulas over Primitive Recursive Arithmetic Original Research Article
Pages 335-350
Ulf R. Schmerl
Logic and the Axiom of Choice Original Research Article
Pages 351-356
H. Schwichtenberg
On Successors of Singular Cardinals Original Research Article
Pages 357-380
Saharon Shelah
Paul Bernays Original Research Article
Pages 381-389
E. Speaker
Abstract Logic and Set Theory. I. Definability Original Research Article
Pages 391-421
Jouko Väänänen
Lattice Products Original Research Article
Pages 423-426
Volker Weispfenning
Some Пѓ-Fields of Subsets of Reals Original Research Article
Pages 427-434
Bogdan Weglorz
