Assertion: function's definition | /r/CapableOf | reduce the quantifier complexity
Facets:
value: by two quantifiers
type: OTHER
Source sentences:
text: Keisler proved that such a hyperreal definition of limit reduces the quantifier complexity by two quantifiers.