The following pages link to Karel Hrbacek (Q195652):
Displaying 8 items.
- Convex powerdomains. I (Q581432) (← links)
- Some remarks on nonstandard theory of classes (Q950783) (← links)
- On factoring of unlimited integers (Q5145849) (← links)
- Standard sets in nonstandard set theory (Q5311717) (← links)
- CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES (Q5884256) (← links)
- Effective infinitesimals in \(\mathbb{R}\) (Q6183681) (← links)
- Constructing nonstandard hulls and Loeb measures in internal set theories (Q6422242) (← links)
- Peano and Osgood theorems via effective infinitesimals (Q6457828) (← links)
