Hereditarily Ordinal Definable
   HOME

TheInfoList



OR:

In mathematical
set theory Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly conce ...
, a
set Set, The Set, SET or SETS may refer to: Science, technology, and mathematics Mathematics *Set (mathematics), a collection of elements *Category of sets, the category whose objects and morphisms are sets and total functions, respectively Electro ...
''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 . A drawback to this informal definition is that it requires quantification over all first-order formulas, which cannot be formalized in the language of set theory. However there is a different way of stating the definition that can be so formalized. In this approach, a set ''S'' is formally defined to be ordinal definable if there is some collection of ordinals ''α''1, ..., ''α''''n'' such that S \isin V_ and S can be defined as an element of V_ by a first-order formula φ taking α2, ..., α''n'' as parameters. Here V_ denotes the set indexed by the ordinal ''α''1 in the
von Neumann hierarchy The term ''von'' () is used in German language surnames either as a nobiliary particle indicating a noble patrilineality, or as a simple preposition used by commoners that means ''of'' or ''from''. Nobility directories like the ''Almanach de Go ...
. In other words, ''S'' is the unique object such that φ(''S'', α2...α''n'') holds with its quantifiers ranging over V_. The
class Class or The Class may refer to: Common uses not otherwise categorized * Class (biology), a taxonomic rank * Class (knowledge representation), a collection of individuals or objects * Class (philosophy), an analytical concept used differentl ...
of all ordinal definable sets is denoted OD; it is not necessarily transitive, and need not be a model of ZFC because it might not satisfy the axiom of extensionality. A set is hereditarily ordinal definable if it is ordinal definable and all elements of its transitive closure are ordinal definable. The class of hereditarily ordinal definable sets is denoted by HOD, and is a transitive model of ZFC, with a definable well ordering. It is consistent with the axioms of set theory that all sets are ordinal definable, and so hereditarily ordinal definable. The assertion that this situation holds is referred to as V = OD or V = HOD. It follows from
V = L The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written as ''V'' = ''L'', where ''V'' and ''L'' denote the von Neumann universe and the constructib ...
, and is equivalent to the existence of a (definable)
well-order In mathematics, a well-order (or well-ordering or well-order relation) on a set ''S'' is a total order on ''S'' with the property that every non-empty subset of ''S'' has a least element in this ordering. The set ''S'' together with the well-orde ...
ing of the universe. Note however that the formula expressing V = HOD need not hold true within HOD, as it is not
absolute Absolute may refer to: Companies * Absolute Entertainment, a video game publisher * Absolute Radio, (formerly Virgin Radio), independent national radio station in the UK * Absolute Software Corporation, specializes in security and data risk manage ...
for models of set theory: within HOD, the interpretation of the formula for HOD may yield an even smaller inner model. HOD has been found to be useful in that it is an
inner model In set theory, a branch of mathematical logic, an inner model for a theory ''T'' is a substructure of a model ''M'' of a set theory that is both a model for ''T'' and contains all the ordinals of ''M''. Definition Let L = \langle \in \rangle be ...
that can accommodate essentially all known
large cardinal In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the name suggests, generally very "large" (for example, bigger than the least Î ...
s. This is in contrast with the situation for
core model In set theory, the core model is a definable inner model of the von Neumann universe, universe of all Set (mathematics), sets. Even though set theorists refer to "the core model", it is not a uniquely identified mathematical object. Rather, it is a ...
s, as core models have not yet been constructed that can accommodate
supercompact cardinal In set theory, a supercompact cardinal is a type of large cardinal. They display a variety of reflection properties. Formal definition If ''λ'' is any ordinal, ''κ'' is ''λ''-supercompact means that there exists an elementary ...
s, for example.


References

* * Set theory {{settheory-stub