| Introduction to set theory, revised and expanded K Hrbacek, T Jech Crc Press, 2017 | 902 | 2017 |
| Axiomatic foundations for nonstandard analysis K Hrbacek Fundamenta Mathematicae 98 (1), 1-19, 1978 | 130 | 1978 |
| Nonstandard set theory K Hrbacek The American Mathematical Monthly 86 (8), 659-677, 1979 | 82 | 1979 |
| Standard foundations for nonstandard analysis D Ballard, K Hrbácek The Journal of Symbolic Logic 57 (2), 741-748, 1992 | 54 | 1992 |
| Analysis with Ultrasmall numbers K Hrbacek, O Lessmann, R O’Donovan The American Mathematical Monthly 117 (9), 801-816, 2010 | 48 | 2010 |
| Approaches to analysis with infinitesimals following Robinson, Nelson, and others P Fletcher, K Hrbacek, V Kanovei, MG Katz, C Lobry, S Sanders | 47 | 2017 |
| Stratified analysis? K Hrbacek The strength of nonstandard analysis, 47-63, 2007 | 28 | 2007 |
| Internally iterated ultrapowers K Hrbacek Nonstandard Models of Arithmetic and Set Theory, ed. by A Enayat and R …, 2004 | 24 | 2004 |
| Infinitesimal analysis without the Axiom of Choice K Hrbacek, MG Katz Annals of Pure and Applied Logic 172 (6), 102959, 2021 | 20 | 2021 |
| CONSISTENCY OF SOME THEOREMS ON REAL NUMBERS P Vopenka, K Hrbacek BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES …, 1967 | 20 | 1967 |
| Realism, nonstandard set theory, and large cardinals K Hrbacek Annals of Pure and Applied Logic 109 (1-2), 15-48, 2001 | 19 | 2001 |
| Relative set theory: Internal view K Hrbacek Journal of Logic and Analysis 1, 2009 | 18 | 2009 |
| On Kleene degrees of analytic sets K Hrbacek, SG Simpson Studies in Logic and the Foundations of Mathematics 101, 347-352, 1980 | 16 | 1980 |
| On strongly measurable cardinals P Vopěnka, K Hrbáček Bulletin de l'Académie Polonaise des Sciences, Série des Sciences …, 1966 | 15 | 1966 |
| Standard sets in nonstandard set theory P Andreev, K Hrbacek The Journal of Symbolic Logic 69 (1), 165-182, 2004 | 14 | 2004 |
| On the existence of two analytic non-Borel sets which are not isomorphic A Maitra, C Ryll-Nardzewski, RD Mauldin, K Hrbacek, SG Simpson | 14 | 1984 |
| Introduction to Set Theory. Marcel Decker K Hrbacek, T Jech Inc. New York, 1999 | 12 | 1999 |
| On the complexity of analytic sets K Hrbácek Mathematical Logic Quarterly 24 (25‐30), 1978 | 12 | 1978 |
| Axiom of Choice in nonstandard set theory K Hrbacek Journal of Logic and Analysis 4, 2012 | 10 | 2012 |
| Stratified analysis?, The strength of nonstandard analysis K Hrbacek Springer Wien, New York, Vienna, 2007 | 10 | 2007 |
