Karel Hrbáček

Generating author description...

All published works

Action	Title	Year	Authors
+	Errata: multi-level nonstandard analysis and the axiom of choice	2024	Karel Hrbáček
+	Multi-level nonstandard analysis and the axiom of choice	2024	Karel Hrbáček
+ PDF Chat	Multi-level Nonstandard Analysis and the Axiom of Choice	2024	Karel Hrbáček
+ PDF Chat	Peano and Osgood theorems via effective infinitesimals	2023	Karel Hrbáček Mikhail G. Katz
+	Effective Infinitesimals in $\mathbb R$	2023	Karel Hrbáček Mikhail G. Katz
+	Effective infinitesimals in R	2023	Karel Hrbáček Mikhail G. Katz
+	Trees and Homogeneous LOTS	2021	Ethan Akin Karel Hrbáček
+ PDF Chat	Infinitesimal analysis without the Axiom of Choice	2021	Karel Hrbáček Mikhail G. Katz
+	Trees and Homogeneous LOTS	2021	Ethan Akin Karel Hrbáček
+ PDF Chat	On factoring of unlimited integers	2020	Karel Hrbáček
+	On factoring of unlimited integers	2019	Karel Hrbáček
+	On factoring of unlimited integers	2019	Karel Hrbáček
+	Nonstandard objects in set theory	2017	Karel Hrbáček
+	Approaches to analysis with infinitesimals following Robinson, Nelson, and others	2017	Peter Fletcher Karel Hrbáček Vladimir Kanovei Mikhail G. Katz Claude Lobry Sam Sanders
+	10.4115/jla.v4i0.151	2016	NULL AUTHOR_ID
+	Analysis with Ultrasmall Numbers	2014	Karel Hrbáček Olivier Lessmann Richard O’Donovan
+	Relative set theory: Strong stability	2012	Karel Hrbáček
+	Analysis with Ultrasmall Numbers	2010	Karel Hrbáček Olivier Lessmann Richard O’Donovan
+	Some remarks on nonstandard theory of classes	2007	Karel Hrbáček
+	Stratified analysis?	2007	Karel Hrbáček
+	Standard sets in nonstandard set theory	2004	P. V. Andreev Karel Hrbáček
+	Internally iterated ultrapowers	2004	Karel Hrbáček
+	Combinatorial principles in nonstandard analysis	2002	Mauro Di Nasso Karel Hrbáček
+	Realism, nonstandard set theory, and large cardinals	2001	Karel Hrbáček
+	Review: Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 1. Bounded Set Theory; Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 2. External Universe over the Universe of Bounded Set Theory; Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 3. Partially Saturated Universes	1999	Karel Hrbáček
+	Standard foundations for nonstandard analysis	1992	David Ballard Karel Hrbáček
+	Convex powerdomains II	1989	Karel Hrbáček
+	Convex powerdomains I	1987	Karel Hrbáček
+	On the Existence of Two Analytic Non-Borel Sets Which are not Isomorphic	1984	A. Maitra C. Ryll–Nardzewski R. Daniel Mauldin Karel Hrbáček Stephen G. Simpson
+	DEGREES OF ANALYTIC SETS	1983	Karel Hrbáček
+	On Kleene Degrees of Analytic Sets	1980	Karel Hrbáček Stephen G. Simpson
+	Propositional extensions of L[ω1ω]	1980	Richard Gostanian Karel Hrbáček
+	Nonstandard set Theory	1979	Karel Hrbáček
+	Nonstandard Set Theory	1979	Karel Hrbáček
+	A New Proof that π < σ	1979	Richard Gostanian Karel Hrbáček
+	On the Complexity of Analytic Sets	1978	Karel Hrbáček
+ PDF Chat	Axiomatic foundations for Nonstandard Analysis	1978	Karel Hrbáček
+	Measurable cardinals in some Gödelian set theories	1966	Karel Hrbáček

Common Coauthors

