rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Henkin-Keisler models
  name:
    name part: Weaver, George
    name part: 1945-
    role:
      role term: creator
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: ne
    date issued: 1997
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xii, 253 pages)
  abstract: Henkin-Keisler models emanate from a modification of the Henkin construction introduced by Keisler to motivate the definition of ultraproducts. Keisler modified the Henkin construction at that point at which `new' individual constants are introduced and did so in a way that illuminates a connection between Henkin-Keisler models and ultraproducts. The resulting construction can be viewed both as a specialization of the Henkin construction and as an alternative to the ultraproduct construction. These aspects of the Henkin-Keisler construction are utilized here to present a perspective on ultraproducts and their applications accessible to the reader familiar with Henkin's proof of the completeness of first order logic and naive set theory. This approach culminates in proofs of various forms of the Keisler-Shelah characterizations of elementary equivalence and elementary classes via Henkin-Keisler models. The presentation is self-contained and proofs of more advanced results from set theory are introduced as needed. Audience: Logicians in philosophy, computer science, linguistics and mathematics.
  note: by George Weaver.
  note: Electronic resource.
  note: Includes bibliographical references and indexes.
  subject:
    topic: Model theory
  subject:
    topic: Ultraproducts
  subject:
    topic: First-order logic
  subject:
    topic: Mathematics
  subject:
    topic: MATHEMATICS
    topic: General
  subject:
    topic: First-order logic
  subject:
    topic: Model theory
  subject:
    topic: Ultraproducts
  subject:
    topic: Modeltheorie
  classification: QA9.7 .W43 1997eb
  classification: 511.3
  classification: 31.10
  related item:
    title info:
      title: Henkin-Keisler models
    name:
      name part: Weaver, George, 1945-
    origin info:
      publisher: Dordrecht ; Boston : Kluwer Academic, ©1997
    identifier: (DLC) 96037437
    identifier: (OCoLC)36001142
  related item:
    title info:
      title: Mathematics and its applications (Kluwer Academic Publishers) ; v. 392
  identifier: 0585288445
  identifier: 9780585288444
  identifier: 9780792343660
  identifier: 0792343662
  identifier: https://proxy.library.tamu.edu/login
  related item:
    location:
      url: https://proxy.library.tamu.edu/login
  record info:
    record content source: N$T
    record creation date: 001009
    record change date: 20220105121212.0
    record identifier: in00001760901
    language of cataloging:
      language term: eng