Model Theory

Hodges, W. (1993). Model Theory. Cambridge University Press.

Type

Book

Intellectual base

Review or monograph

Year

1993

DOI

10.1017/cbo9780511551574

ISBN

9780521304429

Link

https://doi.org/10.1017/CBO9780511551574

Cited by

3 citations across 3 artifacts.

Domain-specific

• Diagram (mathematical logic)
  • A model-theoretic diagram encodes a structure's realized relations into a theory that other structures can satisfy.
• Prime Model (Model Theory)
  • In the standard countable-language setting, prime models are closely tied to atomicity: a countable atomic model, whose realized finite-tuple types are isolated, is prime; a complete theory has a prime model exactly when isolated types are sufficiently dense to build one.
• Reduct
  • A definitional reduct is a related stronger notion: newly removed symbols must be recoverable by definitions in the smaller language.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:559928eae311 · see in the full table