Fork me on GitHub
Math for the people, by the people.

User login

predicativism

Defines: 
impredicative definition, vicious circle principle, hierarchy of types, ramified theory, typical ambiguity, arithmetic predicate
Keywords: 
impredicative, vicious circle, type, order, axiom of reducibility
Synonym: 
predicative set
Type of Math Object: 
Topic
Major Section: 
Reference

Mathematics Subject Classification

03-01 no label found03A05 no label found

Subscribe to Comments for "predicativism"