Chang and Keisler's Model Theory

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:book
gptkbp:author gptkb:C._C._Chang
gptkb:H._Jerome_Keisler
gptkbp:category gptkb:book
gptkbp:contains gptkb:Löwenheim–Skolem_theorem
compactness theorem
ultraproducts
elementary embeddings
applications to algebra and set theory
types and saturation
gptkbp:edition multiple editions
gptkbp:firstPublished 1973
https://www.w3.org/2000/01/rdf-schema#label Chang and Keisler's Model Theory
gptkbp:influenced gptkb:logic
gptkbp:ISBN 978-0444537665
gptkbp:language English
gptkbp:notableFor comprehensive treatment of model theory
gptkbp:publisher gptkb:North-Holland
gptkbp:reviewedBy gptkb:Mathematical_Reviews
gptkbp:subject model theory
gptkbp:usedIn graduate mathematics education
gptkbp:bfsParent gptkb:L_{ω_1,ω}_logic
gptkbp:bfsLayer 8