σ‐short Boolean algebras

We introduce properties of Boolean algebras which are closely related to the existence of winning strategies in the Banach‐Mazur Boolean game. A σ‐short Boolean algebra is a Boolean algebra that has a dense subset in which every strictly descending sequence of length ω does not have a nonzero lower bound. We give a characterization of σ‐short Boolean algebras and study properties of σ‐short Boolean algebras. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Some results on λ‐designs with two block sizes

A λ‐design is a family ?? = {B₁, B₂, …, B_v} of subsets of X = {1, 2, …, v} such that |B_i∩B_j| = λ for all i≠jand not all B_i are of the same size. The only known example of λ‐designs (called type‐1 designs) are those obtained from symmetric designs by a certain complementation procedure. Ryser [J Algebra 10 (1968), 246–261] and Woodall [Proc London Math Soc 20 (1970), 669–687] independently conjectured that all λ‐designs are type‐1. Let g = gcd(r ? 1, r^* ? 1), where rand r^* are the two replication numbers. Ionin and Shrikhande [J Combin Comput 22 (1996), 135–142; J Combin Theory Ser A 74 (1996), 100–114] showed that λ‐designs with g = 1, 2, 3, 4 are type‐1 and that the Ryser–Woodall conjecture is true for λ‐designs on p + 1, 2p + 1, 3p + 1, 4p + 1 points, where pis a prime. Hein and Ionin [Codes and Designs—Proceedings of Conference honoring Prof. D. K. Ray‐Chaudhuri on the occasion of his 65th birthday, Ohio State University Mathematical Research Institute Publications, 10, Walter de Gruyter, Berlin, 2002, pp. 145–156] proved corresponding results for g = 5 and Fiala [Codes and Designs—Proceedings of Conference honoring Prof. D. K. Ray‐Chaudhuri on the occasion of his 65th birthday, Ohio State University Mathematical Research Institute Publications, 10, Walter de Gruyter, Berlin, 2002, pp. 109–124; Ars Combin 68 (2003), 17–32; Ars Combin, to appear] for g = 6, 7, and 8. In this article, we consider λ designs with exactly two block sizes. We show that in this case, the conjecture is true for g = 9, 11, 12, 13, 15, 16, 17, 19, 20, 21, and for g = 10, 14, 18, 22 with v≠4λ ? 1. We also give two results on such λ‐designs on v = 9p + 1 and 12p + 1 points, where pis a prime. © 2010 Wiley Periodicals, Inc. J Combin Designs 19:95‐110, 2011     

Admissible perturbations of α‐ψ‐pseudocontractive operators: convergence theorems

We prove some convergence theorems for α‐ψ‐pseudocontractive operators in real Hilbert spaces, by using the concept of admissible perturbation. Our results extend and complement some theorems in the existing literature. Copyright © 2016 John Wiley & Sons, Ltd.     

A (T,ψ)‐ψe decoupled scheme for a time‐dependent multiply‐connected eddy current problem

The aim of this paper is to develop a fully discrete ( T ,ψ)‐ψ_e finite element decoupled scheme to solve time‐dependent eddy current problems with multiply‐connected conductors. By making ‘cuts’ and setting jumps of ψ_e across the cuts in nonconductive domain, the uniqueness of ψ_e is guaranteed. Distinguished from the traditional T ‐ ψ method, our decoupled scheme solves the potentials T and ψ‐ ψ_e separately in two different simple equation systems, which avoids solving a saddle‐point equation system and leads to a remarkable reduction in computational efforts. The energy‐norm error estimate of the fully discrete decoupled scheme is provided. Finally, the scheme is applied to solve two benchmark problems—TEAM Workshop Problems 7 and IEEJ model. Copyright © 2013 John Wiley & Sons, Ltd.     

Riemann–Stieltjes operators between α ‐Bloch spaces and Besov spaces

