The core model

A Dodd, R. J. (1981). The core model.

Type

Unclassified

Intellectual base

Unclassified

Year

1981

DOI

10.1016/0003-4843(81)90011-5

Link

https://doi.org/10.1016/0003-4843(81)90011-5

Cited by

1 citation across 1 artifact.

Domain-specific

• Mouse (set theory)
  • Depending on convention, a premouse is a transitive fine-structural model with a coherent extender sequence, and a mouse is a premouse whose iterated ultrapowers remain well founded under an iteration strategy.

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:4128d9bb14a0 · see in the full table