Orders on magmas and computability theory Academic Article uri icon