克里斯·康尼迪斯。 图灵不可比性的测度论证明。 (英语) Zbl 1227.03056号 Ann.纯粹应用。逻辑 162,第1期,第83-88页(2010年). 审核人:杰弗里·赫斯特(布恩) MSC公司:03D28号 03B30型 35楼03号 03层60 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Conidis},Ann.《纯粹的应用》。逻辑162,No.1,83--88(2010;Zbl 1227.03056) 全文: 内政部
王伟 马丁公理和将上半格嵌入到图灵度中。 (英语) Zbl 1225.03054号 Ann.纯粹应用。逻辑 161,第10号,1291-1298(2010).MSC公司:03D28号 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang},Ann.纯苹果。逻辑161,No.10,1291--1298(2010;Zbl 1225.03054) 全文: 内政部
法扎德·迪德瓦尔;卡维·加塞姆卢;Pourmahdian,马苏德 RPL的有效性,应用于连续逻辑。 (英语) Zbl 1225.03056号 Ann.纯粹应用。逻辑 161,第6号,789-799(2010).MSC公司:03D45号 03B50号 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{F.Didehvar}等人,Ann.Pure Appl。逻辑161,No.6,789--799(2010;Zbl 1225.03056) 全文: 内政部 arXiv公司
赛义德·穆罕默德·巴赫里;布鲁诺·波扎特;Pourmahdian,马苏德 一阶逻辑的算术观点。 (英语) Zbl 1259.03052号 Ann.纯粹应用。逻辑 161,第6期,745-755(2010). 审核人:M.Yasuhara(普林斯顿) MSC公司:03C90号 03C30号 03C80号 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Bagheri}等人,Ann.Pure Appl。逻辑161,No.6,745--755(2010;Zbl 1259.03052) 全文: 内政部