skip to content
Proceedings of the 12Th Asian Logic Conference. Preview this item
ClosePreview this item
Checking...

Proceedings of the 12Th Asian Logic Conference.

Author: R G Downey; Jorg Brendle; Robert Goldblatt
Publisher: Singapore : World Scientific Publishing Company, 2013.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
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.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Downey, Rod.
Proceedings of the 12Th Asian Logic Conference.
Singapore : World Scientific Publishing Company, ©2013
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: R G Downey; Jorg Brendle; Robert Goldblatt
ISBN: 9789814449274 981444927X
OCLC Number: 854974289
Notes: 3. Axiomatic Theories L and Ls.
Description: 1 online resource (346 pages)
Contents: 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. 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. 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. 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. 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.

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/854974289> # Proceedings of the 12Th Asian Logic Conference.
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "854974289" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1359422291#Place/singapore> ; # Singapore
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/si> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1359422291#Topic/mathematics_logic> ; # MATHEMATICS--Logic
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/1359422291#Topic/mathematics_infinity> ; # MATHEMATICS--Infinity
   schema:about <http://experiment.worldcat.org/entity/work/data/1359422291#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/108820753> ; # Robert Goldblatt
   schema:contributor <http://viaf.org/viaf/125145003803161341126> ; # Jorg Brendle
   schema:creator <http://viaf.org/viaf/37997762> ; # Rod G. Downey
   schema:datePublished "2013" ;
   schema:description "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."@en ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1359422291> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1359422291#CreativeWork/proceedings_of_the_12th_asian_logic_conference> ;
   schema:name "Proceedings of the 12Th Asian Logic Conference."@en ;
   schema:productID "854974289" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/854974289#PublicationEvent/singapore_world_scientific_publishing_company_2013> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1359422291#Agent/world_scientific_publishing_company> ; # World Scientific Publishing Company
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=1223952> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=592617> ;
   schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=1223952> ;
   schema:url <http://ebookcentral.proquest.com/lib/columbia/detail.action?docID=1223952> ;
   schema:workExample <http://worldcat.org/isbn/9789814449274> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/854974289> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1359422291#Agent/world_scientific_publishing_company> # World Scientific Publishing Company
    a bgn:Agent ;
   schema:name "World Scientific Publishing Company" ;
    .

<http://experiment.worldcat.org/entity/work/data/1359422291#Topic/mathematics_infinity> # MATHEMATICS--Infinity
    a schema:Intangible ;
   schema:name "MATHEMATICS--Infinity"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/108820753> # Robert Goldblatt
    a schema:Person ;
   schema:familyName "Goldblatt" ;
   schema:givenName "Robert" ;
   schema:name "Robert Goldblatt" ;
    .

<http://viaf.org/viaf/125145003803161341126> # Jorg Brendle
    a schema:Person ;
   schema:familyName "Brendle" ;
   schema:givenName "Jorg" ;
   schema:name "Jorg Brendle" ;
    .

<http://viaf.org/viaf/37997762> # Rod G. Downey
    a schema:Person ;
   schema:familyName "Downey" ;
   schema:givenName "Rod G." ;
   schema:givenName "R. G." ;
   schema:name "Rod G. Downey" ;
    .

<http://worldcat.org/entity/work/data/1359422291#CreativeWork/proceedings_of_the_12th_asian_logic_conference>
    a schema:CreativeWork ;
   rdfs:label "Proceedings of the 12Th Asian Logic Conference." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/854974289> ; # Proceedings of the 12Th Asian Logic Conference.
    .

<http://worldcat.org/isbn/9789814449274>
    a schema:ProductModel ;
   schema:isbn "981444927X" ;
   schema:isbn "9789814449274" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.