Southeast Asian Conference on Logic

Cover......Page 1
Copyright......Page 3
Preface......Page 4
Organization and Sponsors......Page 5
Acknowledgements......Page 6
Summary of Programme......Page 7
List of Participants......Page 9
Model - Theoretic Forms of the Axiom of Choice......Page 10
Orthologic, Forcing, and The Manifestation of Attributes......Page 22
Undecidability and Recursive Equivalence I......Page 46
Nonstandard Analysis by Axiomatic Method......Page 63
The Structures of Recursion Theory......Page 85
Effective Immune Sets, Program Index Sets and Effectively Simple Sets – Generalizations and Applications of the Recursion Theorem......Page 104
Some Remarks on Barwise Approximation Theorem on Henkin Quantifiers......Page 114
Formal Systems and Boolean Valued Combinatorics......Page 122
Recursion Theory on Matroids II......Page 140
On the Number of Countable Models......Page 192
Sequentially Large Cardinals......Page 203