A Course in Model Theory

Tent, K., & Ziegler, M. (2012). A Course in Model Theory. Cambridge University Press.

Type

Book

Intellectual base

Textbook

Year

2012

ISBN

9780521763240

Link

https://openlibrary.org/books/OL25373722Mmatched

Cited by

2 citations across 2 artifacts.

Domain-specific

• Definable set
  • … between constitutive identity and a convenient observable transfers from A canonical example satisfies the full defining rule of Definable set with assumptions and conventions explicit. to A careful use of Definable set tests the constitutive rule and nearest confusable rather than relying on the label alone..
• Reduct
  • A graph expanded with a named vertex reduces to its unnamed graph by forgetting the constant.

Verification

Does it exist? Confirmed. This work's ISBN resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Not recorded. Neither this nor any other of the 2 citations of this work carries a recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:450763fafcbc · see in the full table