Karel Hrbacek

Available identifiers

zbMath Open hrbacek.karelWikidataQ1708716 ScholiaQ1708716MaRDI QIDQ195652

List of research outcomes

Publication	Date of Publication	Type
Effective infinitesimals in \(\mathbb{R}\)	2024-01-04	Paper
Peano and Osgood theorems via effective infinitesimals	2023-11-02	Paper
CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES	2023-03-20	Paper
Constructing nonstandard hulls and Loeb measures in internal set theories	2023-01-01	Paper
Trees and Homogeneous LOTS	2021-07-28	Paper
Infinitesimal analysis without the axiom of choice	2021-04-14	Paper
On factoring of unlimited integers	2021-01-22	Paper
Infinitesimal analysis without the Axiom of Choice	2020-09-10	Paper
Approaches to analysis with infinitesimals following Robinson, Nelson, and others	2018-05-18	Paper
Analysis with Ultrasmall Numbers	2014-10-06	Paper
Relative set theory: Internal view	2012-12-17	Paper
Relative set theory: Some external issues	2012-12-17	Paper
Axiom of Choice in nonstandard set theory	2012-12-17	Paper
Relative set theory: Strong stability	2012-12-17	Paper
Analysis with Ultrasmall Numbers	2010-12-14	Paper
Some remarks on nonstandard theory of classes	2008-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q5482543	2006-08-28	Paper
Standard sets in nonstandard set theory	2005-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q4656803	2005-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4819373	2004-09-24	Paper
Combinatorial principles in nonstandard analysis	2003-03-09	Paper
Realism, nonstandard set theory, and large cardinals	2002-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4256417	1999-07-12	Paper
Standard foundations for nonstandard analysis	1993-04-01	Paper
Continuous completions	1992-06-25	Paper
Convex powerdomains. II	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3803170	1988-01-01	Paper
Convex powerdomains. I	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3691052	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3218111	1984-01-01	Paper
DEGREES OF ANALYTIC SETS	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3875913	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3914975	1980-01-01	Paper
A New Proof that π < σ	1979-01-01	Paper
Nonstandard Set Theory	1979-01-01	Paper
Axiomatic foundations for Nonstandard Analysis	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4156432	1978-01-01	Paper
On the Complexity of Analytic Sets	1978-01-01	Paper
On the Failure of the Weak Beth Property	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5534228	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5602089	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5541357	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5541358	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5514609	1965-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Karel Hrbacek