LEADER 05049nam 2200625 a 450 001 9910462813403321 005 20200520144314.0 010 $a981-4449-27-X 035 $a(CKB)2670000000372492 035 $a(EBL)1223952 035 $a(SSID)ssj0001148320 035 $a(PQKBManifestationID)11660895 035 $a(PQKBTitleCode)TC0001148320 035 $a(PQKBWorkID)11142654 035 $a(PQKB)11557367 035 $a(MiAaPQ)EBC1223952 035 $a(WSP)00008701 035 $a(PPN)189538430 035 $a(Au-PeEL)EBL1223952 035 $a(CaPaEBR)ebr10719594 035 $a(CaONFJC)MIL496452 035 $a(OCoLC)854974289 035 $a(EXLCZ)992670000000372492 100 $a20130621d2013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aProceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011$b[electronic resource] /$fedited by Rod Downey ... [et al.] 210 $aSingapore $cWorld Scientific Pub. Co.$d2013 215 $a1 online resource (346 p.) 300 $aDescription based upon print version of record. 311 $a981-4449-26-1 320 $aIncludes bibliographical references. 327 $aPreface; Contents; Resolute Sequences in Initial Segment Complexity G. Barmpalias and R. G. Downey; 1. Introduction; 1.1. Formal expressions of resoluteness; 1.2. Resoluteness and complexity; 2. Resoluteness and sparseness; 3. Jump inversion with K-resolute sequences; 4. Completely resolute and resolute-free degrees; Acknowledgments; References; Approximating Functions and Measuring Distance on a Graph W. Calvert, R. Miller and J. Chubb Reimann; 1. Introduction; 2. Reducibilities on Functions; 3. Functions Approximable from Above; 4. The Distance Function in Computable Graphs 327 $a5. Related TopicsAcknowledgments; References; Carnap and McKinsey: Topics in the Pre-History of Possible-Worl Semantics M. J. Cresswell; 1. The `metalinguistic' approach to the logical modalities; 2. Carnap validity; 3. Quine/Carnap validity; 4. Meaning postulates; 5. Classes of models; 6. McKinsey's `syntactical' interpretation; 7. Restricted substitution functions; References; Limits to Joining with Generics and Randoms A. R. Day and D. D. Dzhafarov; 1. Introduction; 2. A non-joining theorem for generics; 3. Extensions to other forcing notions; 4. A non-joining theorem for randoms 327 $aAcknowledgementsReferences; Freedom & Consistency M. Detlefsen; 1. Introduction; 2. Freedom & Consistency; 3. The Futility Argument; 4. Premise 2; 5. Premise 3; 6. Conclusion; References; A van Lambalgen Theorem for Demuth Randomness D. Diamondstone, N. Greenberg and D. Turetsky; 1. Introduction; 1.1. Partial relativization vs. full relativization; 1.2. Survey of van Lambalgen's theorem for various randomness notions; 1.3. Notation; 2. A van Lambalgen theorem for Demuth randomness; 3. Does a stronger version of van Lambalgen's theorem hold for Demuth randomness?; References 327 $aFaithful Representations of Polishable Ideals S. Gao1. Introduction; 2. Faithful representations for abelian Polish groups; 3. Faithful representations for Polishable ideals; Acknowledgment; References; Further Thoughts on Definability in the Urysohn Sphere I. Goldbring; 1. Introduction; 2. Finitely Definable Sets; 3. Arbitrary Definable Sets; 4. Special Definable Functions; References; Simple Completeness Proofs for Some Spatial Logics of the Real Line I. Hodkinson; 1. Introduction; 2. Definitions; 2.1. Syntax - L-formulas; 2.2. Kripke semantics; 2.3. Linear orders; 2.4. Linear models 327 $a3. Construction of linear models3.1. Lexicographic sums; 3.2. Intervals of R; 3.3. Shuffles; 4. The logic of R with; 5. The logic of R with and; 6. The logic of R with [ ] and; 7. Conclusion; Acknowledgments; References; On a Question of Csima on Computation-Time Domination X. Hua, J. Liu and G. Wu; 1. Introduction; 2. Requirements and basic strategy; 3. Construction; 4. Verification; References; A Generalization of Beth Model to Functionals of High Types F. Kachapova; 1. Introduction; 2. Definitions; 2.1. Definition of Beth model; 2.2. Facts about Beth models 327 $a3. Axiomatic Theories L and Ls 330 $aThe Asian Logic Conference is one of the largest meetings, 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. 606 $aLogic, Symbolic and mathematical$vCongresses 608 $aElectronic books. 615 0$aLogic, Symbolic and mathematical 676 $a511.3 701 $aDowney$b R. G$g(Rod G.)$0930867 712 12$aAsian Logic Conference 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910462813403321 996 $aProceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011$92140177 997 $aUNINA