skip to content
Computable structures and the hyperarithmetical hierarchy Preview this item
ClosePreview this item
Checking...

Computable structures and the hyperarithmetical hierarchy

Author: C J Ash; J Knight
Publisher: Amsterdam ; New York : Elsevier, 2000.
Series: Studies in logic and the foundations of mathematics, v. 144.
Edition/Format:   eBook : Document : English : 1st edView all editions and formats
Summary:
This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many  Read more...
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Ash, C.J.
Computable structures and the hyperarithmetical hierarchy.
Amsterdam ; New York : Elsevier, 2000
(DLC) 00034103
(OCoLC)44046875
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: C J Ash; J Knight
ISBN: 9780444500724 0444500723 9780080529523 0080529526
OCLC Number: 162131184
Description: 1 online resource (xv, 346 pages).
Contents: Preface. Computability. The arithmetical hierarchy. Languages and structures. Ordinals. The hyperarithmetical hierarchy. Infinitary formulas. Computable infinitary formulas. The Barwise-Kreisel Compactness Theorem. Existence of computable structures. Completeness and forcing. The Ash-Nerode Theorem. Computable categoricity and stability. <IT>n</IT>-systems. A-systems. Back-and forth relations. Theorems of Barker and Davey. Pairs of computable structures. Models of arithmetic. Special classes of structures.
Series Title: Studies in logic and the foundations of mathematics, v. 144.
Responsibility: C.J. Ash, J. Knight.
More information:

Abstract:

Describes a program of research in computable structure theory. This book aims to find definability conditions corresponding to bounds on complexity which persist under isomorphism. It includes  Read more...

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/162131184> # Computable structures and the hyperarithmetical hierarchy
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "162131184" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/46193#Place/amsterdam> ; # Amsterdam
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/46193#Topic/wiskundige_logica> ; # Wiskundige logica
    schema:about <http://experiment.worldcat.org/entity/work/data/46193#Topic/mathematics_infinity> ; # MATHEMATICS--Infinity
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:about <http://id.worldcat.org/fast/871985> ; # Computable functions
    schema:about <http://experiment.worldcat.org/entity/work/data/46193#Topic/mathematics_logic> ; # MATHEMATICS--Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/46193#Topic/fonctions_calculables> ; # Fonctions calculables
    schema:bookEdition "1st ed." ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/94526226> ; # Julia Knight
    schema:creator <http://viaf.org/viaf/49467115> ; # C. J. Ash
    schema:datePublished "2000" ;
    schema:description "This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties)."@en ;
    schema:description "Preface. Computability. The arithmetical hierarchy. Languages and structures. Ordinals. The hyperarithmetical hierarchy. Infinitary formulas. Computable infinitary formulas. The Barwise-Kreisel Compactness Theorem. Existence of computable structures. Completeness and forcing. The Ash-Nerode Theorem. Computable categoricity and stability. n-systems. A-systems. Back-and forth relations. Theorems of Barker and Davey. Pairs of computable structures. Models of arithmetic. Special classes of structures."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/46193> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/46193#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/44046875> ;
    schema:name "Computable structures and the hyperarithmetical hierarchy"@en ;
    schema:productID "162131184" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/162131184#PublicationEvent/amsterdam_new_york_elsevier_2000> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/46193#Agent/elsevier> ; # Elsevier
    schema:url <http://www.sciencedirect.com/science/bookseries/0049237X/144> ;
    schema:url <http://www.sciencedirect.com/science/book/9780444500724> ;
    schema:url <http://lib.myilibrary.com/?id=107101&entityid=https://netlogin.strath.ac.uk/shibboleth> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0610/00034103-t.html> ;
    schema:url <http://site.ebrary.com/id/10206029> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=211478> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=4052954> ;
    schema:url <http://www.myilibrary.com?id=107101&ref=toc> ;
    schema:url <http://ebookcentral.proquest.com/lib/ucm/detail.action?docID=319113> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=319113> ;
    schema:url <http://www.myilibrary.com?id=107101> ;
    schema:url <http://www.sciencedirect.com/science/publication?issn=0049237X&volume=144> ;
    schema:workExample <http://worldcat.org/isbn/9780444500724> ;
    schema:workExample <http://worldcat.org/isbn/9780080529523> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/162131184> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/46193#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/162131184> ; # Computable structures and the hyperarithmetical hierarchy
    schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/46193#Topic/fonctions_calculables> # Fonctions calculables
    a schema:Intangible ;
    schema:name "Fonctions calculables"@fr ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/46193#Topic/wiskundige_logica> # Wiskundige logica
    a schema:Intangible ;
    schema:name "Wiskundige logica"@en ;
    .

<http://id.worldcat.org/fast/871985> # Computable functions
    a schema:Intangible ;
    schema:name "Computable functions"@en ;
    .

<http://viaf.org/viaf/49467115> # C. J. Ash
    a schema:Person ;
    schema:familyName "Ash" ;
    schema:givenName "C. J." ;
    schema:name "C. J. Ash" ;
    .

<http://viaf.org/viaf/94526226> # Julia Knight
    a schema:Person ;
    schema:familyName "Knight" ;
    schema:givenName "Julia" ;
    schema:givenName "J." ;
    schema:name "Julia Knight" ;
    .

<http://worldcat.org/isbn/9780080529523>
    a schema:ProductModel ;
    schema:isbn "0080529526" ;
    schema:isbn "9780080529523" ;
    .

<http://worldcat.org/isbn/9780444500724>
    a schema:ProductModel ;
    schema:isbn "0444500723" ;
    schema:isbn "9780444500724" ;
    .

<http://www.worldcat.org/oclc/44046875>
    a schema:CreativeWork ;
    rdfs:label "Computable structures and the hyperarithmetical hierarchy." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/162131184> ; # Computable structures and the hyperarithmetical hierarchy
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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