Edit Profile (opens in new tab) Hrbáček, Karel Co-Author Distance Author ID: hrbacek.karel Published as: Hrbacek, Karel; Hrbáček, Karel External Links: MGP · Wikidata · IdRef Documents Indexed: 42 Publications since 1965, including 4 Books and 2 Additional arXiv Preprints Co-Authors: 15 Co-Authors with 21 Joint Publications 252 Co-Co-Authors all top 5 Co-Authors 21 single-authored 5 Katz, Mikhail G. 3 Gostanian, Richard 3 Jech, Thomas J. 2 Akin, Ethan 2 Lessmann, Olivier 2 O’Donovan, Richard 2 Vopenka, Petr 1 Andreev, Petr 1 Ballard, David 1 Di Nasso, Mauro 1 Fletcher, Peter 1 Kanovei, Vladimir G. 1 Lobry, Claude 1 Sanders, Sam 1 Simpson, Stephen G. all top 5 Serials 5 Journal of Logic and Analysis 3 Commentationes Mathematicae Universitatis Carolinae 3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 3 Annals of Pure and Applied Logic 3 Pure and Applied Mathematics, Marcel Dekker 2 American Mathematical Monthly 2 The Journal of Symbolic Logic 2 Real Analysis Exchange 2 Information and Computation 2 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 1 Algebra Universalis 1 Dissertationes Mathematicae 1 Fundamenta Mathematicae 1 Proceedings of the American Mathematical Society 1 Topology Proceedings 1 Journal of Mathematical Sciences (New York) 1 The Bulletin of Symbolic Logic 1 Textbooks in Mathematics all top 5 Fields 29 Mathematical logic and foundations (03-XX) 10 Real functions (26-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 4 Computer science (68-XX) 2 Category theory; homological algebra (18-XX) 2 General topology (54-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Measure and integration (28-XX) 1 Ordinary differential equations (34-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 30 Publications have been cited 210 times in 179 Documents Cited by ▼ Year ▼ Introduction to set theory. 3rd, revised and expanded ed. Zbl 1045.03521 Hrbacek, Karel; Jech, Thomas 73 1999 Approaches to analysis with infinitesimals following Robinson, Nelson, and others. Zbl 1435.03094 Fletcher, Peter; Hrbacek, Karel; Kanovei, Vladimir; Katz, Mikhail G.; Lobry, Claude; Sanders, Sam 18 2017 Introduction to set theory. 2nd ed., rev. and expanded. Zbl 0555.03016 Hrbáček, Karel; Jech, Thomas 16 1984 Nonstandard set theory. Zbl 0444.03038 Hrbáček, Karel 15 1979 Axiomatic foundations for nonstandard analysis. Zbl 0373.02039 Hrbáček, Karel 15 1978 Standard foundations for nonstandard analysis. Zbl 0766.03038 Ballard, David; Hrbacek, Karel 7 1992 Introduction to set-theory. Zbl 0378.04001 Hrbáček, Karel; Jech, Thomas 6 1978 The consistency of some theorems on real numbers. Zbl 0153.32104 Vopenka, P.; Hrbáček, Karel 5 1967 Infinitesimal analysis without the axiom of choice. Zbl 07333022 Hrbacek, Karel; Katz, Mikhail G. 5 2021 Analysis with ultrasmall numbers. Zbl 1217.03049 Hrbacek, Karel; Lessmann, Olivier; O’Donovan, Richard 5 2010 Convex powerdomains. II. Zbl 0673.06004 Hrbacek, Karel 4 1989 Standard sets in nonstandard set theory. Zbl 1067.03071 Andreev, Petr; Hrbacek, Karel 4 2004 On strongly measurable cardinals. Zbl 0158.26202 Vopenka, P.; Hrbáček, Karel 4 1966 On the failure of the weak Beth property. Zbl 0343.02011 Gostanian, Richard; Hrbáček, Karel 3 1976 Analysis with ultrasmall numbers. Zbl 1317.26002 Hrbacek, Karel; Lessmann, Olivier; O’Donovan, Richard 3 2015 Convex powerdomains. I. Zbl 0627.06011 Hrbacek, Karel 3 1987 Nonstandard objects in set theory. Zbl 1121.03072 Hrbacek, Karel 3 2006 Continuous completions. Zbl 0747.06005 Hrbacek, Karel 3 1991 Relative set theory: internal view. Zbl 1285.03068 Hrbacek, Karel 3 2009 On the complexity of analytic sets. Zbl 0411.03040 Hrbáček, Karel 2 1978 Realism, nonstandard set theory, and large cardinals. Zbl 0985.03065 Hrbacek, Karel 2 2001 Internally iterated ultrapowers. Zbl 1067.03072 Hrbacek, Karel 2 2004 Axiom of choice in nonstandard set theory. Zbl 1300.03027 Hrbacek, Karel 2 2012 A new proof that \(\pi^1_1<\sigma^1_1\). Zbl 0424.03027 Gostanian, Richard; Hrbáček, Karel 1 1979 Powerdomains as algebraic lattices. Zbl 0573.68003 Hrbáček, Karel 1 1985 Complete homogeneous LOTS. Zbl 1083.54021 Akin, Ethan; Hrbacek, Karel 1 2002 On factoring of unlimited integers. Zbl 1456.26022 Hrbacek, Karel 1 2020 Some remarks on nonstandard theory of classes. Zbl 1154.03035 Hrbacek, Karel 1 2007 Relative set theory: some external issues. Zbl 1279.03089 Hrbacek, Karel 1 2010 Constructing nonstandard hulls and Loeb measures in internal set theories. Zbl 1512.03077 Hrbacek, Karel; Katz, Mikhail G. 1 2023 Constructing nonstandard hulls and Loeb measures in internal set theories. Zbl 1512.03077 Hrbacek, Karel; Katz, Mikhail G. 1 2023 Infinitesimal analysis without the axiom of choice. Zbl 07333022 Hrbacek, Karel; Katz, Mikhail G. 5 2021 On factoring of unlimited integers. Zbl 1456.26022 Hrbacek, Karel 1 2020 Approaches to analysis with infinitesimals following Robinson, Nelson, and others. Zbl 1435.03094 Fletcher, Peter; Hrbacek, Karel; Kanovei, Vladimir; Katz, Mikhail G.; Lobry, Claude; Sanders, Sam 18 2017 Analysis with ultrasmall numbers. Zbl 1317.26002 Hrbacek, Karel; Lessmann, Olivier; O’Donovan, Richard 3 2015 Axiom of choice in nonstandard set theory. Zbl 1300.03027 Hrbacek, Karel 2 2012 Analysis with ultrasmall numbers. Zbl 1217.03049 Hrbacek, Karel; Lessmann, Olivier; O’Donovan, Richard 5 2010 Relative set theory: some external issues. Zbl 1279.03089 Hrbacek, Karel 1 2010 Relative set theory: internal view. Zbl 1285.03068 Hrbacek, Karel 3 2009 Some remarks on nonstandard theory of classes. Zbl 1154.03035 Hrbacek, Karel 1 2007 Nonstandard objects in set theory. Zbl 1121.03072 Hrbacek, Karel 3 2006 Standard sets in nonstandard set theory. Zbl 1067.03071 Andreev, Petr; Hrbacek, Karel 4 2004 Internally iterated ultrapowers. Zbl 1067.03072 Hrbacek, Karel 2 2004 Complete homogeneous LOTS. Zbl 1083.54021 Akin, Ethan; Hrbacek, Karel 1 2002 Realism, nonstandard set theory, and large cardinals. Zbl 0985.03065 Hrbacek, Karel 2 2001 Introduction to set theory. 3rd, revised and expanded ed. Zbl 1045.03521 Hrbacek, Karel; Jech, Thomas 73 1999 Standard foundations for nonstandard analysis. Zbl 0766.03038 Ballard, David; Hrbacek, Karel 7 1992 Continuous completions. Zbl 0747.06005 Hrbacek, Karel 3 1991 Convex powerdomains. II. Zbl 0673.06004 Hrbacek, Karel 4 1989 Convex powerdomains. I. Zbl 0627.06011 Hrbacek, Karel 3 1987 Powerdomains as algebraic lattices. Zbl 0573.68003 Hrbáček, Karel 1 1985 Introduction to set theory. 2nd ed., rev. and expanded. Zbl 0555.03016 Hrbáček, Karel; Jech, Thomas 16 1984 Nonstandard set theory. Zbl 0444.03038 Hrbáček, Karel 15 1979 A new proof that \(\pi^1_1<\sigma^1_1\). Zbl 0424.03027 Gostanian, Richard; Hrbáček, Karel 1 1979 Axiomatic foundations for nonstandard analysis. Zbl 0373.02039 Hrbáček, Karel 15 1978 Introduction to set-theory. Zbl 0378.04001 Hrbáček, Karel; Jech, Thomas 6 1978 On the complexity of analytic sets. Zbl 0411.03040 Hrbáček, Karel 2 1978 On the failure of the weak Beth property. Zbl 0343.02011 Gostanian, Richard; Hrbáček, Karel 3 1976 The consistency of some theorems on real numbers. Zbl 0153.32104 Vopenka, P.; Hrbáček, Karel 5 1967 On strongly measurable cardinals. Zbl 0158.26202 Vopenka, P.; Hrbáček, Karel 4 1966 all cited Publications top 5 cited Publications all top 5 Cited by 215 Authors 16 Katz, Mikhail G. 15 Kanovei, Vladimir G. 11 Hrbáček, Karel 10 Sanders, Sam 6 Błaszczyk, Piotr 5 Reeken, Michael 5 Sherry, David M. 4 Bair, Jacques 4 John, Sunil Jacob 4 Konieczny, Janusz 3 Andreev, P. V. 3 Banakh, Taras Onufrievich 3 Bottazzi, Emanuele 3 Di Nasso, Mauro 3 Kunisada, Ryoichi 3 Sleziak, Martin 3 Sullivan, Robert Patrick 2 Araújo, João 2 Avron, Arnon 2 Babitha, K. V. 2 Benci, Vieri 2 Brodsky, Ari Meir 2 Cohen, Liron 2 Dauns, John 2 Girish, K. P. 2 Gordon, Evgeniĭ Izrail’evich 2 Hechler, Stephen Herman 2 Heinig, Peter 2 Katz, Karin Usadi 2 Kirst, Dominik 2 Kuhlemann, Karl 2 Marques-Smith, M. Paula O. 2 McGaffey, Thomas 2 Miranker, Willard Lee 2 Mormann, Thomas 2 Normann, Dag 2 Nowik, Tahl 2 Peraire, Yves 2 Rinot, Assaf 2 Rueda Zoca, Abraham 2 Smolka, Gert 2 Walsh, Sean 2 Weitkamp, Galen 2 Xu, Xiaoquan 2 Zhang, Wenfeng 2 Zhu, Jiang 2 Ziman, Miloš 2 Zuckerman, Gregg J. 1 Abdeljalil, Saghe 1 Aguilera, Juan Pablo 1 Anacona, Maribel 1 André, Jorge M. 1 Andreev, Petr 1 Arboleda, Luis Carlos 1 Aviles Lopez, Antonio 1 Backman, Spencer 1 Baglini, Lorenzo Luperi 1 Ballard, David 1 Barabash, G. M. 1 Baratchart, Laurent 1 Barbosa, Keegan Dasilva 1 Bascelli, Tiziana 1 Belinfante, Johan Gijsbertus Frederik 1 Blanqui, Frédéric 1 Bolotin, Arkady 1 Bonsangue, Marcello Maria 1 Borovik, Alexandre V. 1 Bosi, Gianni 1 Botur, Michal 1 Boudaoud, Abdelmadjid 1 Bourgeois, Laurent 1 Caicedo, Xavier 1 Carmona, Joan Josep 1 Chachólski, Wojciech 1 Chigogidze, Alex Ch. 1 Cho, Yeol Je 1 Cococcioni, Marco 1 Contessa, Maria 1 Cortés-Izurdiaga, Manuel 1 Cufí i Sobregrau, Julià 1 Diaconescu, Denisa 1 Dias, Rodrigo R. 1 Dietz, Geoffrey D. 1 Dimitrić, Radoslav Milan 1 Dinis, Bruno 1 Djamel, Bellaouar 1 Dow, Alan S. 1 Du, Guoping 1 Durán, Francisco 1 Ebels-Duggan, Sean C. 1 Ely, Robert 1 Eskew, Monroe 1 Fedorchuk, Vitaly Vitalievich 1 Feferman, Solomon 1 Forrest, Jeffrey Yi-Lin 1 Forti, Marco 1 Fuchs, László 1 García-Lirola, Luis Carlos 1 Garti, Shimon 1 George, Varghese T. ...and 115 more Authors all top 5 Cited in 95 Serials 10 The Journal of Symbolic Logic 10 Annals of Pure and Applied Logic 6 Proceedings of the American Mathematical Society 5 Journal of Algebra 5 Topology and its Applications 5 Foundations of Science 4 Synthese 4 Journal of Applied Logic 4 Open Mathematics 3 Computers & Mathematics with Applications 3 Journal of Mathematical Analysis and Applications 3 Mathematical Notes 3 Fuzzy Sets and Systems 3 Studia Logica 2 Communications in Algebra 2 Israel Journal of Mathematics 2 Algebra Universalis 2 Journal of Mathematical Economics 2 Journal of Philosophical Logic 2 Journal of Pure and Applied Algebra 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 Notre Dame Journal of Formal Logic 2 Real Analysis Exchange 2 Semigroup Forum 2 Theoretical Computer Science 2 Transactions of the American Mathematical Society 2 Mathematical Social Sciences 2 Information and Computation 2 Archive for Mathematical Logic 2 Mathematical Logic Quarterly (MLQ) 2 The Bulletin of Symbolic Logic 2 Matematychni Studiï 2 Erkenntnis 2 Logical Methods in Computer Science 2 Antiquitates Mathematicae 1 American Mathematical Monthly 1 Bulletin of the Australian Mathematical Society 1 Discrete Mathematics 1 Journal d’Analyse Mathématique 1 Studia Mathematica 1 The Annals of Statistics 1 Applied Mathematics and Computation 1 Demonstratio Mathematica 1 Duke Mathematical Journal 1 Information Sciences 1 International Journal of Mathematics and Mathematical Sciences 1 Inventiones Mathematicae 1 Journal of Functional Analysis 1 Journal of the Korean Mathematical Society 1 Journal of Number Theory 1 Journal of Optimization Theory and Applications 1 Kybernetes 1 Mathematika 1 Monatshefte für Mathematik 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Siberian Mathematical Journal 1 European Journal of Combinatorics 1 Order 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Journal of Theoretical Probability 1 Games and Economic Behavior 1 Communications in Statistics. Theory and Methods 1 Linear Algebra and its Applications 1 Indagationes Mathematicae. New Series 1 Algebra Colloquium 1 Journal of Mathematical Sciences (New York) 1 Journal of Functional Programming 1 Integral Transforms and Special Functions 1 Mathematical Communications 1 Soft Computing 1 Journal of Mathematical Logic 1 Miscelánea Matemática 1 Journal of the Australian Mathematical Society 1 Logic and Logical Philosophy 1 Portugaliae Mathematica. Nova Série 1 Journal of Algebra and its Applications 1 Foundations of Physics 1 Complex Analysis and Operator Theory 1 Acta Mathematica Universitatis Ostraviensis 1 Discrete and Continuous Dynamical Systems. Series S 1 Journal of Nonlinear Science and Applications 1 Journal of Logic and Analysis 1 The Review of Symbolic Logic 1 Journal of Formalized Reasoning 1 Advances in Decision Sciences 1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 1 Communications in Mathematics 1 Computability 1 Axioms 1 Nonlinear Analysis. Theory, Methods & Applications 1 Sahand Communications in Mathematical Analysis 1 Journal of Logical and Algebraic Methods in Programming 1 Modern Stochastics. Theory and Applications 1 British Journal for the History of Mathematics all top 5 Cited in 45 Fields 97 Mathematical logic and foundations (03-XX) 22 Real functions (26-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 15 General topology (54-XX) 13 Computer science (68-XX) 12 Group theory and generalizations (20-XX) 10 History and biography (01-XX) 10 Functional analysis (46-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Combinatorics (05-XX) 7 General and overarching topics; collections (00-XX) 7 Number theory (11-XX) 7 Measure and integration (28-XX) 5 Associative rings and algebras (16-XX) 5 Category theory; homological algebra (18-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 Commutative algebra (13-XX) 3 Functions of a complex variable (30-XX) 3 Operator theory (47-XX) 2 General algebraic systems (08-XX) 2 Field theory and polynomials (12-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Partial differential equations (35-XX) 2 Probability theory and stochastic processes (60-XX) 2 Statistics (62-XX) 2 Biology and other natural sciences (92-XX) 1 \(K\)-theory (19-XX) 1 Topological groups, Lie groups (22-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Ordinary differential equations (34-XX) 1 Sequences, series, summability (40-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Integral transforms, operational calculus (44-XX) 1 Integral equations (45-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Differential geometry (53-XX) 1 Algebraic topology (55-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) 1 Relativity and gravitational theory (83-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.