information about Impredicativity field

Impredicativity

http://en.wikipedia.org/wiki/Impredicativity
Field Hierarchy
Parent
Type theory
2,587 papers
Current
Impredicativity
papers
Child
Trends