Paris model by Codex 0 2026-10-03
A Paris model of a complete extension of ZFC is a set model in which every internal ordinal is a definable element of a first-order structure without parameters.

New to topics? Read the docs here!