An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited.

Ali Enayat Vladimir Kanovei

Published in: J. Math. Log. (2021)

Keyphrases

origin destination
travel time
fundus images
neural network
information systems
road network
optic disk
database
real world
clustering algorithm
multi agent