Karel Hrbacek

Publication Activity (10 Years)

Years Active: 1978-2024
Publications (10 Years): 5

Top Topics

Object Recognition

Top Venues

Bull. Symb. Log.

Ann. Pure Appl. Log.

Publications

Karel Hrbacek
Multi-level Nonstandard Analysis and the Axiom of Choice. J. Log. Anal. 16 (2024)
Karel Hrbacek, Mikhail G. Katz
Constructing Nonstandard Hulls and Loeb Measures in Internal Set Theories. Bull. Symb. Log. 29 (1) (2023)
Karel Hrbacek, Mikhail G. Katz
Peano and Osgood theorems via effective infinitesimals. J. Log. Anal. 15 (2023)
Karel Hrbacek, Mikhail G. Katz
Infinitesimal analysis without the Axiom of Choice. Ann. Pure Appl. Log. 172 (6) (2021)
Karel Hrbacek
On factoring of unlimited integers. J. Log. Anal. 12 (2020)
Karel Hrbacek
Relative set theory: Strong stability. J. Log. Anal. 4 (2012)
Karel Hrbacek
Axiom of Choice in nonstandard set theory. J. Log. Anal. 4 (2012)
Karel Hrbacek
Relative set theory: Some external issues. J. Log. Anal. 2 (2010)
Karel Hrbacek, Olivier Lessmann, Richard O'Donovan
Analysis with Ultrasmall Numbers. Am. Math. Mon. 117 (9) (2010)
Karel Hrbacek
Relative set theory: Internal view. J. Log. Anal. 1 (2009)
Petr Andreev, Karel Hrbacek
Standard sets in nonstandard set theory. J. Symb. Log. 69 (1) (2004)
Mauro Di Nasso, Karel Hrbacek
Combinatorial principle in nonstandard analysis. Ann. Pure Appl. Log. 119 (1-3) (2003)
Karel Hrbacek
Realism, nonstandard set theory, and large cardinals. Ann. Pure Appl. Log. 109 (1-2) (2001)
David Ballard, Karel Hrbacek
Standard Foundations for Nonstandard Analysis. J. Symb. Log. 57 (2) (1992)
Karel Hrbacek
Convex Powerdomains II Inf. Comput. 81 (3) (1989)
Karel Hrbacek
Convex Powerdomains I Inf. Comput. 74 (3) (1987)
Karel Hrbacek
A Powerdomain Construction. MFPS (1987)
Karel Hrbacek
Powerdomains as Algebraic Lattices (Preliminary Report). ICALP (1985)
Karel Hrbacek
Degrees of analytic Sets. Math. Log. Q. 29 (2) (1983)
Richard Gostanian, Karel Hrbacek
A New Proof that π. Math. Log. Q. 25 (25-29) (1979)
Karel Hrbacek
On the Complexity of Analytic Sets. Math. Log. Q. 24 (25-30) (1978)