Karel Hrbacek

22 papers A* 1B 1Journal 20
YearRankTypeTitle / Venue / Authors
2024 J jnl
Errata: multi-level nonstandard analysis and the axiom of choice.
J. Log. Anal.
Karel Hrbacek
2024 J jnl
Multi-level Nonstandard Analysis and the Axiom of Choice.
J. Log. Anal.
Karel Hrbacek
2023 J jnl
Constructing Nonstandard Hulls and Loeb Measures in Internal Set Theories.
Bull. Symb. Log.
Karel Hrbacek, Mikhail G. Katz
2023 J jnl
Peano and Osgood theorems via effective infinitesimals.
J. Log. Anal.
Karel Hrbacek, Mikhail G. Katz
2021 J jnl
Infinitesimal analysis without the Axiom of Choice.
Ann. Pure Appl. Log.
Karel Hrbacek, Mikhail G. Katz
2020 J jnl
On factoring of unlimited integers.
J. Log. Anal.
Karel Hrbacek
2012 J jnl
Axiom of Choice in nonstandard set theory.
J. Log. Anal.
Karel Hrbacek
2012 J jnl
Relative set theory: Strong stability.
J. Log. Anal.
Karel Hrbacek
2010 J jnl
Analysis with Ultrasmall Numbers.
Am. Math. Mon.
Karel Hrbacek, Olivier Lessmann, Richard O'Donovan
2010 J jnl
Relative set theory: Some external issues.
J. Log. Anal.
Karel Hrbacek
2009 J jnl
Relative set theory: Internal view.
J. Log. Anal.
Karel Hrbacek
2004 J jnl
Standard sets in nonstandard set theory.
J. Symb. Log.
Petr Andreev, Karel Hrbacek
2003 J jnl
Combinatorial principle in nonstandard analysis.
Ann. Pure Appl. Log.
Mauro Di Nasso, Karel Hrbacek
2001 J jnl
Realism, nonstandard set theory, and large cardinals.
Ann. Pure Appl. Log.
Karel Hrbacek
1992 J jnl
Standard Foundations for Nonstandard Analysis.
J. Symb. Log.
David Ballard, Karel Hrbacek
1989 J jnl
Convex Powerdomains II
Inf. Comput.
Karel Hrbacek
1987 B conf
A Powerdomain Construction.
MFPS
Karel Hrbacek
1987 J jnl
Convex Powerdomains I
Inf. Comput.
Karel Hrbacek
1985 A* conf
Powerdomains as Algebraic Lattices (Preliminary Report).
ICALP
Karel Hrbacek
1983 J jnl
Degrees of analytic Sets.
Math. Log. Q.
Karel Hrbacek
1979 J jnl
A New Proof that π.
Math. Log. Q.
Richard Gostanian, Karel Hrbacek
1978 J jnl
On the Complexity of Analytic Sets.
Math. Log. Q.
Karel Hrbacek