We study the following two integral operators where g is an analytic function on the open unit disk in the complex plane. The boundedness and compactness of these two operators between the α ‐Bloch space B^α and the Besov space are discussed in this paper (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

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)     

On effective σ‐boundedness and σ‐compactness

We prove several dichotomy theorems which extend some known results on σ‐bounded and σ‐compact pointsets. In particular we show that, given a finite number of $\Delta ^{1}_{1}$ equivalence relations $\mathrel {\mathsf {F}}_1,\dots ,\mathrel {\mathsf {F}}_n$, any $\Sigma ^{1}_{1}$ set A of the Baire space either is covered by compact $\Delta ^{1}_{1}$ sets and lightface $\Delta ^{1}_{1}$ equivalence classes of the relations $\mathrel {\mathsf {F}}_i$, or A contains a superperfect subset which is pairwise $\mathrel {\mathsf {F}}_i$‐inequivalent for all i = 1, …, n. Further generalizations to $\Sigma ^{1}_{2}$ sets A are obtained.     

Perfect coloring and linearly χ‐bound P6‐free graphs

We derive decomposition theorems for P₆, K₁ + P₄‐free graphs, P₅, K₁ + P₄‐free graphs and P₅, K₁ + C₄‐free graphs, and deduce linear χ‐binding functions for these classes of graphs (here, P_n (C_n) denotes the path (cycle) on n vertices and K₁ + G denotes the graph obtained from G by adding a new vertex and joining it with every vertex of G). Using the same techniques, we also obtain an optimal χ‐binding function for P₅, C₄‐free graphs which is an improvement over that given in [J. L. Fouquet, V. Giakoumakis, F. Maire, and H. Thuillier, 11 , Discrete Math, 146, 33–44.]. © 2006 Wiley Periodicals, Inc. J Graph Theory 54: 293–306, 2007     

Fuzzy topology representation for MV‐algebras

