{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":1,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":22,"n_cols":5,"rows_kept":22,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[10,2,10,3],[11,2,11,3],[15,2,15,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910457267603321"]
[null,null,"Titolo",null,"Proceedings of the 11th Asian Logic Conference [[electronic resource] ] : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 / / edited by Toshiyasu Arai ... [et al.]"]
[null,null,"Pubbl/distr/stampa",null,"Hackensack, N.J., : World Scientific, c2012"]
[null,null,"ISBN",null,"1-283-43396-6"]
[{"$nulls":4},"9786613433961"]
[{"$nulls":4},"981-4360-54-6"]
[null,null,"Descrizione fisica",null,"1 online resource (192 p.)"]
[null,null,"Disciplina",null,"511.3"]
[null,null,"Soggetti",null,"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Electronic books."]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Preface; 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"]
[{"$nulls":4},"8. 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"]
[{"$nulls":4},"4. 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 "]
[{"$nulls":4},"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"]
[{"$nulls":4},"1. 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+"]
[{"$nulls":4},"5.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"]
[null,null,null,"Sommario/riassunto","The 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."]