Related papers: Finite presentability of normal fibre products

We prove that any product of a family of pseudofinite structures is pseudofinite. The main tools are the fundamental results on products of first order structures due to Feferman and Vaught.

A product of compact normal spaces is normal; the product of a countably infinite collection of non-trivial spaces is normal if and only if it is countably paracompact and each of its finite sub-products is normal; if all powers of a space…

We study Einstein riemannian manifolds endowed with a warped product structure. We focus on the case in which both the base and the fiber are Einstein manifolds and establish necessary and sufficient conditions for the warped product itself…

We establish {\em{virtual surjection to pairs}} (VSP) as a general criterion for the finite presentability of subdirect products of groups: if $\Gamma_1,...,\Gamma_n$ are finitely presented and $S<\Gamma_1\times...\times\Gamma_n$ projects…

Let $A$ be an abelian variety and $G$ a finite group of automorphisms of $A$ fixing the origin such that $A/G$ is smooth. The quotient $A/G$ can be seen as a fibration over an abelian variety whose fibers are isomorphic to a product of…

We provide a detailed development of a function valued inner product known as the bracket product and used effectively by de Boor, Devore, Ron and Shen to study translation invariant systems. We develop a version of the bracket product…

We study the existence of Milnor fibration on a big enough sphere at infinity for a mixed polynomial $f: \bR^{2n} \to \bR^2$. By using strong non-degeneracy condition, we prove a counterpart of N\'emethi and Zaharia's fibration theorem. In…

A complete approach for the determination of the complex constitutive behaviour of textile composites through finite element simulation is presented in this paper. In this work, simulations of different loading cases are carried out on…

We prove that the property of an algebra to be finitely presented is Morita invariant.

We derive novel sufficient conditions for convergence of Loopy Belief Propagation (also known as the Sum-Product algorithm) to a unique fixed point. Our results improve upon previously known conditions. For binary variables with…

We introduce and study the toric fiber product of two ideals in polynomial rings that are homogeneous with respect to the same multigrading. Under the assumption that the set of degrees of the variables form a linearly independent set, we…

Let $X$ be a Stein manifold of complex dimension at least two, $F : X \rightarrow \mathbb{C}^n$ a local biholomorphism, and $q \in F(X)$. In this paper we formulate sufficient conditions involving only objects naturally associated to $q$,…

It is proved that all finitely generated subgroups of generalized free product of two groups are finitely separable provided that free factors have this property and amalgamated subgroups are normal in corresponding factors and satisfy the…

If a compact closed category has finite products or finite coproducts then it in fact has finite biproducts, and so is semi-additive.

In this paper we consider Positive Definite functions on products $\Omega_{2q}\times\Omega_{2p}$ of complex spheres, and we obtain a condition, in terms of the coefficients in their disc polynomial expansions, which is necessary and…

Let $k$ be a field that is finitely generated over the field of rational numbers and $Br(k)$ the Brauer group of $k$. Let $X$ be an absolutely irreducible smooth projective variety over $k$, let $Br(X)$ be the cohomological…

We present natural (invariant) definite and indefinite scalar products on the N=1 superspace which turns out to carry an inherent Hilbert-Krein structure. We are motivated by supersymmetry in physics but prefer a general mathematical…

We are concerned with the problem of witnessing the Baire property of the Borel and the projective sets (assuming determinacy) through a sufficiently definable function in the codes. We prove that in the case of projective sets it is…

Hard instances of natural computational problems are often elusive. In this note we present an example of a natural decision problem, the word problem for a certain finitely presented group, whose hard instances are easy to find. More…

In 2017 an idea considering a pair of Hermitian operators of product form was published, which is called ultrafine entanglement witnessing. In 2018 some rigorous results were given. Here we improve their work. First we point this idea can…