Karel Hrbacek

From MaRDI portal
Person:195652

Available identifiers

zbMath Open hrbacek.karelWikidataQ1708716 ScholiaQ1708716MaRDI QIDQ195652

List of research outcomes





PublicationDate of PublicationType
Erratum to: ``Multi-level nonstandard analysis and the axiom of choice2024-11-12Paper
Multi-level nonstandard analysis and the axiom of choice2024-08-30Paper
Effective infinitesimals in \(\mathbb{R}\)2024-01-04Paper
Peano and Osgood theorems via effective infinitesimals2023-11-02Paper
CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES2023-03-20Paper
Constructing nonstandard hulls and Loeb measures in internal set theories2023-01-01Paper
Trees and Homogeneous LOTS2021-07-28Paper
Infinitesimal analysis without the axiom of choice2021-04-14Paper
On factoring of unlimited integers2021-01-22Paper
Infinitesimal analysis without the Axiom of Choice2020-09-10Paper
Approaches to analysis with infinitesimals following Robinson, Nelson, and others2018-05-18Paper
Analysis with Ultrasmall Numbers2014-10-06Paper
Relative set theory: internal view2012-12-17Paper
Axiom of choice in nonstandard set theory2012-12-17Paper
Relative set theory: some external issues2012-12-17Paper
Relative set theory: strong stability2012-12-17Paper
Analysis with Ultrasmall Numbers2010-12-14Paper
Some remarks on nonstandard theory of classes2008-10-28Paper
Nonstandard objects in set theory2006-08-28Paper
Standard sets in nonstandard set theory2005-08-29Paper
https://portal.mardi4nfdi.de/entity/Q46568032005-03-14Paper
https://portal.mardi4nfdi.de/entity/Q48193732004-09-24Paper
Combinatorial principles in nonstandard analysis2003-03-09Paper
Realism, nonstandard set theory, and large cardinals2002-05-13Paper
https://portal.mardi4nfdi.de/entity/Q42564171999-07-12Paper
Standard foundations for nonstandard analysis1993-04-01Paper
Continuous completions1992-06-25Paper
Convex powerdomains. II1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38031701988-01-01Paper
Convex powerdomains. I1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36910521985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32181111984-01-01Paper
DEGREES OF ANALYTIC SETS1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39149751980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38759131980-01-01Paper
Nonstandard Set Theory1979-01-01Paper
A New Proof that π < σ1979-01-01Paper
Axiomatic foundations for Nonstandard Analysis1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41564321978-01-01Paper
On the Complexity of Analytic Sets1978-01-01Paper
On the Failure of the Weak Beth Property1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55342281967-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56020891967-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55413581966-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55413571966-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55146091965-01-01Paper
Multi-level Nonstandard Analysis and the Axiom of ChoiceN/APaper

Research outcomes over time

This page was built for person: Karel Hrbacek