Find link

language:

Find link is a tool written by Edward Betts.

searching for Fine structure theory 4 found (5 total)

Jensen hierarchy (1,201 words) [view diff] exact match in snippet view article find links to article

constructible hierarchy. The J-Hierarchy figures prominently in fine structure theory, a field pioneered by Ronald Jensen, for whom the Jensen hierarchy

Ronald Jensen (625 words) [view diff] exact match in snippet view article find links to article

and the proof of NFU's consistency relative to Peano arithmetic; Fine structure theory of the constructible universe L. This work led to his being awarded

Turing jump (896 words) [view diff] exact match in snippet view article find links to article

ordinals of the constructible universe, using Jensen's work on fine structure theory of Gödel's L. The concept has also been generalized to extend to

Admissible ordinal (660 words) [view diff] exact match in snippet view article find links to article

Constructible universe Regular cardinal Friedman, Sy D. (1985), "Fine structure theory and its applications", Recursion theory (Ithaca, N.Y., 1982), Proc