研究兴趣
集合论[强制的正式验证]. 描述性集合理论在计算机科学[可靠系统组].
泛代数，多样性，可定义性。
[通用代数与逻辑研究小组]
最近的论文
在中搜索我 [arXiv公司][zbMATH公司][数学科学网][Scopus公司][学者][ORCID公司][数据库管理程序][美国计算机协会数字图书馆]
期刊（和最新手稿）
| [1] |
偏序集上能带结构的可定义性。arXiv电子打印，arXiv:2404.07877（2024年4月）。2404.07877.与J.Kuperman和A.Petrovich联合工作。[ 围兜 |arXiv公司 ] |
| [2] |
链边界和Zorn引理的最简洁证明（2024）。展览文章，与G.L.合作。Incatasciato公司。[ 围兜 |.pdf格式 ] |
| [三] |
一般Markov决策过程的双相似性分类（2024年1月）。2401.09273.与M.S.联合工作。莫罗尼。[ 围兜 |arXiv公司 ] |
| [4] |
科尔多瓦的集合论。国家科学院学报(2024).新闻界。40周年特邀演讲的扩展摘要数学研究中心（科尔多瓦）。[ 围兜 |.pdf格式 ] |
| [5] |
ctm强制方法的正式验证。纯逻辑与应用逻辑年鉴,175(2024).2210.15609.与E.Gunther、M.Pagano和M.Steinberg联合工作。[ 围兜 |内政部 |arXiv公司 |http协议 ] |
| [6] |
可分空间上标记Markov过程的Zhou序数。符号逻辑述评,16 (4): 1011–1032（2023年12月）。arXiv:2005.03630。与M.S.联合工作。莫罗尼。[ 围兜 |内政部 |arXiv公司 |http协议 ] |
| [7] |
每个最小对偶鉴别器簇作为一个拟簇是最小的。通用代数,82（2）：36（2021年4月）。与X.Caicedo，M.Campercholi，K.A.联合工作。卡恩斯，Á.Szendrei和D.Vaggione。[ 围兜 |内政部 |http协议 ] |
| [8] |
标记马尔可夫过程的半拉回。计算机科学中的逻辑方法,17（2）（4月。2021).arXiv:1706.02801。与J.Pachl联合工作。[ 围兜 |内政部 |arXiv公司 |http协议 ] |
完整列表 [我的Erdős编号]
有些幻灯片.
出版评论.
