First-order Model Theory

Hodges, W. (2024). First-order Model Theory. Stanford Encyclopedia of Philosophy.

Type

Reference work

Intellectual base

Reference work

Year

2024

Link

https://plato.stanford.edu/entries/modeltheory-fo/

Cited by

1 citation across 1 artifact.

Domain-specific

• Indiscernibles
  • … introduced models admitting automorphisms; the construction became central for producing models with controlled types and many nonisomorphic variants. The Stanford Encyclopedia's account emphasizes that these models may be Skolem hulls of indiscernible sequences and can be arranged to realize relatively few types.

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:954de421df71 · see in the full table