蒂莫西·麦克尼科尔。 勒贝格空间的连续逻辑和嵌入。 (英语) Zbl 1498.46011号 架构(architecture)。数学。逻辑 60,编号1-2,105-119(2021).MSC公司:第46页 03C66号 46个B08 46个B09 46 B42 PDF格式BibTeX公司 XML格式引用 \textit{T.H.McNicholl},拱门。数学。逻辑60,编号1--2,105-119(2021;Zbl 1498.46011) 全文: 内政部 arXiv公司
瓦斯科·布拉特卡 Hahn-Banach定理的Borel复杂性和可计算性。 (英语) Zbl 1140.03040号 架构(architecture)。数学。逻辑 46,编号7-8,547-564(2008).MSC公司:03层60 03D45号 03E15年 46A22型 46秒30 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka},拱门。数学。逻辑46,编号7--8,547--564(2008;Zbl 1140.03040) 全文: 内政部