@InCollection{zbMATH06932477，作者={克里斯蒂安森（Kristiansen）、拉尔斯（Lars）和穆瓦纳希亚卡（Murwanashaka）、尤文纳尔（Juvenal）}，标题={一阶级联理论的可判定和不可判定片段}，BookTitle={计算世界中的航海路线。第十四届欧洲可计算性会议，2018年7月30日至8月3日，德国基尔。诉讼}，国际标准图书编号={978-3-319-94417-3；978-3-3169-94418-0}，页码={244--253}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-94418-0_25}，关键词={03C07,03B25}，URL={hdl.handle.net/10852/69677}，zbMATH={6932477}，Zbl={1509.03094}}