编辑配置文件（在新选项卡中打开） 达尼·奥滕 合著者距离 作者ID: 水獭 已编制索引的文档： 1出版物自2023年起，包括1 arXiv预打印 合著者： 1位合著者具有1联合出版物 19位合作作者 合著者 0 单作者的 1 本诺·范登伯格 系列 领域 1 数学逻辑和基础（03-XX） 按年份列出的出版物