Coauthor	Papers Together
Mikhail G. Katz	5
Olivier Lessmann	2
Richard O’Donovan	2
Ethan Akin	2
Richard Gostanian	2
Stephen G. Simpson	2
Peter Fletcher	1
P. V. Andreev	1
Vladimir Kanovei	1
Claude Lobry	1
Sam Sanders	1
C. Ryll–Nardzewski	1
A. Maitra	1
Mauro Di Nasso	1
R. Daniel Mauldin	1
David Ballard	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Internal set theory: A new approach to nonstandard analysis	1977	Edward Nelson	13
+ PDF Chat	Axiomatic foundations for Nonstandard Analysis	1978	Karel Hrbáček	11
+	Nonstandard Analysis, Axiomatically	2004	Vladimir Kanovei Michael Reeken	10
+	Nonstandard Methods in Commutative Harmonic Analysis	1997	E. I. Gordon	6
+	Nonstandard Set Theory	1979	Karel Hrbáček	5
+	Undecidable hypotheses in Edward Nelson's internal set theory	1991	Vladimir Kanovei	5
+ PDF Chat	A general theory of superinfinitesimals	1987	Benjamin Benninghofen Michael Richter	5
+	Nonstandard set Theory	1979	Karel Hrbáček	5
+	THEORIE RELATIVE DES ENSEMBLES INTERNES	1992	Yves Péraire	5
+	Relative set theory: Internal view	2009	Hrbacek	5
+	Nonstandard set theory	1989	Peter Fletcher	5
+	Non-standard analysis	1966	Abraham Robinson	4
+	Foundations of infinitesimal calculus	1976	H. Jerome Keisler	4
+	Foundational Aspects of “Non”standard Mathematics	1994	David Ballard	4
+	Axiom systems of nonstandard set theory	1981	Toru Kawai	4
+	Axiom of Choice in nonstandard set theory	2012	Hrbacek	4
+	Standard foundations for nonstandard analysis	1992	David Ballard Karel Hrbáček	4
+	Infinitesimal approach of almost- automorphic functions	1993	Yves Péraire	4
+	Consequences of the Axiom of Choice	1998	Paul Howard Jean Rubin	3
+	A nonstandard set theory in the $\displaystyle\in$ -language	2000	Vladimir Kanovei Michael Reeken	3
+	Internally iterated ultrapowers	2004	Karel Hrbáček	3
+	Nonstandard Analysis by Axiomatic Method	1983	Toru Kawai	3
+ PDF Chat	Conversion from nonstandard to standard measure spaces and applications in probability theory	1975	Peter A. Loeb	3
+	Nonstandard Analysis in Practice	1995	Francine Diener Marc Diener	3
+ PDF Chat	Interpreting the Infinitesimal Mathematics of Leibniz and Euler	2016	Jacques Bair Piotr Błaszczyk R. Ely Valérie Henry Vladimir Kanovei Karin U. Katz Mikhail G. Katz S. S. Kutateladze Thomas McGaffey Patrick Reeder	3
+	An axiomatics for nonstandard set theory, based on von Neumann–Bernays–Gödel Theory	2001	P. V. Andreev E. I. Gordon	3
+	Radically Elementary Probability Theory.	1987	Edward Nelson	3
+ PDF Chat	The unreasonable effectiveness of Nonstandard Analysis	2020	Sam Sanders	3
+	Relatively standard elements in Nelson's internal set theory	1989	E. I. Gordon	3
+ PDF Chat	An axiomatic presentation of the nonstandard methods in mathematics	2002	Mauro Di Nasso	3
+	Reverse formalism 16	2017	Sam Sanders	3
+	The use of double nonstandard enlargements in topology	1990	В. А. Молчанов	3
+	Alpha-theory: An elementary axiomatics for nonstandard analysis	2003	Vieri Benci Mauro Di Nasso	3
+ PDF Chat	A functional interpretation for nonstandard arithmetic	2012	Benno van den Berg Eyvind Martol Briseid Pavol Safarik	3
+	Nonstandard Arithmetic and Reverse Mathematics	2006	H. Jerome Keisler	2
+	Believing the axioms. II	1988	Penelope Maddy	2
+	On the Complexity of Analytic Sets	1978	Karel Hrbáček	2
+	A nonstandard set theory in the ∈-language	2000	Vladimir Kanovei Michael Reeken	2
+ PDF Chat	Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics	2012	Vladimir Kanovei Mikhail G. Katz Thomas Mormann	2
+ PDF Chat	On nonisomorphic analytic sets	1976	R. Daniel Mauldin	2
+	Realism, nonstandard set theory, and large cardinals	2001	Karel Hrbáček	2
+	Nonstandard Analysis and its Applications	1988	Nigel J. Cutland	2
+	Standard sets in nonstandard set theory	2004	P. V. Andreev Karel Hrbáček	2
+	Mathematics in the alternative set theory	1979	Petr Vopěnka	2
+	Transfer theorems for π-monads	1989	Nigel J. Cutland	2
+ PDF Chat	A definable nonstandard model of the reals	2004	Vladimir Kanovei Saharon Shelah	2
+ PDF Chat	THE SET-THEORETIC MULTIVERSE	2012	Joel David Hamkins	2
+	Some extensions of the principles of idealization transfer and choice in the relative internal set theory	1995	Yves Péraire	2
+	Non Standard Regular Finite Set Theory	1995	Stefano Baratella R Ferro	2
+	Decomposition of terms in Lucas sequences	2009	Abdelmadjid Boudaoud	2