autoreducibility
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Noun[edit]
autoreducibility (uncountable)
- (mathematics, set theory) The state or quality of being autoreducible.
- 2015, Merlin Carl, “Randomness and Degree Theory for Infinite Time Register Machines”, in arXiv[1]:
- Finally, we consider autoreducibility for ITRMs and show that randomness implies non-autoreducibility..