skip to content
Model theory Preview this item
ClosePreview this item
Checking...

Model theory

Author: Wilfrid Hodges
Publisher: New York : Cambridge University Press, ©1993.
Series: Encyclopedia of mathematics and its applications, 42.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

An up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced  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: Matériel didactique
Document Type: Book
All Authors / Contributors: Wilfrid Hodges
ISBN: 0521304423 9780521304429
OCLC Number: 299443437
Description: xiii, 772 p.
Contents: Part I. Language and Structure: 1. Naming of parts; 2. Classifying structures; 3. Structures that look alike; 4. Automorphisms; 5. Interpretations; Part II. Piecing Together a Structure: 6. The first order case; 7. The countable case; 8. The existential case; 9. The Horn case; Part III. Consequences of Compactness: 10. Saturation; 11. Combinatorial; 12. Expansions and categoricity; Examples; Bibliography; Index.
Series Title: Encyclopedia of mathematics and its applications, 42.
Responsibility: Wilfrid Hodges.

Reviews

Editorial reviews

Publisher Synopsis

"...sets forth the basic tools that the fledgling model theorist should master....a new standard reference in this subject." J.M. Plotkin, Mathematical Reviews "...an important contribution to the Read more...

 
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/299443437> # Model theory
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "299443437" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/groupe> ; # Groupe
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/expansion> ; # Expansion
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/ensemble> ; # Ensemble
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/automorphisme> ; # Automorphisme
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Topic/modeles_mathematiques> ; # Modèles mathématiques
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Topic/theorie_modele> ; # theorie modele
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/horn> ; # Horn
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/theoreme> ; # Theoreme
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/canonique> ; # Canonique
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/logique> ; # Logique
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/abelien> ; # Abelien
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/classification> ; # Classification
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/jeu> ; # Jeu
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/lineaire> ; # Lineaire
   schema:about <http://dewey.info/class/511.8/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Topic/logique> ; # logique
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Topic/theorie_des_modeles> ; # Théorie des modèles
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/combinatoire> ; # Combinatoire
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/mathematique> ; # Mathematique
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/stone> ; # Stone
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Topic/histoire_logique> ; # histoire logique
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/saturation> ; # Saturation
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/algebre> ; # Algebre
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/ordre> ; # Ordre
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/categoricite> ; # Categoricite
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/homomorphisme> ; # Homomorphisme
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/calcul> ; # Calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/categorie> ; # Categorie
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/theorie> ; # Theorie
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/symbole> ; # Symbole
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/structure> ; # Structure
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/booleen> ; # Booleen
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/champ> ; # Champ
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/espace> ; # Espace
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/geometrie> ; # Geometrie
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/formule> ; # Formule
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/interpretation> ; # Interpretation
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/modele> ; # Modele
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Topic/modeles_theorie_des> ; # Modèles, Théorie des
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/construction> ; # Construction
   schema:about <http://experiment.worldcat.org/entity/work/data/26435373#Thing/fraisse> ; # Fraisse
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1993" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/26435373#Person/hodges_wilfrid> ; # Wilfrid Hodges
   schema:datePublished "1993" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/26435373> ;
   schema:genre "Matériel didactique"@fr ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/26435373#Series/encyclopedia_of_mathematics_and_its_applications> ; # Encyclopedia of mathematics and its applications ;
   schema:name "Model theory" ;
   schema:numberOfPages "772" ;
   schema:productID "299443437" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/299443437#PublicationEvent/new_york_cambridge_university_press_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/26435373#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:workExample <http://worldcat.org/isbn/9780521304429> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/299443437> ;
    .


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/26435373#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/26435373#Person/hodges_wilfrid> # Wilfrid Hodges
    a schema:Person ;
   schema:familyName "Hodges" ;
   schema:givenName "Wilfrid" ;
   schema:name "Wilfrid Hodges" ;
    .

<http://experiment.worldcat.org/entity/work/data/26435373#Series/encyclopedia_of_mathematics_and_its_applications> # Encyclopedia of mathematics and its applications ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/299443437> ; # Model theory
   schema:name "Encyclopedia of mathematics and its applications ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/26435373#Topic/modeles_mathematiques> # Modèles mathématiques
    a schema:Intangible ;
   schema:name "Modèles mathématiques" ;
    .

<http://experiment.worldcat.org/entity/work/data/26435373#Topic/modeles_theorie_des> # Modèles, Théorie des
    a schema:Intangible ;
   schema:name "Modèles, Théorie des" ;
    .

<http://experiment.worldcat.org/entity/work/data/26435373#Topic/theorie_des_modeles> # Théorie des modèles
    a schema:Intangible ;
   schema:name "Théorie des modèles" ;
    .

<http://worldcat.org/isbn/9780521304429>
    a schema:ProductModel ;
   schema:isbn "0521304423" ;
   schema:isbn "9780521304429" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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