Ordinal definable set
id:
ordinal-definable-set-296-18602697
title:
Ordinal definable set
text:
In mathematical set theory, a set S is said to be ordinal definable if, informally, it can be defined in terms of a finite number of ordinals by a first-order formula. Ordinal definable sets were introduced by Gödel (1965).
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Ordinal_definable_set
date created:
date modified:
2024-03-09T23:10:28Z
main entity:
{"identifier":"Q384699","url":"https://www.wikidata.org/entity/Q384699"}
image:
fields total:
13
integrity:
13