Basics of Model Theory

Project, O. L. Basics of Model Theory: Reducts. Model Theory.

Type

Web resource

Intellectual base

Web

Link

https://builds.openlogicproject.org/content/model-theory/model-theory.pdf

Cited by

1 citation across 1 artifact.

Domain-specific

• Reduct
  • If \(L_0\subseteq L\) are signatures and (M) is an (L)-structure, the reduct \(M\upharpoonright L_0\) is the (L_0)-structure with the same underlying set as (M) and the same interpretation for every symbol retained in (L_0); symbols in \(L\setminus L_0\) are simply forgotten.

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:01e18af9e0b3 · see in the full table