O čtvrtém Hilbertově problému
O množině středů křivek konstantní křivosti rozšířené hyperbolické roviny, které procházejí daným bodem hyperbolické roviny a dotýkají se dané křivky konstantní křivosti
On analytic models of synthetic differential geometry
On the integration theorem for Lie groupoids
Ordinary differential equations and their exponentials
In the context of Synthetic Differential Geometry, we discuss vector fields/ordinary differential equations as actions; in particular, we exploit function space formation (exponential spaces) in the category of actions.