LEADER 04423cam 22005657i 4500001 ssj0001148320 003 WaSeSS 005 20190313051101.0 006 m d 007 cr n 008 130808t20132013si a sb 100 0 eng d 010 2013427295 020 9789814449267 (hardcover) 020 9814449261 (hardcover) 035 (WaSeSS)ssj0001148320 040 CDX |beng |cCDX |dSINLB |dCUY |dYDXCP |dBTCTA |dEYM |dOCLCO |dOCLCQ |dOCLCF |dOCLCO |dDLC |dWaSeSS 042 lccopycat 043 a------ 049 EREENEHH 050 00 Q334 |b.A853 2011 082 04 511.3 |223 111 2 Asian Logic Conference |n(12th : |d2011 : |cWellington, N.Z.) |?UNAUTHORIZED 245 10 Proceedings of the 12th Asian Logic Conference |h[electronic resource] : |bWellington, New Zealand, 15-20 December 2011 / |cedited by Rod Downey, Victoria University of Wellington, New Zealand; Jörg Brendle, Kobe University, Japan; Robert Goldblatt, Victoria University of Wellington, New Zealand; Byungham Kim, Yonsei University, Korea. 260 Hackensack, NJ : |bWorld Scientific, |c[2013] 300 viii, 337 pages : |billustrations ; |c24 cm 504 Includes bibliographical references. 505 0 Resolute sequences in initial segment complexity / G. Barmpalias and R.G. Downey -- Approximating functions and measuring distance on a graph / W. Calvert, R. Miller and J. Chubb Reimann -- Carnap and McKinsey: topics in the pre-history of possible-worlds semantics / M.J. Cresswell -- Limits to joining with generics and randoms / A.R. Day and D.D. Dzhafarov -- Freedom & consistency / M. Detlefsen -- A van Lambalgen theorem for Demuth randomness / D. Diamondstone, N. Greenberg and D. Turetsky -- Faithful representations of polishable ideals / S. Gao -- Further thoughts on Definability in the Urysohn sphere / I. Goldbring -- Simple completeness proofs for some spatial logics of the real line / I. Hodkinson -- On a question of Csima on computation-time domination / X. Hua, J. Liu and G. Wu -- A generalization of Beth model to functionals of high types / F. Kachapova -- A computational framework for the study of partition functions and graph polynomials / T. Kotek, J.A. Makowsky and E.V. Ravve -- Relation algebras and R / T. Kowalski -- Van Lambalgen's theorem for uniformly relative Schnorr and computable randomness / K. Miyabe and J. Rute -- Computational aspects of the hyperimmune-free degrees / K.M. Ng [and others] -- Calibrating the complexity of [symbol] sets via their changes / A. Nies -- Topological full groups of minimal subshifts and just-infinite groups / S. Thomas -- TW-models for logic of knowledge-cum-belief / S.C.-M. Yang. 506 Available only to authorized users. 520 The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic-- |cSource other than Library of Congress. 538 Mode of access: World Wide Web 650 0 Logic, Symbolic and mathematical |vCongresses. |=^A39117 650 0 Mathematics |zAsia |vCongresses. |=^A2085 650 7 Logic, Symbolic and mathematical. |2fast |0(OCoLC)fst01002068 650 7 Mathematics. |2fast |0(OCoLC)fst01012163 651 7 Asia. |2fast |0(OCoLC)fst01240495 |?UNAUTHORIZED 655 0 Electronic books. |=^A491897 700 1 Downey, R. G. |q(Rod G.) |=^A407560 700 1 Brendle, Jörg. |?UNAUTHORIZED 700 1 Goldblatt, Robert. |=^A213475 700 1 Kim, Byunghan, |d1963- |?UNAUTHORIZED 856 40 |zFull text available from Ebook Central - Academic Complete |uhttps://ebookcentral.proquest.com/lib/eastcarolina/detail.action?docID=1223952 947 (OCoLC)ocn847997197 949 CLICK ON WEB ADDRESS |wASIS |hJOYNER188 949 CLICK ON WEB ADDRESS |wASIS |hHSL77 949 CLICK ON WEB ADDRESS |wASIS |hJMUSIC60 596 1 3 4 998 4242475