FINITE REPLACEMENT AND FINITE HILBERT-STYLE AXIOMATIZABILITY

We define a property for varieties V, the f.r.p. (finite replacement property). If it applies to a finitely based V then V is strongly finitely based in the sense of [14], see Theorem 2. Moreover, we obtain finite axiomatizability results for certain propositional logics associated with V, in its generality comparable to well-known finite base results from equational logic. Theorem 3 states that each variety generated by a 2-element algebra has the f.r.p. Essentially this implies finite axiomatizability of a 2-valued logic in any finite language.     

A coupling of nonconforming and mixed finite element methods for Biot's consolidation model

In this article, we develop a nonconforming mixed finite element method to solve Biot's consolidation model. In particular, this work has been motivated to overcome nonphysical oscillations in the pressure variable, which is known as locking in poroelasticity. The method is based on a coupling of a nonconforming finite element method for the displacement of the solid phase with a standard mixed finite element method for the pressure and velocity of the fluid phase. The discrete Korn's inequality has been achieved by adding a jump term to the discrete variational formulation. We prove a rigorous proof of a‐priori error estimates for both semidiscrete and fully‐discrete schemes. Optimal error estimates have been derived. In particular, optimality in the pressure, measured in different norms, has been proved for both cases when the constrained specific storage coefficient c₀ is strictly positive and when c₀ is nonnegative. Numerical results illustrate the accuracy of the method and also show the effectiveness of the method to overcome the nonphysical pressure oscillations. © 2013 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2013     

Making doughnuts of Cohen reals

For a ? b ? ω with b\ a infinite, the set D = {x ∈ [ω]^ω : a ? x ? b} is called a doughnut. A set S ? [ω]^ω has the doughnut property ?? if it contains or is disjoint from a doughnut. It is known that not every set S ? [ω]^ω has the doughnut property, but S has the doughnut property if it has the Baire property ?? or the Ramsey property ?. In this paper it is shown that a finite support iteration of length ω₁ of Cohen forcing, starting from L , yields a model for CH + (??) + (??) + (?).     

The Rohlin property for shifts of finite type

We show that an automorphism of a unital AF C^*-algebra with a certain approximate Rohlin property has the Rohlin property. This generalizes a result of Kishimoto. Using this we show that the shift automorphism on the bilateral C^*-algebra associated with an aperiodic irreducible shift of finite type has the Rohlin property.     

The Bourgain property and convex hulls

Let (Ω, Σ, μ) be a complete probability space and let X be a Banach space. We consider the following problem: Given a function f: Ω → X for which there is a norming set B ? B_{X *} such that Z_f,B = {x * ○ f: x * ∈ B } is uniformly integrable and has the Bourgain property, does it follow that f is Birkhoff integrable? It turns out that this question is equivalent to the following one: Given a pointwise bounded family ?? ? ?^Ω with the Bourgain property, does its convex hull co(??) have the Bourgain property? With the help of an example of D. H. Fremlin, we make clear that both questions have negative answer in general. We prove that a function f: Ω → X is scalarly measurable provided that there is a norming set B ? B_{X *} such that Z_f,B has the Bourgain property. As an application we show that the first problem has positive solution in several cases, for instance: (i) when B_{X *} is weak* separable; (ii) under Martin's axiom, for functions defined on [0, 1] with values in a Banach space with density character smaller than the continuum. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The strong approximation property and the weak bounded approximation property

We show that the strong approximation property (strong AP) (respectively, strong CAP) and the weak bounded approximation property (respectively, weak BCAP) are equivalent for every Banach space. This gives a negative answer to Oja's conjecture. As a consequence, we show that each of the spaces _c0$c_0$ and _?1${?}_1$ has a subspace which has the AP but fails to have the strong AP.     

**-Haagerup Property for C*-Algebras

Extending the notion of Haagerup property for finite von Neumann algebras to the general von Neumann algebras, the authors define and study the $(**)$-Haagerup property for $C^{*}$-algebras in this paper. They first give an answer to Suzuki''s question (2013), and then obtain several results of $(**)$-Haagerup property parallel to those of Haagerup property for $C^{*}$-algebras. It is proved that a nuclear unital $C^{*}$-algebra with a faithful tracial state always has the $(**)$-Haagerup property. Some heredity results concerning the $(**)$-Haagerup property are also proved.     

The <Emphasis Type="Italic">D</Emphasis><Subscript>π</Subscript> property of finite groups in the case 2 ∉ π

The characterization of finite simple groups with the D _π property for any set π of odd prime numbers is completed. It was proved earlier that a finite group has the D _π property if and only if each of its composition factors has this property, hence the results of the paper provide an exhaustive characterization of the D _π property for all finite groups with known composition factors in the case 2 ? π.     

Three-space problems for the bounded compact approximation property

In this paper, the notion of the bounded compact approximation property (BCAP) of a pair [Banach space and its subspace] is used to prove that if X is a closed subspace of L∞ with the BCAP, then L∞/X has the BCAP. We also show that X* has the λ-BCAP with conjugate operators if and only if the pair (X, Y) has the λ-BCAP for each finite codimensional subspace Y∈X. Let M be a closed subspace of X such that M⊥ is complemented in X*. If X has the (bounded) approximation property of order p, then M has the (bounded) approximation property of order p.     

On possible counterexamples to Negami's planar cover conjecture

