Mengenlehre
Hrbacek ist mit Thomas Jech Verfasser eines Standardwerks über axiomatische Mengenlehre. Von ihm stammt ein axiomatischer Zugang zur Nichtstandardanalysis und Nichtstandard-Mengenlehre, die Hrbacek-Mengenlehre (HST, Hrbacek Set Theory).