弗拉基米尔·卡诺维;瓦西里·吕贝茨基 实数的良好光面（varDelta_n^1）有序并不意味着黑体（mathbf{Delta}_{n-1}^1）存在有序。 （英语） Zbl 07827506号 Ann.纯粹应用。逻辑 175，第6号，文章ID 103426，38页（2024）.MSC公司：03E15年 03年3月35日 28A05号 03E40型 PDF格式BibTeX公司 XML格式引用 \textit{V.Kanovei}和\textit{V.Lyubetsky}，Ann.纯粹应用。逻辑175，第6号，文章ID 103426，38页（2024；Zbl 07827506） 全文： 内政部
柯丽玲 朝向刻画（>\omega^2）-易变的递归可枚举图灵度。 （英语） Zbl 07806911号 Ann.纯粹应用。逻辑 175，第4号，文章ID 103403，30页（2024）.MSC公司：03D25号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{L.Ko}，Ann.纯应用。逻辑175，第4号，文章ID 103403，30页（2024；Zbl 07806911） 全文： 内政部 arXiv公司
理查德·马修斯;迈克尔·拉特扬 建设性地构建可构建的宇宙。 （英语） Zbl 07785165号 Ann.纯粹应用。逻辑 175，第3号，文章ID 103392，25 p.（2024）.MSC公司：03E45型 03电子70 03D65年 03E10年 03楼55 PDF格式BibTeX公司 XML格式引用 \textit｛R.Matthews｝和\textit｛M.Rathjen｝，Ann.纯应用。逻辑175，第3号，文章ID 103392，25页（2024；Zbl 07785165） 全文： 内政部 arXiv公司
约翰·R·斯蒂尔。 比较引理。 （英语） Zbl 07748755号 Ann.纯粹应用。逻辑 175，第1号，文章ID 103329，37页（2024）.MSC公司：03E35号 03E45型 03E55型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Steel}，Ann.纯应用。逻辑175，第1号，文章ID 103329，37页（2024；Zbl 07748755） 全文： 内政部
秋弘市卡纳莫里 解说员库恩。 （英语） Zbl 07748745号 Ann.纯粹应用。逻辑 175，第1号，文章ID 103319，第7页（2024）.MSC公司：03-01 03-02 54-02 54-06 PDF格式BibTeX公司 XML格式引用 \textit{A.Kanamori}，Ann.纯苹果。逻辑175，第1号，文章ID 103319，第7页（2024；Zbl 07748745） 全文： 内政部
凯斯勒，H.杰罗姆 使用超功率比较连续结构。 （英语） Zbl 07748744号 Ann.纯粹应用。逻辑 175，第1号，文章ID 103284，41页（2024）.MSC公司：03C66号 03C20号 03C45号机组 03元50分 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Keisler}，Ann.纯粹应用。逻辑175，第1号，文章ID 103284，41页（2024；Zbl 07748744） 全文： 内政部 arXiv公司
克里斯托弗·伊格尔。;克洛维斯·哈梅尔;桑德拉·米勒;富兰克林·D·塔尔。 莫利定理关于可数模型数的一个不可判定推广。 （英语） Zbl 07719417号 Ann.纯粹应用。逻辑 174，第9号，文章ID 103317，25页（2023）.MSC公司：03C85号 03C55号 03E55型 第3页第45页 03E15年 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Eagle}等人，Ann.Pure Appl。逻辑174，第9号，文章ID 103317，25页（2023；Zbl 07719417） 全文： 内政部 arXiv公司
内德尔科·斯特凡诺维奇 Halpern-Läuchli定理的替代方法。 （英语） Zbl 07719415号 Ann.纯粹应用。逻辑 174，第9号，文章ID 103313，29 p.（2023）.MSC公司：03E35号 10年5月 03E75型 2018年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{N.Stefanović}，Ann.《纯粹的应用》。逻辑174，第9号，文章ID 103313，29页（2023；Zbl 07719415） 全文： 内政部
d'Auriac，Paul-Elliot Angles公司;刘璐;巴斯蒂安·米格诺蒂;卢多维奇·佩蒂 Carlson-Simpson引理及其在逆向数学中的应用。 （英语） Zbl 07719408号 Ann.纯粹应用。逻辑 174，第9号，文章ID 103287，16页（2023）.MSC公司：03立方厘米30 05元55分 PDF格式BibTeX公司 XML格式引用 \textit{P.-E.A.d'Auriac}等人，《纯粹应用》。逻辑174，第9号，文章ID 103287，16页（2023；Zbl 07719408） 全文： 内政部 arXiv公司 哈尔
马克·坎斯玛 固定域上的双线性空间是简单不稳定的。 （英语） Zbl 07680010号 Ann.纯粹应用。逻辑 174，第6号，文章ID 103268，22 p.（2023）.MSC公司：03C45号机组 03C10号机组 03C35号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit｛M.Kamsma｝，Ann.纯应用。逻辑174，第6号，文章ID 103268，22页（2023；Zbl 07680010） 全文： 内政部 arXiv公司
纪尧姆·马萨 B帧对偶。 （英语） Zbl 07662884号 Ann.纯粹应用。逻辑 174，第5号，文章ID 103245，42 p.（2023）.MSC公司：03B20型 06B15号 06B23号 06D20日 18楼70 PDF格式BibTeX公司 XML格式引用 \textit{G.Massas}，Ann.纯苹果。逻辑174，第5号，文章ID 103245，42页（2023；Zbl 07662884） 全文： 内政部
巴勃罗Cubides Kovacsics;法国波因特 具有泛型派生的拓扑字段。 （英语） Zbl 1511.12003年 Ann.纯粹应用。逻辑 174，第3号，文章ID 103211，38页（2023）. 审核人：吕克·贝莱尔（蒙特利尔） MSC公司：12升12 12J25型 05年12月12日 13N15号 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cubides Kovacsics}和\textit{F.Point}，Ann.Pure Appl。逻辑174，第3号，文章ID 103211，38页（2023；Zbl 1511.12003） 全文： 内政部 arXiv公司
叶金河 关于ACVF中的\（\mu\）-稳定器的注释。 （英语） Zbl 1512.03058号 Ann.纯粹应用。逻辑 174，第3号，文章ID 103210，14页（2023）. 审核人：Fujita Masato（库尔） MSC公司：03C60型 12升12 03C65号 03C64号 03C98号 12月10日 17年11月14日 PDF格式BibTeX公司 XML格式引用 \textit{J.Ye}，Ann.纯苹果。逻辑174，第3号，文章ID 103210，14页（2023；Zbl 1512.03058） 全文： 内政部 arXiv公司
迈克尔·麦金纳尼;Ng，Keng Meng女士 分离弱\（\α\）-变化和\（\ alpha\）-改变通用性。 （英语） Zbl 1509.03126号 Ann.纯粹应用。逻辑 173，第7号，文章ID 103134，第31页（2022）. 审核人：马蒂奥·比安切蒂（圣母院） MSC公司：03D25号 03D55号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{M.McInerney}和\textit{K.M.Ng}，Ann.Pure Appl。逻辑173，第7号，文章ID 103134，31页（2022；Zbl 1509.03126） 全文： 内政部
瓦根阿斯兰扬 微分场中充分的预维不等式。 （英语） Zbl 1491.12003年 Ann.纯粹应用。逻辑 173，第1期，文章ID 103030，42页（2022）. 审核人：彼得罗·科瓦尔斯基（弗罗茨瓦夫） MSC公司：05年12月12日 03C60型 12H20型 11层03 PDF格式BibTeX公司 XML格式引用 \textit{V.Aslanyan}，Ann.纯粹应用。逻辑173，第1号，文章ID 103030，42页（2022；Zbl 1491.12003） 全文： 内政部 arXiv公司 链接
亚当·克劳茨克;威瑟·库比希 具有有限生成结构的博弈。 （英语） Zbl 07404816号 Ann.纯粹应用。逻辑 172，第10号，文章ID 103016，13 p.（2021）.MSC公司：07年3月 03元50分 PDF格式BibTeX公司 XML格式引用 \textit{A.Krawczyk}和\textit{W.Kubi-si}，Ann.Pure Appl。逻辑172，第10号，文章ID 103016，13页（2021；Zbl 07404816） 全文： 内政部 arXiv公司
Jamal K.卡瓦奇。 无限块向量序列的参数化拉姆齐理论。 （英语） Zbl 1466.05211号 Ann.纯粹应用。逻辑 172，第8号，文章ID 102984，22 p.（2021）.MSC公司：10年5月 46 B45 54D80型 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Kawach}，Ann.纯粹应用。逻辑172，第8号，文章ID 102984，22页（2021；Zbl 1466.05211） 全文： 内政部 arXiv公司
布鲁诺·迪尼斯;马里奥·埃德蒙多。;马塞洛·马米诺 具有可定义Skolem函数的o-极小结构中的基本群。 （英语） Zbl 07358543号 Ann.纯粹应用。逻辑 172，第8期，文章ID 102975，28页（2021）.MSC公司：03C64号 55N30型 58 K10 55便士65 PDF格式BibTeX公司 XML格式引用 \textit{B.Dinis}等人，Ann.Pure Appl。逻辑172，第8号，文章ID 102975，28页（2021；Zbl 07358543） 全文： 内政部 arXiv公司
卡雷尔·赫巴切克;米哈伊尔·卡茨（Mikhail G.Katz）。 没有选择公理的无穷小分析。 （英语） Zbl 1529.03285号 Ann.纯粹应用。逻辑 172，第6号，文章ID 102959，第31页（2021）.MSC公司：05年3月 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{K.Hrbacek}和\textit{M.G.Katz}，Ann.Pure Appl。逻辑172，第6号，文章ID 102959，31页（2021；Zbl 1529.03285） 全文： 内政部 arXiv公司
阿舒托什·库马尔;迪利普·拉加万 图灵度的分离族和序维数。 （英语） Zbl 1506.03099号 Ann.纯粹应用。逻辑 172，第5号，文章ID 102911，19页（2021）.MSC公司：04年3月 03E05号 03年3月35日 03D28号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kumar}和\textit{D.Raghavan}，Ann.纯粹应用。逻辑172，第5号，文章ID 102911，19页（2021；Zbl 1506.03099） 全文： 内政部
克里斯托弗·伊格尔。;克洛维斯·哈梅尔;富兰克林·D·塔尔。 拓扑在模型理论中的两个应用。 （英语） Zbl 1506.03082号 Ann.纯粹应用。逻辑 172，第5号，文章ID 102907，第16页（2021）.MSC公司：03C30号 03C95号 03C98号 40A05型 54E52型 5420国集团 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Eagle}等人，Ann.Pure Appl。逻辑172，第5号，文章ID 102907，16页（2021；Zbl 1506.03082） 全文： 内政部
尤里·安德鲁斯;诺亚·施韦伯;安德烈·索比 塞尔斯理论计算真正的算术。 （英语） Zbl 1442.03021号 Ann.纯粹应用。逻辑 171，第8期，文章ID 102811，22 p.（2020）. 审核人：罗曼·穆拉夫斯基（波兹南） MSC公司：03D25号 03日30分 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{U.Andrews}等人，Ann.Pure Appl。逻辑171，第8号，文章ID 102811，22页（2020；Zbl 1442.03021） 全文： 内政部 arXiv公司
亚历山大·梅尔尼科夫。;维克托·塞利瓦诺夫。;Mars M.亚马列夫。 精细层次中的图灵可约性。 （英语） 兹比尔1471.03067 Ann.纯粹应用。逻辑 171，第7期，文章ID 102766，16页（2020年）. 审核人：莱昂·哈克勒路（鲍多尼哈姆） MSC公司：03D28号 03天55 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Melnikov}等人，Ann.Pure Appl。逻辑171，第7号，文章ID 102766，16页（2020；Zbl 1471.03067） 全文： 内政部
维拉州Koponen 超简单范畴理论和预几何。 （英语） Zbl 07114354号 Ann.纯粹应用。逻辑 170，第12号，文章ID 102718，18 p.（2019）.MSC公司：03C45号机组 03立方厘米10 03C15号 03元50分 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{V.Koponen}，Ann.纯苹果。逻辑170，第12号，文章ID 102718，18页（2019；Zbl 07114354） 全文： 内政部 arXiv公司
Makowsky，J.A。;E.V.拉夫。;科特克，T。 逻辑学家对图多项式的看法。 （英语） Zbl 1477.03122号 Ann.纯粹应用。逻辑 170，第9期，1030-1069（2019）.MSC公司：03立方厘米13 05C31号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Makowsky}等人，Ann.Pure Appl。逻辑170，No.9，1030--1069（2019；Zbl 1477.03122） 全文： 内政部 arXiv公司
亚蒂尔·哈列维 关于ACVF中的稳定指向品种和一般稳定群。 （英语） 兹比尔1477.03149 Ann.纯粹应用。逻辑 170，编号2，180-217（2019）；更正同上，第173号，第1条，文章编号103045，第3页（2022年）。MSC公司：03C60型 03C45号机组 03C98号 14升15 12J25型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Halevi}，Ann.纯粹应用。逻辑170，No.2，180--217（2019；Zbl 1477.03149） 全文： 内政部 arXiv公司
赫鲁沙克，M。;Meza Alcántara博士。;苏梅尔，E。;乌兹加特吉，C。 理想的拉姆齐型性质。 （英语） Zbl 1422.03101号 Ann.纯粹应用。逻辑 168，第11号，2022-2049（2017）.MSC公司：03E15年 03E05号 03E02号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hruák}等人，Ann.Pure Appl。逻辑168，No.11，2022--2049（2017；Zbl 1422.03101） 全文： 内政部
尤里·霍姆斯基;乔治·拉古齐 完全分裂的米勒树和无限常相等的实域。 （英语） Zbl 1426.03029号 Ann.纯应用。逻辑 168，第8期，1491-1506（2017）. 审核人：塞缪尔·戈梅斯·达席尔瓦（萨尔瓦多） MSC公司：03E15年 03E17年 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Khomskii}和\textit{G.Laguzzi}，Ann.Pure Appl。逻辑168，No.8，1491--1506（2017；Zbl 1426.03029） 全文： 内政部
马修·朱拉;奥斯卡·莱文;泰勒·马尔卡宁 \（A\）-可计算图。 （英语） Zbl 1403.03073号 Ann.纯粹应用。逻辑 167，第3号，235-246（2016）.MSC公司：03D45号 03D25号 05C15号 05C38号 03D28号 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{M.Jura}等人，Ann.Pure Appl。逻辑167，No.3，235--246（2016；Zbl 1403.03073） 全文： 内政部
雅纳克·罗摩克里希南 可定义函数在o-极小结构的曲线上连续。 （英语） Zbl 1351.03024号 Ann.纯粹应用。逻辑 165，编号7-8，1339-1351（2014）.MSC公司：03C64号 26B05号 第26页至第10页 第14页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Ramakrishnan}，Ann.《纯粹的应用》。逻辑165，No.7--8，1339--1351（2014；Zbl 1351.03024） 全文： 内政部 arXiv公司
泽维尔·凯塞多;JoséN.Iovino。 省略了不可数类型和\（[0,1]\）值逻辑的强度。 （英语） Zbl 1315.03063号 Ann.纯粹应用。逻辑 165，第6期，1169-1200（2014）.MSC公司：03C95号 03B50号 03B52号 03C90号 54E52型 PDF格式BibTeX公司 XML格式引用 \textit{X.Caicedo}和\textit{J.N.Iovino}，Ann.Pure Appl。逻辑165，No.6，1169--1200（2014；Zbl 1315.03063） 全文： 内政部 arXiv公司
克里斯托弗·伊格尔。 省略无限值逻辑的类型。 （英语） Zbl 1282.03015号 Ann.纯应用。逻辑 165，第3期，913-932（2014）. 审核人：艾萨克·戈德布林（芝加哥） MSC公司：03B50号 03C75号 03C90号 54E52型 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Eagle}，Ann.纯粹应用。逻辑165，No.3，913--932（2014；Zbl 1282.03015） 全文： 内政部 arXiv公司
米沙·加夫里洛维奇 阿贝尔变体作为分析Zariski结构的覆盖。 （英语） Zbl 1273.03135号 Ann.纯粹应用。逻辑 163，第11期，1524-1548（2012）.MSC公司：03C98号 03立方厘米35 03C45号机组 14层20 14层35 14小时30分 32问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Gavrilovich}，Ann.《纯粹的应用》。逻辑163，No.11，1524--1548（2012；Zbl 1273.03135） 全文： 内政部 arXiv公司
约格·布伦德尔;尤里·霍姆斯基 投影层次结构第二层上的极化分区。 （英语） Zbl 1263.03032号 Ann.纯应用。逻辑 163，第9期，1345-1357（2012）. 审核人：斯兹蒙·泽伯斯基（Wrocław） MSC公司：03E15年 03E02号 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{J.Brendle}和\textit{Y.Khomskii}，Ann.Pure Appl。逻辑163，No.9，1345--1357（2012；Zbl 1263.03032） 全文： 内政部
维拉州Koponen 可拓性质和随机可染结构的渐近概率。 （英语） 兹比尔1257.03057 Ann.纯粹应用。逻辑 163，第4号，391-438（2012）. 审核人：格雷戈里·洛伦·麦科姆（坦帕） MSC公司：03立方厘米13 60二氧化碳 60层20 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Koponen}，Ann.纯苹果。逻辑163，No.4，391--438（2012；Zbl 1257.03057） 全文： 内政部 arXiv公司
菲利普·斯考克罗夫特 维群和AF代数之间的一些模型理论对应。 （英语） Zbl 1241.03044号 Ann.纯粹应用。逻辑 162，第9期，755-785（2011）.MSC公司：03C60型 06年2月20日 19公里14 46升80 PDF格式BibTeX公司 XML格式引用 \textit{P.Scowcroft}，Ann.纯粹应用。逻辑162，No.9，755--785（2011；Zbl 1241.03044） 全文： 内政部
Kim，Byunghan先生;Kim，Hyeung-Joon先生 树属性1周围的概念。 （英语） Zbl 1241.03039号 Ann.纯粹应用。逻辑 162，第9期，698-709（2011）.MSC公司：03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Kim}和\textit{H.-J.Kim}.安.纯应用。逻辑162，No.9，698--709（2011；Zbl 1241.03039） 全文： 内政部
克里斯·康尼迪斯。 图灵不可比性的测度论证明。 （英语） Zbl 1227.03056号 Ann.纯粹应用。逻辑 162，第1期，第83-88页（2010年）. 审核人：杰弗里·赫斯特（布恩） MSC公司：03D28号 03立方厘米30 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） 全文： 内政部
法扎德·迪德瓦尔;卡维·加塞姆卢;马苏德普尔马迪安 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公司
赛义德·穆罕默德·巴赫里;布鲁诺·波扎特;马苏德普尔马迪安 一阶逻辑的算术观点。 （英语） 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） 全文： 内政部
维拉州Koponen 独立性和有限子模型性质。 （英语） Zbl 1161.03017号 Ann.纯粹应用。逻辑 158，编号1-2，58-79（2009）.MSC公司：03C07号机组 03C13号机组 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit｛V.Koponen｝，Ann.纯应用。逻辑158，编号1--2，58-79（2009；Zbl 1161.03017） 全文： 内政部
杰森·特伊茨 关于最小指标集的图灵度。 （英语） Zbl 1128.03033号 Ann.纯粹应用。逻辑 148，编号1-3，63-80（2007）. 审核人：丹尼尔拉·马林内斯库（布拉索夫） MSC公司：03D28号 03D25号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Teutsch}，Ann.纯应用。逻辑148，编号1-3，63-80（2007；Zbl 1128.03033） 全文： 内政部
安德列夫，P.V。;E.I.戈登。 超有限集理论。 （英语） Zbl 1110.03047号 Ann.纯粹应用。逻辑 143，编号1-3，3-19（2006）.MSC公司：03电子70 03E35号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit｛P.V.Andreev｝和\textit｛E.I.Gordon｝，Ann.Pure Appl。逻辑143，编号1--3，3--19（2006；Zbl 1110.03047） 全文： 内政部 arXiv公司
A.V.切尔纳夫斯基。;Leksine公司。 歧管无法识别。 （英语） Zbl 1115.57014号 Ann.纯粹应用。逻辑 141，第3期，325-335（2006）. 审核人：迈克尔·乔斯维格（达姆施塔特） MSC公司：第57季度25 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Chernavsky}和\textit{V.P.Leksine}，Ann.Pure Appl。逻辑141，No.3，325--335（2006；Zbl 1115.57014） 全文： 内政部
秋弘市卡纳莫里 Levy和集合论。 （英语） Zbl 1089.03004号 Ann.纯粹应用。逻辑 140，编号1-3，233-252（2006）.MSC公司：03-03 01A70号 03埃克斯 PDF格式BibTeX公司 XML格式引用 \textit{A.Kanamori}，Ann.纯苹果。逻辑140，No.1--3，233--252（2006；Zbl 1089.03004） 全文： 内政部
马尔科·乔尔杰维奇 孕几何的有限子模型性质和\（\omega\）-范畴展开。 （英语） Zbl 1093.03015号 Ann.纯粹应用。逻辑 139，编号1-3，201-229（2006）.MSC公司：03立方厘米35 03C13号机组 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Djordjević}，Ann.纯粹应用。逻辑139，编号1--3，201-229（2006；Zbl 1093.03015） 全文： 内政部
伯恩哈德·科尼格 局部一致性。 （英语） Zbl 1035.03022号 Ann.纯粹应用。逻辑 124，编号1-3，107-139（2003）.MSC公司：2005年3月 03E47型 PDF格式BibTeX公司 XML格式引用 \textit{B.König}，Ann.纯粹应用。逻辑124，编号1--3，107-139（2003；Zbl 1035.03022） 全文： 内政部
拉尔夫·弗里斯;乔治·麦克纳尔蒂。;民族，J.B。 固有的非有限基格。 （英语） Zbl 1015.03037号 Ann.纯应用。逻辑 115，编号1-3，175-193（2002）. 审核人：基·罗西克（布尔诺） MSC公司：03C05号机组 06B20号 PDF格式BibTeX公司 XML格式引用 \textit{R.Freese}等人，Ann.Pure Appl。逻辑115，No.1--3，175--193（2002；Zbl 1015.03037） 全文： 内政部
卡雷尔·赫巴切克 现实主义、非标准集合论和大基数。 （英语） Zbl 0985.03065号 Ann.纯粹应用。逻辑 109，编号1-2，15-48（2001）. 审核人：罗伯特·埃尔曼（安纳波利斯） MSC公司：05年3月 03电子70 03E65年 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{K.Hrbacek}，Ann.纯应用。逻辑109，编号1--2，15--48（2001；Zbl 0985.03065） 全文： 内政部
丹尼尔·蒙迪奇;乔瓦尼·潘蒂 无穷值逻辑中的可判定和不可判定素数理论。 （英语） Zbl 1130.03019号 Ann.纯粹应用。逻辑 108，编号1-3，269-278（2001）.MSC公司：03B50号 03B25号 03第35页 05年6月 06年2月20日 PDF格式BibTeX公司 XML格式引用 \textit{D.Mundici}和\textit{G.Panti}，Ann.Pure Appl。逻辑108，编号1--3，269--278（2001；Zbl 1130.03019） 全文： 内政部
里卡多·比安科尼 关于Schanuel猜想的一些评论。 （英语） Zbl 0981.03042号 Ann.纯粹应用。逻辑 108，编号1-3，15-18（2001）.MSC公司：03C60型 11单元09 03C20号 11J81型 2007年11月 PDF格式BibTeX公司 XML格式引用 \textit{R.Bianconi}，Ann.纯应用。逻辑108，编号1-3,15-18（2001；Zbl 0981.03042） 全文： 内政部
亚历山德罗·贝拉杜奇;玛格丽塔·奥特罗 o-极小流形的交集理论。 （英语） Zbl 0968.03044号 Ann.纯粹应用。逻辑 107，编号1-3，87-119（2001）.MSC公司：03C64号 57卢比99 03C98号 PDF格式BibTeX公司 XML格式引用 \textit{A.Berarducci}和\textit{M.Otero}，Ann.《纯粹的应用》。逻辑107，编号1-387-119（2001；Zbl 0968.03044） 全文： 内政部
Samuel R.巴斯。 有界算法、证明复杂性和Parikh的两篇论文。 （英语） 兹比尔0924.03106 Ann.纯粹应用。逻辑 96，编号1-3，43-55（1999）. 审核人：M.Teruamšvili（第比利斯） MSC公司：30楼03号 20层03 07年3月 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss}，Ann.纯粹应用。逻辑96，编号1--3，43-55（1999；Zbl 0924.03106） 全文： 内政部
Kim，Byunghan先生;皮莱，阿南德 简单的理论。 （英语） Zbl 0897.03036号 Ann.纯粹应用。逻辑 88，编号2-3，149-164（1997）. 审核人：S.R.Kogalovskij（伊万诺沃） MSC公司：03C45号机组 03元50分 PDF格式BibTeX公司 XML格式引用 \textit{B.Kim}和\textit{A.Pillay}，Ann.纯苹果。逻辑88，No.2--3，149--164（1997；Zbl 0897.03036） 全文： 内政部
萨哈隆，谢拉 对不稳定理论进行分类。 （英语） Zbl 0874.03043号 Ann.纯粹应用。逻辑 80，第3期，229-255（1996）. 审核人：A.里亚斯金（新西伯利亚） MSC公司：03C45号机组 03元50分 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah}，Ann.纯苹果。逻辑80，No.3，229--255（1996；Zbl 0874.03043） 全文： 内政部 arXiv公司
山崎富代 多项式博弈与确定性。 （英语） Zbl 0858.90139号 Ann.纯粹应用。逻辑 80，第1期，1-16页（1996年）. 审核人：G.Bonanno（戴维斯） MSC公司：91A05型 03E60年 91A44型 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{T.Yamakami}，Ann.纯苹果。逻辑80，No.1，1--16（1996；Zbl 0858.90139） 全文： 内政部
理查德·索默 皮亚诺算法中的超有限归纳法。 （英语） Zbl 0858.03056号 Ann.纯粹应用。逻辑 76，第3期，231-289（1995）. 审核人：M.Teruamšvili（第比利斯） MSC公司：30楼03号 PDF格式BibTeX公司 XML格式引用 \textit｛R.Sommer｝，Ann.纯应用。逻辑76，No.3，231--289（1995；Zbl 0858.03056） 全文： 内政部
罗伯特·麦克诺顿 有限图上的无限游戏。 （英语） Zbl 0798.90151号 Ann.纯粹应用。逻辑 65，第2期，149-184（1993）. 审核人：R.McNaughton（美国特洛伊） MSC公司：91年43月 65年第68季度 91A05型 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.McNaughton}，Ann.纯粹应用。逻辑65，No.2，149--184（1993；Zbl 0798.90151） 全文： 内政部
亚克尼斯，亚历山大;弗拉基米尔·亚克尼斯 Gurevich Harrington的游戏是由有限自动机定义的。 （英语） Zbl 0778.03010号 Ann.纯粹应用。逻辑 62，第3期，265-294（1993）. 审核人：马雷什（普拉哈） MSC公司：05年3月 91A05型 68T05年 PDF格式BibTeX公司 XML格式引用 \textit{A.Yakhnis}和\textit{V.Yakhnis}，Ann.纯粹应用。逻辑62，No.3，265--294（1993；Zbl 0778.03010） 全文： 内政部
罗德·唐尼;迈克尔·斯托布 递归可枚举集的Friedberg分裂。 （英语） Zbl 0795.03057号 Ann.纯粹应用。逻辑 59，第3期，175-199（1993）. 审核人：雷奎安（南京） MSC公司：03D25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}和\textit{M.Stob}，Ann.纯粹应用。逻辑59，第3号，175--199（1993；Zbl 0795.03057） 全文： 内政部
托马斯·奈文斯（Thomas A.Nevins）。 递归可枚举向量空间中的凸依赖度。 （英语） Zbl 0769.03028号 Ann.纯粹应用。逻辑 60，第1期，31-47（1993）. 审核人：M.Zimand（布库雷什蒂） MSC公司：03D45号 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Nevins}，Ann.纯粹应用。逻辑60，No.1，31--47（1993；Zbl 0769.03028） 全文： 内政部
安德烈亚斯·布拉斯 选择性超滤器和同质性。 （英语） Zbl 0649.03036号 Ann.纯粹应用。逻辑 38，第3期，215-255（1988）. 审核人：K.P.哈特 MSC公司：03E05号 03E55型 03年3月35日 54A25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}，Ann.纯粹应用。逻辑38，No.3，215--255（1988；Zbl 0649.03036） 全文： 内政部
R.G.唐尼。 最大理论。 （英语） Zbl 0629.03019号 Ann.纯粹应用。逻辑 33, 245-282 (1987).MSC公司：03D45号 PDF格式BibTeX公司 XML格式引用 \textit｛R.G.Downey｝，Ann.纯应用。逻辑33，245--282（1987；Zbl 0629.03019） 全文： 内政部
哈维·弗里德曼。;安德烈·斯克洛夫 直觉上可证明的递归有序。 （英语） Zbl 0615.03046号 Ann.纯粹应用。逻辑 30, 165-171 (1986). 审核人：G.克雷塞尔 MSC公司：03楼55 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{H.M.Friedman}和\textit{A.Scedrov}，Ann.Pure Appl。逻辑30，165--171（1986；Zbl 0615.03046） 全文： 内政部