Author(s): D.van Dalen, etc.
Publisher: Elsevier Science Ltd
Year: 1982
Language: English
Pages: 341
Edited by......Page 1
Copyright Page......Page 2
Preface......Page 3
Editors' Note......Page 5
Strong Decomposability of Ultrafilters I......Page 6
Problematic Principles in Constructive Mathematics......Page 16
Modeles Recursivement Satures De L'addition Et De La Multiplication Des Entiers Naturels......Page 61
Quantifier Eliminable Groups......Page 73
Singleton Reals......Page 86
Inductively Presented Systems and the Formalization of Meta-Mathematics......Page 98
Limitations to Mathematical Knowledge......Page 132
Counting Equivalence Classes For Co-κ-Souslin Equivalence Relations......Page 150
On Silver's and Related Principles......Page 156
AN (2, 2, 0) - SATURATED IDEAL ON Ω1......Page 176
The Universal Splitting Property: I......Page 184
How Weak is A Closed Unbounded Ultrafilter?......Page 211
The Turing and Truth-Table-Degrees are not Elementarily Equivalent......Page 233
Σ1 and Π1 Transfinite Induction......Page 240
Set Theoretic Aspects of Atr0......Page 255
Back-and-Forth Inside A Recursively Saturated Model of Arithmetic......Page 272
Intuitionistic Extensions of the Reals II......Page 278
On Core Structures for Peano Arithmetic......Page 310
Unions of Zf--Models Which are Themselves Zf--Models......Page 314
