skip to content
The monadic second order theory of all countable ordinals Preview this item
ClosePreview this item
Checking...

The monadic second order theory of all countable ordinals

Author: J Richard Büchi; Dirk Siefkes
Publisher: Berlin ; New York : Springer-Verlag, 1973.
Series: Lecture notes in mathematics (Springer-Verlag), 328.; Lecture notes in mathematics (Springer-Verlag)., Decidable theories ;, 2.
Edition/Format:   eBook : Document : Preschool : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Büchi, J. Richard.
Monadic second order theory of all countable ordinals.
Berlin, New York, Springer, 1973
(DLC) 73082358
(OCoLC)707566
Material Type: Document, Preschool, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: J Richard Büchi; Dirk Siefkes
ISBN: 9783540469469 354046946X
OCLC Number: 296161209
Description: 1 online resource (vi, 217 pages).
Contents: Büchi, J.R. The monadic second order theory of [omega symbol]₁.--Büchi, J.R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]₁.
Series Title: Lecture notes in mathematics (Springer-Verlag), 328.; Lecture notes in mathematics (Springer-Verlag)., Decidable theories ;, 2.
Responsibility: J. Richard Büchi, Dirk Siefkes.
More information:

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(2)

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/296161209> # The monadic second order theory of all countable ordinals
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "296161209" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1638997#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/1024368> ; # Model theory
    schema:about <http://dewey.info/class/510.8/e22/> ;
    schema:about <http://id.worldcat.org/fast/949806> ; # Gödel's theorem
    schema:audience <http://www.worldcat.org/title/-/oclc/296161209#Audience> ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/66531157> ; # Dirk Siefkes
    schema:creator <http://viaf.org/viaf/2536445> ; # J Richard Büchi
    schema:datePublished "1973" ;
    schema:description "Büchi, J.R. The monadic second order theory of [omega symbol]₁.--Büchi, J.R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]₁."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1638997> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1638997#Series/decidable_theories> ; # Decidable theories ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1638997#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag).
    schema:isPartOf <http://worldcat.org/issn/0075-8434> ; # Lecture notes in mathematics,
    schema:isSimilarTo <http://www.worldcat.org/oclc/707566> ;
    schema:name "The monadic second order theory of all countable ordinals"@en ;
    schema:productID "296161209" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/296161209#PublicationEvent/berlin_new_york_springer_verlag_1973> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1638997#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://dx.doi.org/10.1007/BFb0082720> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0075-8434&volume=328> ;
    schema:workExample <http://worldcat.org/isbn/9783540469469> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/296161209> ;
    .


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/1638997#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1638997#Series/decidable_theories> # Decidable theories ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/296161209> ; # The monadic second order theory of all countable ordinals
    schema:name "Decidable theories ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1638997#Series/lecture_notes_in_mathematics_springer_verlag> # Lecture notes in mathematics (Springer-Verlag).
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/296161209> ; # The monadic second order theory of all countable ordinals
    schema:name "Lecture notes in mathematics (Springer-Verlag)." ;
    schema:name "Lecture notes in mathematics (Springer-Verlag) ;" ;
    .

<http://id.worldcat.org/fast/1024368> # Model theory
    a schema:Intangible ;
    schema:name "Model theory"@en ;
    .

<http://id.worldcat.org/fast/949806> # Gödel's theorem
    a schema:Intangible ;
    schema:name "Gödel's theorem"@en ;
    .

<http://viaf.org/viaf/2536445> # J Richard Büchi
    a schema:Person ;
    schema:familyName "Büchi" ;
    schema:givenName "J. Richard" ;
    schema:name "J Richard Büchi" ;
    .

<http://viaf.org/viaf/66531157> # Dirk Siefkes
    a schema:Person ;
    schema:familyName "Siefkes" ;
    schema:givenName "Dirk" ;
    schema:name "Dirk Siefkes" ;
    .

<http://worldcat.org/isbn/9783540469469>
    a schema:ProductModel ;
    schema:isbn "354046946X" ;
    schema:isbn "9783540469469" ;
    .

<http://worldcat.org/issn/0075-8434> # Lecture notes in mathematics,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/296161209> ; # The monadic second order theory of all countable ordinals
    schema:issn "0075-8434" ;
    schema:name "Lecture notes in mathematics," ;
    .

<http://www.worldcat.org/oclc/707566>
    a schema:CreativeWork ;
    rdfs:label "Monadic second order theory of all countable ordinals." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/296161209> ; # The monadic second order theory of all countable ordinals
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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