A Course in Model Theory

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

Type

Book chapter

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

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:450763fafcbc · see in the full table