✦ LIBER ✦

Undecidability of the first-order arithmetic A[P(x), 2x, x + 1]

✍ Scribed by Hiroakira Ono; Akira Nakamura

Publisher: Elsevier Science
Year: 1979
Tongue: English
Weight: 590 KB
Volume: 18
Category: Article
ISSN: 0022-0000
DOI: 10.1016/0022-0000(79)90033-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The congruence x1x2≡x3x4 (mod p), the eq

The congruence x1x2≡x3x4 (mod p), the equation x1x2=x3x4, and mean values of character sums

✍ Ayyad, Anwar (author);Cochrane, Todd (author);Zheng, Zhiyong (author) 📂 Article 📅 1996 🏛 Academic Press Inc. 🌐 English ⚖ 748 KB

k · P Model of Ordered GaNxAs1—x

✍ E.P. O'Reilly; A. Lindsay 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 156 KB

On the Arithmetic of the Curves y2=xℓ+A,

On the Arithmetic of the Curves y2=xℓ+A, II

✍ Michael Stoll 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 205 KB

This paper continues the investigation of the arithmetic of the curves C A : y 2 =x a +A and their Jacobians J A , where a is an odd prime and A is an integer not divisible by a, which was begun in an earlier paper. In the first part, we sketch how to extend the formula for the dimension of a certai

The Congruencex1x2≡x3x4(modp), the Equat

The Congruencex1x2≡x3x4(modp), the Equationx1x2≡x3x4, and Mean Values of Character Sums

✍ Anwar Ayyad; Todd Cochrane; Zhiyong Zheng 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 748 KB

We obtain the asymptotic formulae |B & V| =( |B|Âp)+O(-|B| log 2 p) for the number of solutions of the congruence x 1 x 2 #x 3 x 4 (mod p) in a box B of arbitrary size and position, and N(B)=(12Â? 2 ) B 2 log B+CB 2 +O(B 19Â13 log 7Â13 B), with C given explicitly, for the number of solutions of the

Determination of ternary vlle by p(x1,x2

Determination of ternary vlle by p(x1,x2) measurements

✍ L. Karrer; J. Gaube 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 455 KB

Subunit specificity of polyclonal antise

Subunit specificity of polyclonal antisera to the carboxy terminal regions of P2X receptors, P2X1 through P2X7

✍ Ian B. Oglesby; Wilhelm G. Lachnit; Geoffrey Burnstock; Anthony P.D.W. Ford 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 437 KB 👁 1 views

Polyclonal antisera generated to peptides corresponding to the carboxy termini of the seven cloned rat P2X receptors were compared using membranes from CHO-K1 or 1321N1 cells expressing recombinant rat or human P2X receptors (rat P2X 3 , P2X 4 , and P2X 5 and human P2X 1 , P2X 2 , P2X 6 , and P2X 7