predicativity造句

• Solomon Feferman provides a historical review of predicativity, connecting it to current outstanding research problems.
• It is generally considered uncontroversial, although constructive set theory prefers a weaker version to resolve concerns about predicativity.
• Martin-L鰂 had hinted that the rules for each type former followed a pattern, which preserved the properties of the type theory ( e . g ., predicativity ).
• The opposite of impredicativity is predicativity, which essentially entails building stratified ( or ramified ) theories where quantification over lower levels results in variables of some new type, distinguished from the lower types that the variable ranges over.
• This is a predicativity restriction, though NFI is not a predicative theory : it admits enough impredicativity to define the set of natural numbers ( defined as the intersection of all inductive sets; note that the inductive sets quantified over are of the same type as the set of natural numbers being defined ).