詹姆斯·巴恩斯。;吴君乐;理查德·肖尔(Richard A.Shore)。 超算术分析的定理和几乎超算术分析定理。 (英语) Zbl 1505.03025号 牛市。符号。日志。 28,第1期,133-149(2022). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 03D55号 35楼03号 05C63号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Barnes}等人,公牛。符号。日志。28,第1号,133--149(2022;Zbl 1505.03025) 全文: 内政部
肖尔,Richard A。 逆向数学:逻辑的游乐场。 (英语) Zbl 1218.03006号 牛市。符号。日志。 16,第3期,378-402(2010). 审核人:约瑟夫·伯杰(慕尼黑) MSC公司:03B30型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Shore},公牛。符号。日志。16,第3号,378--402(2010;Zbl 1218.03006) 全文: 内政部
理查德·肖尔(Richard A.Shore)。 度结构中的局部定义:图灵跳跃、超度和超度。 (英语) Zbl 1131.03018号 牛市。符号。日志。 13,第2期,226-239(2007). 审核人:约瑟夫·乌利安(圣巴巴拉) MSC公司:03D28号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Shore},公牛。符号。日志。13,第2号,226--239(2007;Zbl 1131.03018) 全文: 内政部 欧几里得 链接
理查德·肖尔(Richard A.Shore)。 学位结构:本地和全球调查。 (英语) Zbl 1119.03039号 牛市。符号。日志。 12,第3期,369-389(2006). 审核人:郑希忠(科特布斯) MSC公司:03D28号 2005年3月25日 03-02 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Shore},公牛。符号。日志。12,第3号,369--389(2006;Zbl 1119.03039) 全文: 内政部 链接
Samuel R.巴斯。;亚历山大·凯克里斯。;阿南德·皮莱;理查德·肖尔(Richard A.Shore)。 21世纪数学逻辑的前景。 (英语) Zbl 0981.03003号 牛市。符号。日志。 7,第2期,169-196(2001). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03-02 01A67号 03-03 01A61号 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss}等人,公牛。符号。日志。7,第2号,169--196(2001;Zbl 0981.03003) 全文: 内政部 链接 链接
安德烈·涅斯;理查德·肖尔(Richard A.Shore)。;西奥多·斯莱曼(Theodore A.Slaman)。 递归可枚举度中的可定义性。 (英语) Zbl 0874.03052号 牛市。符号。日志。 2,第4期,392-404(1996). 审核人:J.S.Ullian(圣路易斯) MSC公司:2005年3月25日 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies}等人,公牛。符号。日志。2,第4号,392--404(1996;Zbl 0874.03052) 全文: 内政部 链接 链接