On some sets of dictionaries whose ω ‐powers have a given

A dictionary is a set of finite words over some finite alphabet X. The ω ‐power of a dictionary V is the set of infinite words obtained by infinite concatenation of words in V. Lecomte studied in [10] the complexity of the set of dictionaries whose associated ω ‐powers have a given complexity. In particular, he considered the sets ??( Σ ⁰k) (respectively, ??( Π ⁰_k), ??( Δ ¹₁)) of dictionaries V ? 2* whose ω ‐powers are Σ ⁰_k‐sets (respectively, Π ⁰_k‐sets, Borel sets). In this paper we first establish a new relation between the sets ??( Σ ⁰₂) and ??( Δ ¹₁), showing that the set ??( Δ ¹₁) is “more complex” than the set ??( Σ ⁰₂). As an application we improve the lower bound on the complexity of ??( Δ ¹₁) given by Lecomte, showing that ??( Δ ¹₁) is in Σ ¹ ₂(2^2*)\ Π ⁰₂. Then we prove that, for every integer k ≥ 2 (respectively, k ≥ 3), the set of dictionaries ??( Π ⁰_k+1) (respectively, ??( Σ ⁰_{k +1})) is “more complex” than the set of dictionaries ??( Π ⁰_k) (respectively, ??( Σ ⁰_k)) (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Ω‐estimates related to irreducible algebraic integers

We study large values of the remainder term E_K (x) in the asymptotic formula for the number of irreducible integers in an algebraic number field K. We show that E_K (x) = Ω_± (√(x)(log x)) for certain positive constant B_K, improving in that way the previously best known estimate E_K (x) = Ω_± (x^(1/2)‐ε) for every ε > 0, due to A. Perelli and the present author. Assuming that no entire L‐function from the Selberg class vanishes on the vertical line σ = 1, we show that E_K (x) = Ω_± (√(x)(log log x)^{D (K)‐1}(log x)^‐1), supporting a conjecture raised recently by the author. In particular, it follows that the last omega estimate is a consequence of the Selberg Orthonormality Conjecture (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

ω‐saturated quasi‐minimal models of Th(ℚω, +, σ, 0)

We show that (ℚ^ω, +, σ, 0) is a quasi-minimal torsion-free divisible abelian group. After discussing the axiomatization of the theory of this structure, we present its ω-saturated quasi-minimal model. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

A short proof of the preservation of the ωω‐bounding property

There are two versions of the Proper Iteration Lemma. The stronger (but less well‐known) version can be used to give simpler proofs of iteration theorems (e.g., [7, Lemma 24] versus [9, Theorem IX.4.7]). In this paper we give another demonstration of the fecundity of the stronger version by giving a short proof of Shelah's theorem on the preservation of the ω^ω‐bounding property. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Existence of multiple positive solutions for −Δu−μ(u/∣x∣2)=u2*−1+σf(x)

In this paper, we consider the semilinear elliptic problem where Ω??^N (N?3) is a bounded smooth domain such that 0∈Ω, σ>0 is a real parameter, and f(x) is some given function in L^∞(Ω) such that f(x)?0, f(x)?0 in Ω. Some existence results of multiple solutions have been obtained by implicit function theorem, monotone iteration method and Mountain Pass Lemma. Copyright © 2002 John Wiley & Sons, Ltd.     

C1,α domains and unique continuation at the boundary

It is shown that the square of a nonconstant harmonic function u that either vanishes continuously on an open subset V contained in the boundary of a Dini domain or whose normal derivative vanishes on an open subset V in the boundary of a C^1,1 domain in ℝ^d satisfies the doubling property with respect to balls centered at points Q ∈ V. Under any of the above conditions, the module of the gradient of u is a B₂(dσ)-weight when restricted to V, and the Hausdorff dimension of the set of points {Q ∈ V : ∇u(Q) = 0} is less than or equal to d−2. These results are generalized to solutions to elliptic operators with Lipschitz second-order coefficients and bounded coefficients in the lower-order terms. © 1997 John Wiley & Sons, Inc.     

Solvability of some overdetermined elliptic system in a domain with corners π/n

In the paper we prove the existence and uniqueness of solutions of the overdetermined elliptic system where b, ω are given functions, in a domain Ω C R³ with corners π/n, n = 2, 3, … The proof is divided on two steps, we construct a solution for the Laplace equation in a dihedral angle π/n, using the method of reflection and we get an estimate in the norms of the Sobolev spaces in some neighbourhood of the edge. In the dihedral angle system (A) reduces to the Dirichlet and Neumann problems for the Laplace equation. In the next step we prove the existence of solutions in the Sobolev spaces W_p^l(Ω) using the existence of generalized solutions of (A).     

On Σ1-definable Functions Provably Total in I ∏

We prove the following theorem: Let φ(x) be a formula in the language of the theory PA^? of discretely ordered commutative rings with unit of the form ?yφ′(x,y) with φ′ and let ∈ Δ₀ and let fφ: ? → ? such that f_φ(x) = y iff φ′(x,y) & (?z < y) φ′(x,z). If I ∏ ∈(?x ≥ 0), φ then there exists a natural number K such that I ∏ ? ?y?x(x > y ? ?φ(x) < x^K). Here I ∏₁^? denotes the theory PA^? plus the scheme of induction for formulas φ(x) of the form ?yφ′(x,y) (with φ′) with φ′ ∈ Δ₀.     

Canonical forms of Borel-measurable mappings Δ: [ω] →

We show that for every Borel-measurable mapping Δ: [ω]^ω → there exists A [ω]^ω and there exists a continuous mapping Γ: [A]^ω → [A]^ω with Γ(X) X such that for all X, Y [A]^ω it follows that Δ(X) = Δ(Y) if Γ(X) = Γ(Y). In a sense, this is generalization of the Erdös-Rado canonization theorem     

A classification result on weighted {δ (p3 + 1), δ; 3, p3}‐minihypers

We classify all {δ (p³ + 1), δ; 3, p³}‐minihypers, , for a prime number p₀ ≥ 7, with excess e ≤ p³. Such a minihyper is a sum of lines and of possibly one projected subgeometry PG(5, p), or a sum of lines and a minihyper which is a projected subgeometry PG(5, p) minus one line. When p is a square, also (possibly projected) Baer subgeometries PG(3, p^3/2) can occur. © 2004 Wiley Periodicals, Inc.     

Solutions of the Differential Equation u‴+λ2zu+(α−1)λ2u=0

This paper deals with the solutions of the differential equation u?+λ²zu+(α?1)λ²u=0, in which λ is a complex parameter of large absolute value and α is an arbitrary constant, real or complex. After a discussion of the structure of the solutions of the differential equation, an integral representation of the solution is given, from which the series solutions and their asymptotic representations are derived. A third independent solution is needed for the special case when α?1 is a positive integer, and two derivations for this are given. Finally, a comparison is made with the results obtained by R. E. Langer.     

Embedding vector‐valued Besov spaces into spaces of γ ‐radonifying operators

It is shown that a Banach space E has type p if and only for some (all) d ≥ 1 the Besov space B^{(1/p – 1/2)d} _p,p (?^d ; E) embeds into the space γ (L²(?^d ), E) of γ ‐radonifying operators L²(?^d ) → E. A similar result characterizing cotype q is obtained. These results may be viewed as E ‐valued extensions of the classical Sobolev embedding theorems. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Uniform domain representations of ℓp ‐spaces

The category of Scott‐domains gives a computability theory for possibly uncountable topological spaces, via representations. In particular, every separable Banach‐space is representable over a separable domain. A large class of topological spaces, including all Banach‐spaces, is representable by domains, and in domain theory, there is a well‐understood notion of parametrizations over a domain. We explore the link with parameter‐dependent collections of spaces in e. g. functional analysis through a case study of ?^p ‐spaces. We show that a well‐known domain representation of ?^p as a metric space can be made uniform in the sense of parametrizations of domains. The uniform representations admit lifting of continuous functions and are effective in p. Dependent type constructions apply, and through the study of the sum and product spaces, we clarify the notions of uniformity and uniform computability. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The Computational Power of ℳ︁ω

We prove that the Kleene schemes for primitive recursion relative to the μ‐operator, relativized to some nondeterministic objects, have the same power to express total functionals when interpreted over the partial continuous functionals and over the Kleene‐Kreisel continuous functionals. Relating the former interpretation to Niggl's ℳ︁^ω we prove Nigg's conjecture that ℳ︁^ω is strictly weaker than Plotkin's PCF + PA.     

A note on the Σ1 collection scheme and fragments of bounded arithmetic

We show that for each n ≥ 1, if T₂ⁿ does not prove the weak pigeonhole principle for Σ^b_n functions, then the collection scheme B Σ₁ is not finitely axiomatizable over T₂ⁿ. The same result holds with Sⁿ₂ in place of T 2ⁿ (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The spectrum of BSA(v, 3, λ; α) with α = 2,3

In this article, a kind of auxiliary design BSA^* for constructing BSAs is introduced and studied. Two powerful recursive constructions on BSAs from 3‐IGDDs and BSA^*s are exploited. Finally, the necessary and sufficient conditions for the existence of a BSA(v, 3, λ; α) with α = 2, 3 are established. © 2006 Wiley Periodicals, Inc. J Combin Designs 15: 61–76, 2007     

S‐asymptotically ω‐periodic solutions for semilinear Volterra equations

We study S‐asymptotically ω‐periodic mild solutions of the semilinear Volterra equation u′(t)=(a* Au)(t)+f(t, u(t)), considered in a Banach space X, where A is the generator of an (exponentially) stable resolvent family. In particular, we extend the recent results for semilinear fractional integro‐differential equations considered in (Appl. Math. Lett. 2009; 22:865–870) and for semilinear Cauchy problems of first order given in (J. Math. Anal. Appl. 2008; 343(2): 1119–1130). Applications to integral equations arising in viscoelasticity theory are shown. Copyright © 2010 John Wiley & Sons, Ltd.     

Une résolution élémentaire de l'équation diophantienne x = y − 1

A complete solution in integers of the well-known diophantine equation y² = x³ + 1 is given by using elementary arguments based on the Pell-Fermat equation X² − 3Y² = 1.     

On packing 3‐vertex paths in a graph

Let G be a connected graph and let eb(G) and λ(G) denote the number of end‐blocks and the maximum number of disjoint 3‐vertex paths Λ in G. We prove the following theorems on claw‐free graphs: (t1) if G is claw‐free and eb(G) ≤ 2 (and in particular, G is 2‐connected) then λ(G) = ⌊| V(G)|/3⌋; (t2) if G is claw‐free and eb(G) ≥ 2 then λ(G) ≥ ⌊(| V(G) | − eb(G) + 2)/3 ⌋; and (t3) if G is claw‐free and Δ^*‐free then λ(G) = ⌊| V(G) |/3⌋ (here Δ^* is a graph obtained from a triangle Δ by attaching to each vertex a new dangling edge). We also give the following sufficient condition for a graph to have a Λ‐factor: Let n and p be integers, 1 ≤ p ≤ n − 2, G a 2‐connected graph, and |V(G)| = 3n. Suppose that G − S has a Λ‐factor for every S ⊆ V(G) such that |S| = 3p and both V(G) − S and S induce connected subgraphs in G. Then G has a Λ‐factor. © 2001 John Wiley & Sons, Inc. J Graph Theory 36: 175–197, 2001     

On κ‐hereditary Sets and Consequences of the Axiom of Choice

We will prove that some so‐called union theorems (see [2]) are equivalent in ZF⁰ to statements about the transitive closure of relations. The special case of “bounded” union theorems dealing with κ‐hereditary sets yields equivalents to statements about the transitive closure of κ‐narrow relations. The instance κ = ω₁ (i. e., hereditarily countable sets) yields an equivalent to Howard‐Rubin's Form 172 (the transitive closure Tc(x) of every hereditarily countable set x is countable). In particular, the countable union theorem (Howard‐Rubin's Form 31) and, a fortiori, the axiom of countable choice imply Form 172.