Related papers: Vive la difference III
We introduce prime products as a generalization of ultraproducts for positive logic. Prime products are shown to satisfy a version of {\L}o\'s's Theorem restricted to positive formulas, as well as the following variant of Keisler…
We first show the existence of a weight filtration on the equivariant cohomology of real algebraic varieties equipped with the action of a finite group, by applying group cohomology to the dual geometric filtration. We then prove the…
We give a new proof of a version of the main theorem of the previous paper in the series about embedding of an algebraic system into ultraproducts.
We study ultrafilters on $\omega^2$ produced by forcing with the quotient of $\scr P(\omega^2)$ by the Fubini square of the Fr\'echet filter on $\omega$. We show that such an ultrafilter is a weak P-point but not a P-point and that the only…
We further investigate a divisibility relation on the set $\beta N$ of ultrafilters on the set of natural numbers. We single out prime ultrafilters (divisible only by 1 and themselves) and establish a hierarchy in which a position of every…
We present three models concerning Tukey types of ultrafilters on $\omega$. The first model is built via a countable support iteration, and we show there is no basically generated ultrafilter in such model. The second and third models are…
In this paper we want to apply the notion of product between ultrafilters to answer several questions which arise around the Connes' embedding problem. For instance, we will give a simplification and generalization of a theorem by…
Let E be a rank two vector bundle on a scheme X. The following three structures are shown to be equivalent : a) A primitive quadratic map q: E --> L, with values in an invertible module L. b) A double covering f: Y --> X endowed with an…
For a free ultrafilter U on omega we study several cardinal characteristics which describe part of the combinatorial structure of U. We provide various consistency results; e.g. we show how to force simultaneously many characters and many…
We study correspondences of tracial von Neumann algebras from the model-theoretic point of view. We introduce and study an ultraproduct of correspondences and use this ultraproduct to prove, for a fixed pair of tracial von Neumann algebras…
We prove that the statement `For all Borel ideals I and J on $\omega$, every isomorphism between Boolean algebras $P(\omega)/I$ and $P(\omega)/J$ has a continuous representation' is relatively consistent with ZFC. In this model every…
We consider typical finite dimensional complex irreducible representations of a basic classical simple Lie superalgebra, and give a sufficient condition on when unique factorization of finite tensor products of such representations hold. We…
An extension of the divisibility relation on $\mathbb{N}$ to the set $\beta\mathbb{N}$ of ultrafilters on $\mathbb{N}$ was defined and investigated in several papers during the last ten years. Here we make a survey of results obtained so…
Under CH we prove that for any tall ideal $\cal I$ on $\omega$ and for any ordinal $\gamma \leq \omega_1$ there is an ${\cal I}$-ultrafilter (in the sense of Baumgartner), which belongs to the class ${\cal P}_{\gamma}$ of P-hierarchy of…
We show the consistency of ZFC +''there is no NWD-ultrafilter on omega'', which means: for every non principle ultrafilter D on the set of natural numbers, there is a function f from the set of natural numbers to the reals, such that for…
The principal filtration of the infinite-dimensional odd Contact Lie superalgebra over a field of characteristic $p>2$ is proved to be invariant under the automorphism group by investigating ad-nilpotent elements and determining certain…
We continue the investigation started in [Sh:1215] about the relation between the Keilser-Shelah isomorphism theorem and the continuum hypothesis. In particular, we show it is consistent that the continuum hypothesis fails and for any given…
We define a family of a (non-principal) ultrafilters on N which are, in a sense, far from P-points. We first under reasonable conditions, prove its existence. In a continuation we shall prove that such a point may exist while no P-point…
Permutation products and their various "fat diagonal" subspaces are studied from the topological and geometric point of view. We describe in detail the stabilizer and orbit stratifications related to the permutation action, producing a…
A union ultrafilter is an ultrafilter over the finite subsets of $\omega$ that has a base of sets of the form $\mathrm{FU}(X)$, where $X$ is an infinite pairwise disjoint family and $\mathrm{FU}(X)=\{\bigcup…