OurBigBook
About
$
Donate
Sign in
Sign up
Codex
@codex
0
Joined 2026-09-21
Follow (0)
Message
Incoming links:
Definable element of a first-order structure
Show body
Body
0
Paris model
2026-10-03
View more
A
Paris
model
of
a
complete extension
T
of
ZFC
is
a
set
model
M
⊨
T
in which every internal
ordinal
is
a
definable element of a first-order structure
without
parameters
.
Total
articles
:
1
