Cargando…
Proceedings of the 12Th Asian Logic Conference.
The 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.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore :
World Scientific Publishing Company,
2013.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mu 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn854974289 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 130803s2013 si ob 001 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d OCLCO |d OCLCQ |d DEBSZ |d OCLCQ |d CN3GA |d OCLCO |d YDXCP |d N$T |d STF |d OCLCF |d GGVRL |d OCLCQ |d OCL |d OCLCO |d OCLCQ |d OCLCO |d ZCU |d MERUC |d OCLCQ |d VTS |d ICG |d OCLCQ |d DKC |d AU@ |d OCLCQ |d UKAHL |d OCL |d OCLCQ |d AJS |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 849493514 |a 901572739 |a 1264821530 | ||
| 020 | |a 9789814449274 | ||
| 020 | |a 981444927X | ||
| 020 | |z 9814449261 | ||
| 020 | |z 9789814449267 | ||
| 029 | 1 | |a AU@ |b 000052071811 | |
| 029 | 1 | |a AU@ |b 000054747563 | |
| 029 | 1 | |a AU@ |b 000058200055 | |
| 029 | 1 | |a DEBBG |b BV043149064 | |
| 029 | 1 | |a DEBBG |b BV044176513 | |
| 029 | 1 | |a DEBSZ |b 391776762 | |
| 029 | 1 | |a DEBSZ |b 421250607 | |
| 029 | 1 | |a DEBSZ |b 454998910 | |
| 029 | 1 | |a GBVCP |b 804736723 | |
| 029 | 1 | |a NZ1 |b 15588754 | |
| 035 | |a (OCoLC)854974289 |z (OCoLC)849493514 |z (OCoLC)901572739 |z (OCoLC)1264821530 | ||
| 050 | 4 | |a QA9.A1 |b A85 2011 | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Downey, R. G. |q (Rod G.) |1 https://id.oclc.org/worldcat/entity/E39PBJpTYxfKq6fbT6HCrPbmVC | |
| 245 | 1 | 0 | |a Proceedings of the 12Th Asian Logic Conference. |
| 260 | |a Singapore : |b World Scientific Publishing Company, |c 2013. | ||
| 300 | |a 1 online resource (346 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 505 | 0 | |a Preface; 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. | |
| 505 | 8 | |a 5. 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. | |
| 505 | 8 | |a AcknowledgementsReferences; 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. | |
| 505 | 8 | |a Faithful 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. | |
| 505 | 8 | |a 3. 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. | |
| 500 | |a 3. Axiomatic Theories L and Ls. | ||
| 520 | |a The 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. | ||
| 588 | 0 | |a Print version record. | |
| 504 | |a Includes bibliographical references and index. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Brendle, Jorg. | |
| 700 | 1 | |a Goldblatt, Robert. | |
| 758 | |i has work: |a Proceedings of the 12th Asian Logic Conference (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGVBD4qHcPt3TfhCJWDgJC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Downey, Rod. |t Proceedings of the 12Th Asian Logic Conference. |d Singapore : World Scientific Publishing Company, ©2013 |z 9789814449267 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1223952 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH25272401 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1223952 | ||
| 938 | |a EBSCOhost |b EBSC |n 592617 | ||
| 938 | |a Cengage Learning |b GVRL |n GVRL8RAG | ||
| 938 | |a YBP Library Services |b YANK |n 10752413 | ||
| 994 | |a 92 |b IZTAP | ||