Atomic Models

Mayr, P. (2026). Atomic Models.

Type

Web resource

Intellectual base

Web

Year

2026

Link

https://math.colorado.edu/~mayr/teaching/math6000spring26/mt23.pdf

Cited by

1 citation across 1 artifact.

Domain-specific

• 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.

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:8bdec9e5e058 · see in the full table