Related papers: Characterization and uniqueness of $\sigma$-Antise…

Our purpose is to prove the uniqueness of the representation for $G$-martingales with finite variation.

It is shown that harmonic functions on some subsets, subharmonic and coinciding everywhere outside of these sets, actually coincide everywhere.

Menger conjectured that subsets of R with the Menger property must be ${\sigma}$-compact. While this is false when there is no restriction on the subsets of R, for projective subsets it is known to follow from the Axiom of Projective…

We give a simple example of a set that is weakly Dedekind infinite (= can be mapped onto omega) but dually Dedekind finite (=cannot be mapped noninjectively onto itself), namely, the power set of a superamorphous set. (A infinite set is…

Let $a(1) >0$, $a(n) \ge 0$ for $n \ge 2$ and $a(n) = O(n^\varepsilon)$ for any $\varepsilon >0$, and put $Z(\sigma + it):= \sum_{n=1}^\infty a(n) n^{-\sigma - it}$ where $\sigma , t \in {\mathbb{R}}$. In the present paper, we show that any…

In this note for a topological group $G$, we introduce a bounded subset of $G$ and we find some relationships of this definition with other topological properties of $G$.

We prove a comparison isomorphism between singular cohomology and sheaf cohomology.

Let f be a self-map of the set A. We give a necessary and sufficient condition for the existence of a lattice structure on A such that f becomes a lattice anti-endomorphism with respect to this structure.

We prove that there exists a countable $\beta$-model in which, for all reals $X$ and $Y$, $X$ is definable from $Y$ if and only $X$ is hyperarithmetical in $Y$. We also obtain some related results and pose some related questions.

We prove Union-Closed sets conjecture.

We prove a unique continuation result for an ill-posed characteristic problem. A model problem of this type occurs in A.D.~Ionescu \& S.~Klainerman article (Theorem 1.1 in \cite{MR2470908}) and we extend their model-result using only…

Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Veneri [1981], we prove several facts about sets of terms having a given intersection type. Our main result is that every strongly normalizing…

It is proved that for an h-homogeneous space X the following conditions are equivalent: 1) X is a densely homogeneous space with a dense complete subspace; 2) X is $\sigma$-discretely controlled.

In this note, we first discuss some properties of generated $\sigma$-fields and a simple approach to the construction of finite $\sigma$-fields. It is shown that the $\sigma$-field generated by a finite class of $\sigma$-distinct sets which…

N. Hindman, I. Leader and D. Strauss proved that it is consistent that there is a finite colouring of $\mathbb R$ so that no infinite sumset $X+X=\{x+y:x,y\in X\}$ is monochromatic. Our aim in this paper is to prove a consistency result in…

Let X be a definable sub-set of some o-minimal structure. We study the spectrum of X, in relation with the definability of types.

In the noncommutative geometry of Artin, Van den Bergh, and others, the twisted homogeneous coordinate ring is one of the basic constructions. Such a ring is defined by a $\sigma$-ample divisor, where $\sigma$ is an automorphism of a…

We give a geometric proof of existence of Whitney stratifications of definable sets in o-minimal structures.

We call a flag variety admissible if its automorphism group is the projective general linear group. (This holds in most cases.) Let $K$ be a field of characteristic $0$, containing all roots of unity. Let the $K$-variety $X$ be a form of an…

In this note, we use a result of Osserman and Schiffer \cite{OS} to give a variational characterization of the catenoid. Namely, we show that subsets of the catenoid minimize area within a geometrically natural class of minimal annuli. To…