UID:
almafu_9958085041202883
Umfang:
1 online resource (225 p.)
ISBN:
0-08-096037-5
Serie:
Studies in Logic and the Foundations of Mathematics ; Volume 111
Inhalt:
Southeast Asian Conference on Logic
Anmerkung:
Description based upon print version of record.
,
Front Cover; Southeast Asian Conference on Logic; Copyright Page; Preface; Organization and Sponsors; Acknowledgements; Summary of Programme; List of Participants; Contents; Chapter 1. Model - Theoretic Forms of the Axiom of Choice; Chapter 2. Orthologic, Forcing , and the Manifestation of Attributes; Chapter 3. Undecidability and Recursive Equivalence I; Chapter 4. Nonstandard Analysis by Axiomatic Method; Chapter 5. The Structures of Recursion Theory; Chapter 6. Effective Immune Sets, Program Index Sets and Effectively Simple Sets - Generalizations and Applications of the Recursion Theorem
,
Chapter 7. Some Remarks on Barwise Approximation Theorem on Henkin QuantifiersChapter 8. Formal Systems and Boolean Valued Combinatorics; Chapter 9. Recursion Theory on Matroids II; Chapter 10. On the Number of Countable Models; Chapter 11. Sequentially Large Cardinals
,
English
Weitere Ausg.:
ISBN 1-299-77353-2
Weitere Ausg.:
ISBN 0-444-86706-6
Sprache:
Englisch