A simple graph H is a cover of a graph G if there exists a mapping φ from H onto G such that φ maps the neighbors of every vertex υ in H bijectively to the neighbors of φ (υ) in G . Negami conjectured in 1986 that a connected graph has a finite planar cover if and only if it embeds in the projective plane. The conjecture is still open. It follows from the results of Archdeacon, Fellows, Negami, and the first author that the conjecture holds as long as the graph K _1,2,2,2 has no finite planar cover. However, those results seem to say little about counterexamples if the conjecture was not true. We show that there are, up to obvious constructions, at most 16 possible counterexamples to Negami's conjecture. Moreover, we exhibit a finite list of sets of graphs such that the set of excluded minors for the property of having finite planar cover is one of the sets in our list. © 2004 Wiley Periodicals, Inc. J Graph Theory 46: 183–206, 2004     

A finite element method for the axisymmetric three‐field Stokes system with a discontinuous pressure

A quadrilateral based velocity‐pressure‐extrastress tensor mixed finite element method for solving the three‐field Stokes system in the axisymmetric case is studied. The method derived from Fortin's Q₂ − P₁ velocity‐pressure element is to be used in connection with the standard Galerkin formulation. This makes it particularly suitable for the numerical simulation of viscoelastic flow. It is proven to be second‐order convergent in the natural weighted Sobolev norms, for the system under consideration. The crucial result that the method is uniformly stable is proven for the case of rectangular meshes. © 1999 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 15: 739–763, 1999     

The property O n for finite seminormal functors

We give a finite combinatorial test for finite seminormal functors to possess the property O _n and use it in establishing that in some cases this property leads to some well-known functors. For example, if some functor F possesses the property O ₂ then F ₂ coincides with either exp₂ or the squaring functor. Hence we conclude that if F(D ^ω ₁) and D ^ω ₁ are homeomorphic then F ₂ is either exp₂ or (·)².     

The finite model property for semilinear substructural logics

In this paper, we show that the finite model property fails for certain non‐integral semilinear substructural logics including Metcalfe and Montagna's uninorm logic and involutive uninorm logic, and a suitable extension of Metcalfe, Olivetti and Gabbay's pseudo‐uninorm logic. Algebraically, the results show that certain classes of bounded residuated lattices that are generated as varieties by their linearly ordered members are not generated as varieties by their finite members.     

The Normalizer Property for Integral Group Rings of a Class of Complete Monomial Groups

Let G = H?S _m be the natural wreath product of H by S _m , where H is a finite 2-closed group and S _m is the symmetric group of degree m. It is shown that the normalizer property holds for G.     

On Kirchhoff's Model of Parabolic Type

In this article, the existence of a global strong solution for all finite time is derived for the Kirchhoff's model of parabolic type. Based on exponential weight function, some new regularity results which reflect the exponential decay property are obtained for the exact solution. For the related dynamics, the existence of a global attractor is shown to hold for the problem when the non-homogeneous forcing function is either independent of time or in L^∞(L²). With the finite element Galerkin method applied in spatial direction keeping time variable continuous, a semidiscrete scheme is analyzed, and it is also established that the semidiscrete system has a global discrete attractor. Optimal error estimates in L^∞(H¹) norm are derived which are valid uniformly in time. Further, based on a backward Euler method, a completely discrete scheme is analyzed and error estimates are derived. It is also further, observed that in cases where f = 0 or f = O(e^?γ₀t) with γ₀ > 0, the discrete solutions and error estimates decay exponentially in time. Finally, some numerical experiments are discussed which confirm our theoretical findings.     

Two Remarks on Partitions of ω with Finite Blocks

We prove that all algebras P(w)/I_R, where the I_R-'s are ideals generated by partitions of W into finite and arbitrary large elements, are isomorphic and homogeneous. Moreover, we show that the smallest size of a tower of such partitions with respect to the eventually-refining preordering is equal to the smallest size of a tower on ω.     

A question on partial CAP-subgroups of finite groups

A subgroup H of a finite group G is a partial CAP-subgroup of G if there is a chief series of G such that H either covers or avoids every chief factor of the series.The structural impact of the partial cover and avoidance property of some distinguished subgroups of a group has been studied by many authors.However,there are still some open questions which deserve an answer.The purpose of the present paper is to give a complete answer to one of these questions.     

On a new geometric property for Banach spaces

In this paper we study a geometric property for Banach spaces called condition (*), introduced by de Reynaet al in [3], A Banach space has this property if for any weakly null sequencex _n of unit vectors inX, ifx _* ⁿ is any sequence of unit vectors inX ^* that attain their norm at x_n’s, then . We show that a Banach space satisfies condition (*) for all equivalent norms iff the space has the Schur property. We also study two related geometric conditions, one of which is useful in calculating the essential norm of an operator.     

Two graphs without planar covers

In this note we prove that two specific graphs do not have finite planar covers. The graphs are K₇–C₄ and K_4,5–4K₂. This research is related to Negami's 1‐2‐∞ Conjecture which states “A graph G has a finite planar cover if and only if it embeds in the projective plane.” In particular, Negami's Conjecture reduces to showing that 103 specific graphs do not have finite planar covers. Previous (and subsequent) work has reduced these 103 to a few specific graphs. This paper covers 2 of the remaining cases. The sole case currently remaining is to show that K_2,2,2,1 has no finite planar cover. © 2002 Wiley Periodicals, Inc. J Graph Theory 41: 318–326, 2002