autoreducibility
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]From auto- + reducibility.
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..