Author(s): C.-T. Chong and M.J. Wicks (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 111
Publisher: Elsevier Science Ltd
Year: 1983
Language: English
Pages: ii-vii, ix-xi, 1-21
Content:
Advisory Editorial Board
Page ii
Edited by
Page iii
Copyright page
Page iv
Preface
Page v
Malcolm Wicks
Organization and Sponsors
Page vi
Acknowledgements
Page vii
Summary of Programme
Pages ix-x
List of Participants
Page xi
Model - Theoretic Forms of the Axiom of Choice Original Research Article
Pages 1-12
C.J. Ash
Orthologic, Forcing, and The Manifestation of Attributes Original Research Article
Pages 13-36
J.L. Bell
Undecidability and Recursive Equivalence I Original Research Article
Pages 37-53
J.N. Crossley, J.B. Remmel
Nonstandard Analysis by Axiomatic Method Original Research Article
Pages 55-76
Toru Kawai
The Structures of Recursion Theory Original Research Article
Pages 77-95
Manuel Lerman
Effective Immune Sets, Program Index Sets and Effectively Simple Sets – Generalizations and Applications of the Recursion Theorem Original Research Article
Pages 97-106
Li Xiang
Some Remarks on Barwise Approximation Theorem on Henkin Quantifiers Original Research Article
Pages 107-114
Nobuyoshi Motohashi
Formal Systems and Boolean Valued Combinatorics Original Research Article
Pages 115-132
Kanji Namba
Recursion Theory on Matroids II Original Research Article
Pages 133-184
A. Nerode, J.B. Remmel
On the Number of Countable Models Original Research Article
Pages 185-195
Gerald E. Sacks
Sequentially Large Cardinals Original Research Article
Pages 197-210
It Beng Tan
