𝔖 Bobbio Scriptorium
✦   LIBER   ✦

ANEW RELATION-COMBINING THEOREM AND ITS APPLICATION

✍ Scribed by Zhi-Wei Sun

Publisher
John Wiley and Sons
Year
1992
Tongue
English
Weight
159 KB
Volume
38
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

Let ∃^n^ denote the set of all formulas ∃x~1~…∃x~n~[P(x~1~, …,x~n~) = 0], where P is a polynomial with integer coefficients. We prove a new relation‐combining theorem from which it follows that if ∃^n^ is undecidable over N, then ∃^2__n__+2^ is undecidable over Z.

📜 SIMILAR VOLUMES

A Summation Theorem and Its Applications
A Summation Theorem and Its Applications
✍ Wu Junde; Lu Shijie 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 104 KB

In this paper, we establish a general summation theorem. From it we can improve the famous Hahn᎐Schur summation theorem and the famous Orlicz᎐Pettis theorem.

An Addition Theorem and Its Arithmetical
An Addition Theorem and Its Arithmetical Application
✍ Gregory Freiman; Alfred Geroldinger 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 162 KB

We study almost arithmetical multiprogressions, which are defined as certain unions of arithmetical progressions. We prove an addition theorem stating that arbitrary sumsets of such sets are of the same type again. Almost arithmetical multiprogressions appear as sets of lengths in rings of algebraic

On a Theorem of Halphen and its Applicat
On a Theorem of Halphen and its Application to Integrable Systems
✍ F Gesztesy; K Unterkofler; R Weikard 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 166 KB

We extend Halphen's theorem which characterizes solutions of certain nth-order differential equations with rational coefficients and meromorphic fundamental systems to a first-order n × n system of differential equations. As an application of this circle of ideas we consider stationary rational alge

An expansion theorem for two-dimensional
An expansion theorem for two-dimensional elastic waves and its application
✍ Kun-Chu Chen; Ching-Lung Lin 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB

## Abstract We prove an Atkinson–Wilcox‐type expansion for two‐dimensional elastic waves in this paper. The approach developed on the two‐dimensional Helmholtz equation will be applied in the proof. When the elastic fields are involved, the situation becomes much harder due to two wave solutions pr

Besov space and trace theorem on a local
Besov space and trace theorem on a local field and its application
✍ Hiroshi Kaneko 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 234 KB

## Abstract Recently, importance of the Besov space has been acknowledged by analysts studing such subsets with lower dimension than the whole space as fractals in the Euclidean space. On the other hand, by taking an extension __K__ of local field __K__′, __K__′ is contained in __K__ as a subset wi