Assertion: bounded quantifier | /r/CapableOf | add no complexity
Facets:
Source sentences:
text: In applications of the language to recursion theory, such as the arithmetical hierarchy, bounded quantifiers add no complexity.