机译：结构现实主义，数学和本体论
机译：结构现实主义，数学和本体论
机译：论结构现实主义的本体论
机译：应用基于现实主义的本体 - 版本控制方法跟踪基本正式本体中的更改
机译：这种无限的，一致的不和谐：通过让·保罗·萨特（Jean-Paul Sartre）和阿兰·巴迪欧（Alain Badiou）的著作对数学存在主义进行了研究。
机译：基于现实主义的本体设计问题：为糖尿病营应用本体创建定义的案例研究
机译：贵族家庭是“奇异多重”？通过Alain Badiou的数学本体学镜头重新定义Smoczynski-Zarycki的贵族的Itey定义
