LEADER 05442nam 2200637 a 450 001 9910457267603321 005 20200520144314.0 010 $a1-283-43396-6 010 $a9786613433961 010 $a981-4360-54-6 035 $a(CKB)2550000000079710 035 $a(EBL)840681 035 $a(SSID)ssj0000573436 035 $a(PQKBManifestationID)12197908 035 $a(PQKBTitleCode)TC0000573436 035 $a(PQKBWorkID)10543194 035 $a(PQKB)10017261 035 $a(MiAaPQ)EBC840681 035 $a(WSP)00008201 035 $a(Au-PeEL)EBL840681 035 $a(CaPaEBR)ebr10524627 035 $a(CaONFJC)MIL343396 035 $a(OCoLC)877767827 035 $a(EXLCZ)992550000000079710 100 $a20110624d2012 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aProceedings of the 11th Asian Logic Conference$b[electronic resource] $ein honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /$fedited by Toshiyasu Arai ... [et al.] 210 $aHackensack, N.J. $cWorld Scientific$dc2012 215 $a1 online resource (192 p.) 300 $aDescription based upon print version of record. 311 $a981-4360-53-8 320 $aIncludes bibliographical references and index. 327 $aPreface; Organizing Committees; CONTENTS; Provably 02 and Weakly Descending Chains T. Arai; 1. Introduction; 2. Provably in; 2.1. Infinitary derivations; 2.2. Searching witnesses of ? in derivations; 2.3. Provably ? -functions; 3. Provably in EA; A. Nested limit existence rules; References; Amalgamation, Absoluteness, and Categoricity J. Baldwin; 1. The Universe is Wide or Deep; 2. Abstract Elementary Classes; 3. From L to First Order; 4. The Conjecture for L; 5. Absoluteness of Properties of Atomic Classes; 6. Complexity; 7. Conclusion 327 $a8. Appendix: Basic definability notions for L by David MarkerReferences; K-Trivials are Never Continuously Random G. Barmpalias, N. Greenberg, A. Montalb n and T. Slaman; 1. Introduction; 1.1. Randomness relative to continuous measures; 1.2. K-triviality; 1.3. Our results; 2. K-trivial sets and NCR; Action of requirement Rn; 3. Incomplete r.e. degrees and NCR; References; Limitwise Monotonic Functions and Their Applications R. Downey, A. Kach and D. Turetsky; 1. Introduction; 2. Limitwise Monotonic Functions and Sets; 3. Applications of Limitwise Monotonic Functions and Sets 327 $a4. Relativized Limitwise Monotonicity5. Beyond Limitwise Monotonicity; 6. Limitwise Monotonic Spectra; 7. Open Questions; References; A Dichotomy for the Mackey Borel Structure I. Farah; States; 1. Proof of Theorem 1; 2. Concluding Remarks; References; On Automatic Families S. Jain, Y. Ong, Sh. Pu and F. Stephan; 1. Introduction; 2. The Size of Languages Inside a Family; 3. Universal Complexity Measures; 4. Characterising Automatic Families; 5. Applications of Automatic Families in Learning Theory; References; Cappable CEA Sets and Ramsey's Theorem A. Kach, M. Lerman and R. Solomon 327 $a1. Introduction2. SRT and c-cappability; The Construction; References; Computable Dowd-Type Generic Oracles M. Kumabe and T. Suzuki; 1. Introduction; 2. Notation; 2.1. Strings and sets; 2.2. Probability; 2.3. Dowd-type generic oracles; 3. Review of the Former Results; 3.1. Review of our former paper; 3.2. Comments on our former paper; 4. The Case where r is Fixed; 5. Proof of Main Theorem; Acknowledgments; References; Models of Long Sentences I G. Sacks; 1. Introduction; 2. 1 Substructures; 3. Akin to -Saturation; 4. Proof of the Main Result; 5. Extensions of MR and MR+ 327 $a5.1. The number of models5.2. Atomic theories; 5.3. L; 6. Stability, Type-Completeness and Type-Admissibility; References; A Universally Free Modal Logic S. Yang; 1. Some Presuppositions for a Na ve Metaphysical Conception of Modality and de re Constructions; 2. A Syntactic Treatment of de re Constructions; 3. The Underlying System IQ: A System of Universally Free Logic with Rigid Designators; 4. A Quantified Modal System with Rigid Designators: A Natural Modal System IQS5; 5. A Modal System with Names as Constant Quantifiers; References; Author Index 330 $aThe Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting. 606 $aLogic, Symbolic and mathematical$vCongresses 608 $aElectronic books. 615 0$aLogic, Symbolic and mathematical 676 $a511.3 701 $aChong$b C.-T$g(Chi-Tat),$f1949-$0441174 701 $aArai$b T$g(Toshiyasu)$0364653 712 12$aAsian Logic Conference 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910457267603321 996 $aProceedings of the 11th Asian Logic Conference$91994481 997 $aUNINA