A three-dimensional quadratic nonconforming element

Summary We define a second-degree nonconforming element on tetrahedra. We build a basis for the opproximation space derived from this element. We prove a discrete regularity property similar to the one that holds for the corresponding two-dimensional element.This work was partly supported by NSERC and by the Ministère de l'Education du Québec     

Limit laws for upper and lower extremes from stationary mixing sequences

The aim of this paper is to examine the weak limiting behavior of upper and lower extremes from stationary sequences satisfying dependence conditions similar to D and D′ introduced by Leadbetter (Z. Wahrsch. Verw. Gebiete28 (1974), 289–303). By establishing the convergence in distribution of an associated sequence of point processes, the joint limiting distribution of any collection of upper and lower extremes can be determined. Sufficient and, in some cases, necessary conditions for the asymptotic independence of the upper and lower extremes are also given.     

Countably compact extensions of topological spaces

We study the question whether a topological space X with a property $\text{P}$ can be embedded in a countably compact space X? with the same property $\text{P}$.     

On D-Paracompact spaces

Following Pareek a topological space X is called D-paracompact if for every open cover $\text{A}$ of X there exists a continuous mapping f from X onto a developable T₁-space Y and an open cover $\text{B}$ of Y such that { f^-1[B]|B ∈ $\text{B}$ } refines $\text{A}$. It is shown that a space is D-paracompact if and only if it is subparacompact and D-expandable. Moreover, it is proved that D-paracompactness coincides with a covering property, called dissectability, which was introduced by the author in order to obtain a base characterization of developable spaces.     

Separation properties in algebraic categories of topological spaces

Full subcategories C ? Top of the category of topological spaces, which are algebraic over Set in the sense of Herrlich [2], have pleasant separation properties, mostly subject to additional closedness assumptions. For instance, every C-object is a T₁-space, if the two-element discrete space belongs to C. Moreover, if C is closed under the formation of finite powers in Top and even varietal [2], then every C-object is Hausdorff. Hence, the T₂-axiom turns out to be (nearly) superfluous in Herrlich's and Strecker's characterization of the category of compact Hausdorff spaces [1], although it is essential for the proof.If we think of C-objects X as universal algebras (with possibly infinite operations), then the subalgebras of X form the closed sets of a compact topology on X, provided that the ordinal spaces [0, β] belong to C. This generalizes a result in [3]. The subalgebra topology is used to prove criterions for the Hausdorffness of every space in C, if C is only algebraic.     

Analytic and Luzin spaces (non-separable case)

We introduce the concept of κ-analytic and κ-Luzin spaces as images of complete metric spaces by (disjoint) upper semi-continuous compact-valued correspondences which “preserve discreteness” in some sence (Definition in Section 3.1). The case κ = ω coincides with (Lindelöf) analytic spaces studied by Choquet, the first author and others. The main results are characterizations of uniform analytic spaces in terms of other parametrizations, complete sequences of covers, and Suslin subsets of some product of a compact and a complete metric space (Theorems in Section 3.2 and in Section 4), and characterizations of topological analytic spaces as Suslin subsets of paracompact ?ech-complete spaces (Theorem in Section 5).     

Modules over quantaloids: Applications to the isomorphism problem in algebraic logic and π-institutions

We solve the isomorphism problem in the context of abstract algebraic logic and of π-institutions, namely the problem of when the notions of syntactic and semantic equivalence among logics coincide. The problem is solved in the general setting of categories of modules over quantaloids. We introduce closure operators on modules over quantaloids and their associated morphisms. We show that, up to isomorphism, epis are morphisms associated with closure operators. The notions of (semi-)interpretability and (semi-)representability are introduced and studied. We introduce cyclic modules, and provide a characterization for cyclic projective modules as those having a g-variable. Finally, we explain how every π-institution induces a module over a quantaloid, and thus the theory of modules over quantaloids can be considered as an abstraction of the theory of π-institutions.     

A classification of orbits admitting a unique invariant measure

We consider the space of countable structures with fixed underlying set in a given countable language. We show that the number of ergodic probability measures on this space that are $S_{\infty }$-invariant and concentrated on a single isomorphism class must be zero, or one, or continuum. Further, such an isomorphism class admits a unique $S_{\infty }$-invariant probability measure precisely when the structure is highly homogeneous; by a result of Peter J. Cameron, these are the structures that are interdefinable with one of the five reducts of the rational linear order $(\mathbb{Q},<)$.     

Cardinal characteristics at κ in a small u(κ) model

We provide a model where $\mathfrak{u}(\kappa )<2^{\kappa }$ for a supercompact cardinal κ. [10] provides a sketch of how to obtain such a model by modifying the construction in [6]. We provide here a complete proof using a different modification of [6] and further study the values of other natural generalizations of classical cardinal characteristics in our model. For this purpose we generalize some standard facts that hold in the countable case as well as some classical forcing notions and their properties.     

Square-mean weighted pseudo almost automorphic solutions for non-autonomous stochastic evolution equations

In this paper, we first introduce the concepts and properties of the square-mean weighted pseudo almost automorphy and the square-mean bi-almost automorphy for a stochastic process. With these preliminary settings and by virtue of the theory of the semigroups of the operators, the Banach fixed point theorem and the stochastic analysis techniques, we investigate the well-posedness of the square-mean weighted pseudo almost automorphic solutions for a general class of non-autonomous stochastic evolution equations that satisfy either global or only local Lipschitz condition. Moreover, we estimate the boundedness of attractive domain for the case where the only local Lipschitz condition is taken into account. Finally, we provide two illustrative examples to show the practical usefulness of the analytical results that we establish in the paper.