Jump to content

Jensen hierarchy

From Wikipedia, the free encyclopedia

In set theory, a mathematical discipline, the Jensen hierarchy or J-hierarchy is a modification of Gödel's constructible hierarchy, L, that circumvents certain technical difficulties that exist in the constructible hierarchy. The J-Hierarchy figures prominently in fine structure theory, a field pioneered by Ronald Jensen, for whom the Jensen hierarchy is named. Rudimentary functions describe a method for iterating through the Jensen hierarchy.

Definition

[edit]

As in the definition of L, let Def(X) be the collection of sets definable with parameters over X:

The constructible hierarchy, is defined by transfinite recursion. In particular, at successor ordinals, .

The difficulty with this construction is that each of the levels is not closed under the formation of unordered pairs; for a given , the set will not be an element of , since it is not a subset of .

However, does have the desirable property of being closed under Σ0 separation.[1]

Jensen's modification of the L hierarchy retains this property and the slightly weaker condition that , but is also closed under pairing. The key technique is to encode hereditarily definable sets over by codes; then will contain all sets whose codes are in .

Like , is defined recursively. For each ordinal , we define to be a universal predicate for . We encode hereditarily definable sets as , with . Then set and finally, .

Properties

[edit]

Each sublevel Jα, n is transitive and contains all ordinals less than or equal to ωα + n. The sequence of sublevels is strictly ⊆-increasing in n, since a Σm predicate is also Σn for any n > m. The levels Jα will thus be transitive and strictly ⊆-increasing as well, and are also closed under pairing, -comprehension and transitive closure. Moreover, they have the property that

as desired. (Or a bit more generally, .[2])

The levels and sublevels are themselves Σ1 uniformly definable (i.e. the definition of Jα, n in Jβ does not depend on β), and have a uniform Σ1 well-ordering. Also, the levels of the Jensen hierarchy satisfy a condensation lemma much like the levels of Gödel's original hierarchy.

For any , considering any relation on , there is a Skolem function for that relation that is itself definable by a formula.[3]

Rudimentary functions

[edit]

A rudimentary function is a Vn→V function (i.e. a finitary function accepting sets as arguments) that can be obtained from the following operations:[2]

  • F(x1, x2, ...) = xi is rudimentary (see projection function)
  • F(x1, x2, ...) = {xi, xj} is rudimentary
  • F(x1, x2, ...) = xixj is rudimentary
  • Any composition of rudimentary functions is rudimentary
  • zyG(z, x1, x2, ...) is rudimentary, where G is a rudimentary function

For any set M let rud(M) be the smallest set containing M∪{M} closed under the rudimentary functions. Then the Jensen hierarchy satisfies Jα+1 = rud(Jα).[2]

Projecta

[edit]

Jensen defines , the projectum of , as the largest such that is amenable for all , and the projectum of is defined similarly. One of the main results of fine structure theory is that is also the largest such that not every subset of is (in the terminology of α-recursion theory) -finite.[2]

Lerman defines the projectum of to be the largest such that not every subset of is -finite, where a set is if it is the image of a function expressible as where is -recursive. In a Jensen-style characterization, projectum of is the largest such that there is an epimorphism from onto . There exists an ordinal whose projectum is , but whose projectum is for all natural . [4]

References

[edit]
  1. ^ Wolfram Pohlers, Proof Theory: The First Step Into Impredicativity (2009) (p.247)
  2. ^ a b c d K. Devlin, An introduction to the fine structure of the constructible hierarchy (1974). Accessed 2022-02-26.
  3. ^ R. B. Jensen, The Fine Structure of the Constructible Hierarchy (1972), p.247. Accessed 13 January 2023.
  4. ^ S. G. Simpson, "Short course on admissible recursion theory". Appearing in Studies in Logic and the Foundations of Mathematics vol. 94, Generalized Recursion Theory II (1978), pp.355--390
  • Sy Friedman (2000) Fine Structure and Class Forcing, Walter de Gruyter, ISBN 3-11-016777-8