✦ LIBER ✦

On arithmetical first-order theories allowing encoding and decoding of lists

✍ Scribed by Patrick Cegielski; Denis Richard

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 1023 KB
Volume: 222
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(97)00281-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Separations of first and second order th

Separations of first and second order theories in bounded arithmetic

✍ Masahiro Yasumoto 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 128 KB

On translations of complete first order

On translations of complete first order theories

✍ Seyed Mohammad Bagheri 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 134 KB

## Abstract In this paper, some basic properties of automorphisms of first order languages and some examples are presented. In particular, an omitting types theorem is proved.

On first- and second-order moderate rota

On first- and second-order moderate rotation theories of laminated plates

✍ E. Sacco; J. N. Reddy 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 898 KB

Comment on the validity of first-order p

Comment on the validity of first-order paraxial theory for electron and ion sources with needle-type or pointed geometry

✍ N. M. Miskovsky; P. H. Cutler 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 246 KB

Communications on the theory of diffusio

Communications on the theory of diffusion and reaction—I A complete parametric study of the first-order, irreversible exothermic reaction in a flat slab of catalyst

✍ D.W. Drott; R. Aris 📂 Article 📅 1969 🏛 Elsevier Science 🌐 English ⚖ 756 KB

Quadrupole effects of spin-32 nuclei on

Quadrupole effects of spin-32 nuclei on the solid-state magic-angle spinning nuclear magnetic resonance spectra of spin-12 nuclei Deviations from first-order theory and implications concerning the sign of the indirect coupling constant

✍ Sergio H. Alarcón; Alejandro C. Olivieri; Robin K. Harris 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 823 KB