Karel Hrbacek

According to our database, Karel Hrbacek authored at least 22 papers between 1978 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2024

Errata: multi-level nonstandard analysis and the axiom of choice.

Karel Hrbacek

J. Log. Anal., 2024

Multi-level Nonstandard Analysis and the Axiom of Choice.

Karel Hrbacek

J. Log. Anal., 2024

2023

Constructing Nonstandard Hulls and Loeb Measures in Internal Set Theories.

Karel Hrbacek, Mikhail G. Katz

Bull. Symb. Log., March, 2023

Peano and Osgood theorems via effective infinitesimals.

Karel Hrbacek, Mikhail G. Katz

J. Log. Anal., 2023

2021

Infinitesimal analysis without the Axiom of Choice.

Karel Hrbacek, Mikhail G. Katz

Ann. Pure Appl. Log., 2021

2020

On factoring of unlimited integers.

Karel Hrbacek

J. Log. Anal., 2020

2012

Relative set theory: Strong stability.

Karel Hrbacek

J. Log. Anal., 2012

Axiom of Choice in nonstandard set theory.

Karel Hrbacek

J. Log. Anal., 2012

2010

Analysis with Ultrasmall Numbers.

Karel Hrbacek, Olivier Lessmann, Richard O'Donovan

Am. Math. Mon., 2010

Relative set theory: Some external issues.

Karel Hrbacek

J. Log. Anal., 2010

2009

Relative set theory: Internal view.

Karel Hrbacek

J. Log. Anal., 2009

2004

Standard sets in nonstandard set theory.

Petr Andreev, Karel Hrbacek

J. Symb. Log., 2004

2003

Combinatorial principle in nonstandard analysis.

Mauro Di Nasso, Karel Hrbacek

Ann. Pure Appl. Log., 2003

2001

Realism, nonstandard set theory, and large cardinals.

Karel Hrbacek

Ann. Pure Appl. Log., 2001

1992

Standard Foundations for Nonstandard Analysis.

David Ballard, Karel Hrbacek

J. Symb. Log., 1992

1989

Convex Powerdomains II

Karel Hrbacek

Inf. Comput., June, 1989

1987

Convex Powerdomains I

Karel Hrbacek

Inf. Comput., September, 1987

A Powerdomain Construction.

Karel Hrbacek

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1985

Powerdomains as Algebraic Lattices (Preliminary Report).

Karel Hrbacek

Proceedings of the Automata, 1985

1983

Degrees of analytic Sets.

Karel Hrbacek

Math. Log. Q., 1983

1979

A New Proof that π.

Richard Gostanian, Karel Hrbacek

Math. Log. Q., 1979

1978

On the Complexity of Analytic Sets.

Karel Hrbacek

Math. Log. Q., 1978