The axiom of determinacy implies dependent choice in mice.

Published in: Math. Log. Q. (2019)

Keyphrases

inference rules
pattern recognition
mutually dependent
real world
information retrieval
information systems
learning environment
cooperative
search algorithm
object recognition
viewpoint
user interface
modal logic