Filters








186,790 Hits in 3.8 sec

Page 293 of Mathematical Reviews Vol. 44, Issue 2 [page]

<span title="">1972</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
ry nd del (2) ile is the for nd wer (%) alt: Y is ery The } of on- and Ans- : ido- tive case Ata) ——_ ————— NS Gaifman, Haim 1550 On local arithmetical functions and their application for constructing  ...  The construction of these types rests on the author’s | notion of a local arithmetical function (which also has analogues in secord-order arithmetic and set theory).  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1972-08_44_2/page/293" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1972-08_44_2/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 4257 of Mathematical Reviews Vol. , Issue 85j [page]

<span title="">1985</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
Cherlin (New Brunswick, N.J.) 85j:03049 Enayat, Ali (1-WI) 85j:03050 On certain elementary extensions of models of set theory. Trans. Amer. Math. Soc. 283 (1984), no. 2, 705-715.  ...  A priori, o can be of one of three types: (1) o is not constructiviz- able in any nonstandard model of PA; (2) o is constructivizable in every nonstandard countable model of PA; (3) neither (1) nor (2)  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1985-10_85j/page/4257" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1985-10_85j/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 3073 of Mathematical Reviews Vol. , Issue 94f [page]

<span title="">1994</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
Moreover, the quadratic speedup is hard to achieve, that is, the speedup is smaller for certain types of proofs and for certain formulas.  ...  {For the entire collection see MR 94c:03001.} Roman Murawski (Erlangen) 94f:03071 03F50 03C57 03D45 Plisko, V. E. On the relationship between some concepts of constructive model theory. (Russian.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1994-06_94f/page/3073" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1994-06_94f/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Research of an Improved Association Rules for Mining Mass Pipe Data

Ke-hui LIU, Yang LI, Yan-xia WANG
<span title="2017-04-27">2017</span> <i title="DEStech Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/52spf3of4jbu5da2xrhvubclcy" style="color: black;">DEStech Transactions on Computer Science and Engineering</a> </i> &nbsp;
These relevance formula can be divided into several types. This paper proposed and applied an alignment arithmetic models with increase progressively arithmetic named as FP4-DEEP.  ...  In this paper, we will explain the arithmetic and its optimized model. The inherent and expedient novel info is able to be found, and novel model will be generated.  ...  Acknowledgment This study was financially supported by the Innovation Group Plans of Beijing Academy of Science and Technique (IG201607N).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12783/dtcse/itme2017/7979">doi:10.12783/dtcse/itme2017/7979</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lrrsbl63gzbghiabwolimfp6ji">fatcat:lrrsbl63gzbghiabwolimfp6ji</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719171622/http://dpi-proceedings.com/index.php/dtcse/article/download/7979/7555" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1b/7a/1b7ace49dbb4d8cadd3b969d3bacccd925506940.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12783/dtcse/itme2017/7979"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Page 4843 of Mathematical Reviews Vol. , Issue 89I [page]

<span title="">1989</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
The author puts D(z) = the Kleene-Brouwer ordinal of 7,, and defines D(f) for morphisms / via a certain operation on nodes of 7-. G. E.  ...  Then (Theorem 2) for each closed modal formula P containing only one variable, QS+ P if and only if H(P) — P is true in all finite Kripke models.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1989-09_89i/page/4843" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1989-09_89i/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

MTQA: Text-Based Multitype Question and Answer Reading Comprehension Model

Deguang Chen, Ziping Ma, Lin Wei, Jinlin Ma, Yanbin Zhu, Paolo Gastaldo
<span title="2021-02-18">2021</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3wwzxqpotbc73bzpemzybzg7ee" style="color: black;">Computational Intelligence and Neuroscience</a> </i> &nbsp;
In the decoding structure, the headers of the answer type prediction decoding, fragment decoding, arithmetic decoding, counting decoding, and negation are added for the characteristics of multiple types  ...  The model is based on a multilayer transformer encoding and decoding structure.  ...  Arithmetic Operations on External Methods. NAQANet is the first model designed for the DROP corpus.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2021/8810366">doi:10.1155/2021/8810366</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/33679967">pmid:33679967</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC7910065/">pmcid:PMC7910065</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rzb7oyybebcd3ppfrxz4jjqsza">fatcat:rzb7oyybebcd3ppfrxz4jjqsza</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210227220118/https://downloads.hindawi.com/journals/cin/2021/8810366.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e5/74/e574a75d02b925488acfdfb19913a19d1722ca24.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2021/8810366"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7910065" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Page 354 of Mathematics Teacher Vol. 51, Issue 5 [page]

<span title="">1958</span> <i title="National Council of Teachers of Mathematics"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematics-teacher" style="color: black;">Mathematics Teacher </a> </i> &nbsp;
Hilbert, “‘On the Foundations of Logic and Arithmetic” (trans. by G. B.  ...  But on the attentive consideration, we be- come aware that in the usual exposition of the laws of logic certain fundamental conceptions of arithmetic are already employed.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematics-teacher_1958-05_51_5/page/354" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematics-teacher_1958-05_51_5/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 4628 of Mathematical Reviews Vol. , Issue 96h [page]

<span title="">1996</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
fiber is allowed to have certain types of singularities.  ...  Raynaud [Néron models, Springer, Berlin, 1990; MR 91i:14034]) of a finite type K-group scheme Xx and the Néron model U of its associated rigid K-group Xx.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1996-08_96h/page/4628" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1996-08_96h/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 8 of Mathematical Reviews Vol. 26, Issue 5 [page]

<span title="">1963</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
, Mos- towski and Morley on models admitting large groups of automorphisms and related results about models admitting few (absolute) types of elements.  ...  As tributaries to these investigations the author dis- cusses the results of Ehrenfeucht, Svenonius, Engeler, Vaught and Fuhrken on models omitting (elementary) types of elements, and the results of Ehrenfeucht  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1963-11_26_5/page/8" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1963-11_26_5/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Diffeomorphisms of Manifolds\\ with Finite Fundamental Group

Georgia Triantafillou
<span title="1994-09-01">1994</span> <i title="American Mathematical Society (AMS)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/iwegpttow5b4vhkhs3scejn5fi" style="color: black;">Bulletin of the American Mathematical Society</a> </i> &nbsp;
We show that the group 3i{M) of pseudoisotopy classes of diffeomorphisms of a manifold of dimension > 5 and of finite fundamental group is commensurable to an arithmetic group.  ...  As a result n0{DiffM) is a group of finite type. Let M be an «-dimensional closed smooth manifold, where n > 5, and let DiffM be the group of diffeomorphisms of M.  ...  Acknowledgments I would like to thank Shmuel Weinberger for useful discussions and the University of Chicago for its hospitality while part of this research was done.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1090/s0273-0979-1994-00496-3">doi:10.1090/s0273-0979-1994-00496-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rt7wv57cpvgyjbtyogsd3arb5u">fatcat:rt7wv57cpvgyjbtyogsd3arb5u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721204101/http://www.ams.org/journals/bull/1994-31-01/S0273-0979-1994-00496-3/S0273-0979-1994-00496-3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/57/c1/57c1e81ab3671784ffaf0d1d5213514d1d26c37b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1090/s0273-0979-1994-00496-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

A Rule-Based Computational Model of Cognitive Arithmetic [article]

Ashis Pati, Kantwon Rogers, Hanqing Zhu
<span title="2017-05-03">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This paper describes a rule-based computational model that performs the four major arithmetic operations (addition, subtraction, multiplication and division) on two operands.  ...  The experiments specifically explore the problem size effect, an activation-based model for fact retrieval, backup strategies when retrieval fails, and finally optimization strategies when faced with large  ...  Needless to say, it usually takes one huge amount of practice to find out a better strategy for a certain type of problem.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1705.01208v1">arXiv:1705.01208v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nxngtmr7o5co3obz4nnnt3sloq">fatcat:nxngtmr7o5co3obz4nnnt3sloq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200824000518/https://arxiv.org/pdf/1705.01208v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d8/f5/d8f50db07a8c97b7f98fe5e99f9917efdfc07fe2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1705.01208v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Arithmetic operation and working memory: differential suppression in dual tasks

Kyoung-Min Lee, So-Young Kang
<span title="">2002</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wwxrdovfqrafvnk7lbwpujzttq" style="color: black;">Cognition</a> </i> &nbsp;
Whereas this is not compatible with the notion that arithmetic is done on a unitary, amodal representation of numbers, it provides support for the triple-code and/or the modular processing models on human  ...  numerical cognition in which number representations are specific for input/output modality and arithmetic types. q  ...  Acknowledgements We thank Dr Chung-Taek Kim for his help in carrying out the experiments and insightful discussion on the results, and Dr Stanislas Dehaene for his encouraging comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0010-0277(02)00010-0">doi:10.1016/s0010-0277(02)00010-0</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/11934408">pmid:11934408</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gbjzocqahvdobpn6esvg62vsym">fatcat:gbjzocqahvdobpn6esvg62vsym</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20030609211211/http://cogsci.snu.ac.kr:80/research/lee_kang_2002.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6c/18/6c1865e38be90b6cf49624c46aed68125e9e0931.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0010-0277(02)00010-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Arithmetic coding with adaptive context-tree weighting for the H.264 video coders

Danny Hong, Mihaela van der Schaar, Beatrice Pesquet-Popescu, Sethuraman Panchanathan, Bhaskaran Vasudev
<span title="2004-01-07">2004</span> <i title="SPIE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/g532gaesavb55pk2ft3m7jrc4e" style="color: black;">Visual Communications and Image Processing 2004</a> </i> &nbsp;
We then describe a novel approach for automatically adapting the CTW method based on the syntactic element to be coded and the encoding parameters.  ...  so many context models.  ...  For certain types of data, the structure is generally well known: in a text document, a space almost always follows a period and for images, a pixel has a similar intensity value as its neighboring pixels  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1117/12.527156">doi:10.1117/12.527156</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/vcip/HongSP04.html">dblp:conf/vcip/HongSP04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qf64mwle3ngehkqbf2vyem2loa">fatcat:qf64mwle3ngehkqbf2vyem2loa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060215065639/http://www.ee.columbia.edu:80/~danny/publications/vcip_2004.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/58/73/5873de9102ea35b0e7b869aa1fb4c1f37f8d2beb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1117/12.527156"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Page 4097 of Mathematical Reviews Vol. , Issue 98G [page]

<span title="">1998</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
The model / is usually constructed in two steps and as an example we try to illustrate this for PA: First of all one has to find a certain notion that makes it possible to build a model of PA.  ...  To show that a is the ordinal of T via a model-theoretic analysis, one proceeds as follows: Given a nonstandard model M of arithmetic and two nonstandard elements a,b € M such that [a,b] is a-large, one  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1998-07_98g/page/4097" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1998-07_98g/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Interstructure Lattices and Types of Peano Arithmetic, The Graduate Center, City University of New York, USA, 2017. Supervised by Roman Kossak

Athar Abdul-Quader
<span title="">2018</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nxnim3i24fhcvkvgruk2dej7yu" style="color: black;">Bulletin of Symbolic Logic</a> </i> &nbsp;
This account can then be applied to the Aristotelian diagrams for dynamic epistemic logic that were mentioned above. Abstract prepared by Lorenz Demey Abstract prepared by Rafael Zamora  ...  THESIS ABSTRACTS Second, I argue that there is a close connection between dynamic epistemic logic and logical geometry.  ...  This problem originated in Haim Gaifman's, "Models and types of Peano's arithmetic."  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/bsl.2018.48">doi:10.1017/bsl.2018.48</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zmeqvud6efdovflctk5gxasznm">fatcat:zmeqvud6efdovflctk5gxasznm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503035849/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/7E504137CCB99645A2EB92A1160EA459/S1079898618000483a.pdf/div-class-title-interstructure-lattices-and-types-of-peano-arithmetic-the-graduate-center-city-university-of-new-york-usa-2017-supervised-by-roman-kossak-div.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/67/66/6766fa520c07c4423835931a161e22bd900c8969.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/bsl.2018.48"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> cambridge.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 186,790 results