Let M be an MV‐algebra and Ω_M be the set of all σ ‐valuations from M into the MV‐unit interval. This paper focuses on the characterization of MV‐algebras using σ ‐valuations of MV‐algebras and proves that a σ ‐complete MV‐algebra is σ ‐regular, which means that a ≤ b if and only if v (a) ≤ v (b) for any v ∈ Ω_M. Then one can introduce in a natural way a fuzzy topology δ on Ω_M. The representation theorem forMV‐algebras is established by means of fuzzy topology. Some properties of fuzzy topology δ and its cut topology U are investigated (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

h‐monotonically computable real numbers

Let h : ? → ? be a computable function. A real number x is called h‐monotonically computable (h‐mc, for short) if there is a computable sequence (x_s) of rational numbers which converges to x h‐monotonically in the sense that h(n)|x – x_n| ≥ |x – x_m| for all n andm > n. In this paper we investigate classes h‐ MC of h‐mc real numbers for different computable functions h. Especially, for computable functions h : ? → (0, 1)_?, we show that the class h‐ MC coincides with the classes of computable and semi‐computable real numbers if and only if Σ_i∈?(1 – h(i)) = ∞and the sum Σ_i∈?(1 – h(i)) is a computable real number, respectively. On the other hand, if h(n) ≥ 1 and h converges to 1, then h‐ MC = SC (the class of semi‐computable reals) no matter how fast h converges to 1. Furthermore, for any constant c > 1, if h is increasing and converges to c, then h‐ MC = c‐ MC . Finally, if h is monotone and unbounded, then h‐ MC contains all ω‐mc real numbers which are g‐mc for some computable function g. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Global minimum and orthogonality in Cp ‐classes

In this paper we use recent results [14] to establish various characterizations of the global minimum of the map F_ψ : U → ?⁺ defined by F_ψ (X) = ‖ψ (X)‖_p (1 < p < ∞) where ψ: U → C_p is a map defined by ψ (X) = S +? (X), with ?: B (H) → B (H) a linear map and S ∈ C_p , and U = {X ∈ B (H): ? (X) ∈ C_p }. Further, we apply these results to characterize the operators which are orthogonal to the range of elementary operators. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Destructibility of stationary subsets of Pκλ

For a regular cardinal κ with κ ^<κ = κ and κ ≤ λ , we construct generically (forcing by a < κ‐closed κ ⁺‐c. c. p. o.‐set ℙ₀) a subset S of {x ∈ P _κ λ : x ∩ κ is a singular ordinal} such that S is stationary in a strong sense (F ^IA_κ λ ‐stationary in our terminology) but the stationarity of S can be destroyed by a κ ⁺‐c. c. forcing ℙ* (in V ^ℙ) which does not add any new element of P _κ λ . Actually ℙ* can be chosen so that ℙ* is κ‐strategically closed. However we show that such ℙ* itself cannot be κ‐strategically closed or even <κ‐strategically closed if κ is inaccessible. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

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.     

On the boundedness of some potential‐type operators with oscillating kernels

We consider a class of multidimensional potential‐type operators with kernels that have singularities at the origin and on the unit sphere and that are oscillating at infinity. We describe some convex sets in the (1/p, 1/q)‐plane for which these operators are bounded from L_p into L_q and indicate domains where they are not bounded. We also reveal some effects which show that oscillation and singularities of the kernels may strongly influence on the picture of boundedness of the operators under consideration. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Two‐weight norm inequalities for multilinear potential type integral operators

We give a condition which is sufficient for the two‐weight (p, q) inequalities for multilinear potential type integral operators, where 1 < p ≤ q < ∞. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

M ‐elliptic pseudo‐differential operators on L p (ℝn )

We construct the minimal and maximal extensions in L ^p (?ⁿ ), 1 < p < ∞, for M ‐elliptic pseudo‐differential operators initiated by Garello and Morando. We prove that they are equal and determine the domains of the minimal, and hence maximal, extensions of M ‐elliptic pseudo‐differential operators. For M ‐elliptic pseudodifferential operators with constant coefficients, the spectra and essential spectra are computed. An application to quantization is given. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Index sets for ω‐languages

An ω‐language is a set of infinite sequences (words) on a countable language, and corresponds to a set of real numbers in a natural way. Languages may be described by logical formulas in the arithmetical hierarchy and also may be described as the set of words accepted by some type of automata or Turing machine. Certain families of languages, such as the languages, may enumerated as P₀, P₁, … and then an index set associated to a given property R (such as finiteness) of languages is just the set of e such that P_e has the property. The complexity of index sets for 7 types of languages is determined for various properties related to the size of the language.     

On the numerical approximation of p‐biharmonic and ∞‐biharmonic functions

The ∞ ‐Bilaplacian is a third‐order fully nonlinear PDE given by (1) In this work, we build a numerical method aimed at quantifying the nature of solutions to this problem, which we call ∞ ‐biharmonic functions. For fixed p we design a mixed finite element scheme for the prelimiting equation, the p‐Bilaplacian (2) We prove convergence of the numerical solution to the weak solution of and show that we are able to pass to the limit p → ∞ . We perform various tests aimed at understanding the nature of solutions of and we prove convergence of our discretization to an appropriate weak solution concept of this problem that of ‐solutions.     

Sperner spaces and first‐order logic

We study the class of Sperner spaces, a generalized version of affine spaces, as defined in the language of pointline incidence and line parallelity. We show that, although the class of Sperner spaces is a pseudo‐elementary class, it is not elementary nor even ??_∞ω‐axiomatizable. We also axiomatize the first‐order theory of this class.     

Fixed points of (α,ψ)‐contractions in Hausdorff partial metric spaces

The concept of (α,ψ)‐contractions was introduced by Samet et al. in this paper, we introduce (α,ψ)‐generalized contractions in a Hausdorff partial metric space. We discuss its significance and obtain some common fixed point theorems for a pair of self‐mappings. Some examples are given to support the theory.