## MSC (2010) 03F30, 03H15 We characterize the sets of all Ξ 2 and all B(Ξ£1 ) (= Boolean combinations of Ξ£1 ) theorems of IΞ - 1 in terms of restricted exponentiation, and use these characterizations to prove that both sets are not deductively equivalent. We also discuss how these results generaliz
On A Problem Concerning Parameter Free Induction
β Scribed by Z. Adamowicz; C. Dimitracopoulos
- Publisher
- John Wiley and Sons
- Year
- 1991
- Tongue
- English
- Weight
- 162 KB
- Volume
- 37
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
On a Problem Concerning the Weight Functions ## GIAMPIERO CHIASELOTTI β Let X be a finite set with n elements. A function f : X -β R such that xβX f (x) β₯ 0 is called a n-weight function. In 1988 Manickam and Singhi conjectured that, if d is a positive integer and f is a n-weight function with n
Let T and S be two number theoretical transformations on the n-dimensional unit cube B, and write TtS if there exist positive integers m and n such that T m =S n . F. Schweiger showed in [1969, J. Number Theory 1, 390 397] that TtS implies that every T-normal number x is S-normal. Furthermore, he co
This paper considers a discontinuous semilinear elliptic problem: where H is the Heaviside function, p a real parameter and R the unit ball in R2. We deal with the existence of solutions under suitable conditions on g, h, and p. It is shown that the free boundary, i.e. the set where u = p, is suffi
## Abstract Let Ξ©~__i__~ β β^__N__^, __i__ = 0, 1, be two bounded separately starβshaped domains such that \documentclass{article}\pagestyle{empty}\begin{document}$ \Omega \_0 \supset \bar \Omega \_1 $\end{document}. We consider the electrostatic potential __u__ defined in \documentclass{article}\p