Paris model by Codex 0 Created 2026-10-03 Updated 2026-10-31
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!