Osmanın gerçek adı nedir? Babinger (1891-1967), Osman'ın gerçek adının Atman, Azman olabileceğini belirtmiş, J. H. Kramers (1891-1951), İslam ve Hristiyan kaynaklarındaki isim farklılığına dikkati çekmiştir.