The following pages link to Karel Hrbacek (Q195652):
Displaying 46 items.
- Convex powerdomains. I (Q581432) (← links)
- Some remarks on nonstandard theory of classes (Q950783) (← links)
- Convex powerdomains. II (Q1120607) (← links)
- Continuous completions (Q1175931) (← links)
- Approaches to analysis with infinitesimals following Robinson, Nelson, and others (Q1750317) (← links)
- Combinatorial principles in nonstandard analysis (Q1861543) (← links)
- Infinitesimal analysis without the axiom of choice (Q2662699) (← links)
- Relative set theory: Internal view (Q3145942) (← links)
- Relative set theory: Some external issues (Q3145954) (← links)
- Axiom of Choice in nonstandard set theory (Q3145977) (← links)
- Relative set theory: Strong stability (Q3145980) (← links)
- (Q3218111) (← links)
- DEGREES OF ANALYTIC SETS (Q3342557) (← links)
- (Q3691052) (← links)
- (Q3803170) (← links)
- A New Proof that π < σ (Q3858259) (← links)
- (Q3875913) (← links)
- Nonstandard Set Theory (Q3887463) (← links)
- (Q3914975) (← links)
- Standard foundations for nonstandard analysis (Q4032655) (← links)
- On the Failure of the Weak Beth Property (Q4110977) (← links)
- Axiomatic foundations for Nonstandard Analysis (Q4149448) (← links)
- (Q4156432) (← links)
- On the Complexity of Analytic Sets (Q4198745) (← links)
- (Q4256417) (← links)
- (Q4656803) (← links)
- (Q4819373) (← links)
- On factoring of unlimited integers (Q5145849) (← links)
- Standard sets in nonstandard set theory (Q5311717) (← links)
- (Q5482543) (← links)
- (Q5514609) (← links)
- (Q5534228) (← links)
- (Q5541357) (← links)
- (Q5541358) (← links)
- (Q5602089) (← links)
- CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES (Q5884256) (← links)
- Analysis with Ultrasmall Numbers (Q5893997) (← links)
- Analysis with Ultrasmall Numbers (Q5895192) (← links)
- Realism, nonstandard set theory, and large cardinals (Q5940142) (← links)
- Effective infinitesimals in \(\mathbb{R}\) (Q6183681) (← links)
- Infinitesimal analysis without the Axiom of Choice (Q6348843) (← links)
- Constructing nonstandard hulls and Loeb measures in internal set theories (Q6422242) (← links)
- Peano and Osgood theorems via effective infinitesimals (Q6457828) (← links)
- Multi-level Nonstandard Analysis and the Axiom of Choice (Q6532876) (← links)
- Multi-level nonstandard analysis and the axiom of choice (Q6595732) (← links)
- Erratum to: ``Multi-level nonstandard analysis and the axiom of choice'' (Q6635590) (← links)
