Find link

language:

Find link is a tool written by Edward Betts.

searching for Impredicativity 3 found (16 total)

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

{\displaystyle n} . Wolfram Pohlers, Proof Theory: The First Step Into Impredicativity (2009) (p.247) K. Devlin, An introduction to the fine structure of

Lévy hierarchy (1,368 words) [view diff] exact match in snippet view article find links to article

(1991), pp.439--457. W. Pohlers, Proof Theory: The First Step into Impredicativity (2009) (p.245) Jon Barwise, Admissible Sets and Structures. Perspectives

New Foundations (8,137 words) [view diff] exact match in snippet view article find links to article

restriction, though NFI is not a predicative theory: it admits enough impredicativity to define the set of natural numbers (defined as the intersection of