A cumulative hierarchy of predicates
โ
Harvey Friedman
๐
Article
๐
1975
๐
John Wiley and Sons
๐
English
โ 417 KB
In this paper, we attempt to construct something analogous to the cumulative hierawhy of sets, for the notion of predicate. Analogously t o set theory, we will view every o b j ~~c ~t in our hicrarchy t o be a predicate, and evrry predicate in our hierarchy to have a ~~~1 1 defined truth value when