Related papers: Filter convergence in $\beta\omega$
Let $R$ be a ring (associative, with 1), and let $R<< a,b>>$ denote the power-series $R$-ring in two non-commuting, $R$-centralizing variables, $a$ and $b$. Let $A$ be an $R$-subring of $R<< a>>$ and $B$ be an $R$-subring of $R<< b>>$, and…
The Mickelsson-Faddeev (MF) algebra can naturally be embedded in a non-Lie algebra, which suggests that it has no Fock representations. The difficulties are due to the inhomogeneous term in the connection's transformation law. Omitting this…
We prove that, assuming $\mathrm{ZF}$, and restricted to any pointed set, Chaitin's $\Omega_U:x\mapsto \Omega_U^x=\sum_{U^x(\sigma)\downarrow}2^{-|\sigma|}$ is not injective for any universal prefix-free Turing machine $U$, and that…
We study the Walsh-Fourier series of S_{n_j}f, along a lacunary subsequence of integers {n_j}. Under a suitable integrability condition, we show that the sequence converges to f a.e. Integral condition is only slightly larger than what the…
In this paper we discuss the inclusion ordering on the filters of a filter algebra, a special type of Metropolis-Rota algeba. Using embeddings into interval algebras we show that the notion of "untwisted" gives rise to a congruence relation…
We exhibit a forcing for producing a model with no nowhere dense ultrafilters that satisfies the full Sacks Property. By interleaving this forcing with other forcing notions, a model containing a $(2, {\aleph}_{0})$-selective ultrafilter,…
A combinatorial characterization of measurable filters on a countable set is found. We apply it to the problem of measurability of the intersection of nonmeasurable filters.
We prove that for any martingale with respect to a biparameter atomic filtration satisfying $(F_4)$ condition there is a martingale having the same joint distribution but with respect to the canonical $(F_4)$ filtration. Even in one…
The Central Sets Theorem was introduced by H. Furstenberg and then afterwards several mathematicians have provided various versions and extensions of this theorem. All of these theorems deal with central sets, and its origin from the…
Some limit theorems of the type $\int_{\Omega}f_n dm_n -- --> \int_{\Omega}f dm$ are presented for scalar, (vector), (multi)-valued sequences of m_n-integrable functions f_n. The convergences obtained, in the vector and multivalued…
We study completeness of a topological vector space with respect to different filters on the set N of all naturals. In the metrizable case all these kinds of completeness are the same, but in non-metrizable case the situation changes. For…
We show that it is equiconsistent with $\mathsf{ZF}$ that Fodor's lemma fails everywhere, and furthermore that the club filter on every regular cardinal is not even $\sigma$-complete. Moreover, these failures can be controlled in a very…
The formal class of a germ of diffeomorphism $\phi$ is embeddable in a flow if $\phi$ is formally conjugated to the exponential of a germ of vector field. We prove that there are complex analytic unipotent germs of diffeomorphisms at…
F. Wehrung has asked: Given a family $\mathcal{C}$ of subsets of a set $\Omega$, under what conditions will there exist a total ordering on $\Omega$ under which every member of $\mathcal{C}$ is convex? <p> Note that if $A$ and $B$ are…
We present the definition of the logical framework TF, the Type Framework. TF is a lambda-free logical framework; it does not include lambda-abstraction or product kinds. We give formal proofs of several results in the metatheory of TF, and…
Real life signals are in general non--stationary and non--linear. The development of methods able to extract their hidden features in a fast and reliable way is of high importance in many research fields. In this work we tackle the problem…
We give in this paper additional answers to questions of Lescow and Thomas [Logical Specifications of Infinite Computations, In:"A Decade of Concurrency", Springer LNCS 803 (1994), 583-621], proving new topological properties of omega…
If B is an infinite subset of omega and X is a topological group, let C^X_B be the set of all x in X such that <x^n : n in B> converges to 1. If F is a filter of infinite sets, let D^X_F be the union of all the C^X_B for B in F. The C^X_B…
We study group congruences on the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}}$ and its homomorphic retracts in the case when an ${\omega}$-closed family $\mathscr{F}$ which consists of inductive non-empty subsets of $\omega$. It is…
Finite $F$-representation type is an important notion in characteristic-$p$ commutative algebra, but explicit examples of varieties with or without this property are few. We prove that a large class of homogeneous coordinate rings in…