@第{zbMATH07785165条，作者={Matthews，Richard和Rathjen，Michael}，Title={建设性地构建可构建的宇宙}，FJournal={纯逻辑与应用逻辑年鉴}，日志={Ann.Pure Appl.Logic}，ISSN={0168-0072}，体积={175}，数字={3}，页码={25}，注={Id/编号103392}，年份={2024}，语言={英语}，DOI={10.1016/j.apal.2023.103392}，关键词={03E45,03E70,03D65,03E10,03F55}，zbMATH={7785165}}