李大发 使用标准器ANDP简化正交性。 (英语) Zbl 1034.03010号 Ann.纯粹应用。逻辑 124,编号1-3,49-70(2003).MSC公司:03B35型 65楼03号 68吨15 51A05号 51甲15 51层20 51-04 PDF格式BibTeX公司 XML格式引用 \textit{D.Li},Ann.纯苹果。逻辑124,编号1--3,49-70(2003;Zbl 1034.03010) 全文: DOI程序
李大发;贾培发;李新新 简化冯·柏拉图对建构性隔离几何的公理化。 (英语) 兹伯利0939.03069 Ann.纯粹应用。逻辑 102,编号1-2,1-26(2000). 审核人:维克托·潘布奇(凤凰城) MSC公司:65楼03号 03B30型 03B20型 51A05号 68吨15 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{D.Li}等人,Ann.Pure Appl。逻辑102,编号1--2,1--26(2000;Zbl 0939.03069) 全文: DOI程序