@文章{zbMATH07379292，作者={Maietti、Maria Emilia和Maschio、Samuele和Rathjen、Michael}，Title={归纳形式拓扑的可实现语义，{Church}的论文和选择公理}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={17}，数字={2}，页码={21}，注={Id/No 21}，年份={2021}，语言={英语}，DOI={10.23638/LMCS-17（2:21）2021}，关键词={03B70,68-XX}，zbMATH={7379292}}