Related papers: A constructive proof of the Bollob\'as-Varopoulos …

We develop a theory of Valuation Hilbert Modules and prove a version of Beurling's theorem for these. Then we apply our version of Beurling's theorem to obtain complete descriptions of the closed invariant subspaces of a number of Hilbert…

Let $T$ be a countable complete first-order theory with a definable, infinite, discrete linear order. We prove that $T$ has continuum-many countable models. The proof is purely first-order, but raises the question of Borel completeness of…

This article was written in 1999, and was posted as a preprint in CRM (Barcelona) preprint series $n^0\, 519$ in 2000. However, recently CRM erased all preprints dated before 2006 from its site, and this paper became inacessible. It has…

This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic…

Is the recent evidence for a time-varying fine structure 'constant' $\alpha$ to be interpreted as a varying $e$, $c$, $\hbar$, or a combination thereof? We consider the simplest varying electric charge and varying speed of light theories…

This is an expository work presenting in detail the proof of the structure theorem for divisible abelian groups. A divisible abelian group is an abelian group that satisfies nD=D for all natural n. The theorem states that any divisible…

We introduce Besov spaces with variable smoothness and integrability by using the continuous version of Calder\`on reproducing formula. We show that our space is well-defined, i.e., independent of the choice of basis functions. We…

An example of constructive (in A.A.Markov's sense) real-valued function, which is integrable by Riemann, but is not integrable by Darboux, is constructed.

In this paper we give a geometric proof of the Karpelevich's theorem that asserts that a semisimple Lie subgroup of isometries, of a symmetric space of non compact type, has a totally geodesic orbit. In fact, this is equivalent to a…

This is an elementary geometrical proof of Birkhoff theorem. It is hardly important, but the pictures behind are quite nice.

The Krylov-Safonov theorem says that solutions to non-divergence uniformly elliptic equations with rough coefficients are H\"{o}lder continuous. The proof combines a basic measure estimate with delicate localization and covering arguments.…

We study a higher order conformally coupled scalar tensor theory endowed with a covariant geometric constraint relating the scalar curvature with the Gauss-Bonnet scalar. It is a particular Horndeski theory including a canonical kinetic…

A recent proof of Bell's theorem without inequalities [A. Cabello, Phys. Rev. Lett. 86, 1911 (2001)] is formulated as a Greenberger-Horne-Zeilinger-like proof involving just two observers. On one hand, this new approach allows us to derive…

The change of variable theorem is proved under the sole hypothesis of differentiability of the transformation. Specifically, it is shown under this hypothesis that the transformed integral equals the given one over every measurable subset…

A family of disjoint pairs of finite sets $\mathcal{P}=\{(A_i,B_i)\mid i\in[m]\}$ is called a Bollob\'as system if $A_i\cap B_j\neq\emptyset$ for every $i\neq j$, and a skew Bollob\'as system if $A_i\cap B_j\neq\emptyset$ for every $i<j$.…

In measure theory, Steinhaus theorem is a result that deals with a property of the difference between two sets of positive measure. We give a simple elementary proof of the result.

Using the Feferman-Vaught Theorem, we prove that a definable subset of a product structure must be a Boolean combination of open sets, in the product topology induced by giving each factor structure the discrete topology. We prove a…

It is demonstrated that, unless the meaning of conformal transformations for the underlying geometrical structure is discussed on a same footing as it is done for the equations of the given gravity theory, the notion of "conformal…

A relation algebra is called measurable when its identity is the sum of measurable atoms, and an atom is called measurable if its square is the sum of functional elements. In this paper we show that atomic measurable relation algebras have…

An exact correspondence is shown between a new moving mirror trajectory in (1+1)D and a spacetime in (1+1)D in which a black hole forms from the collapse of a null shell. It is shown that the Bogolubov coefficients between the "in" and…