Related papers: On a question of Silver about gap-two cardinal tra…

G\"odel proved in the 1930s in his famous Incompleteness Theorems that not all statements in mathematics can be proven or disproven from the accepted ZFC axioms. A few years later he showed the celebrated result that Cantor's Continuum…

It is a classical result in matrix algebra that any square matrix over a field can be conjugated to its transpose by a symmetric matrix. For $F$ a non-Archimedean local field, Tupan used this to give an elementary proof that transpose…

We prove the following consistency result for cardinal sequences of length $< \om_3$: if GCH holds and $\la \geq \om_2$ is a regular cardinal, then in some cardinal-preserving generic extension $2^{\om} = \la$ and for every ordinal $\eta <…

We first prove that the well known transfer principle of A. P. Calder\'on can be extended to the vector-valued setting and then we apply this extension to vector-valued inequalities for the Hardy-Littlewood maximal function to prove the…

Tensor-scalar theory is a wide class of alternative theory of gravitation that can be motivated by higher dimensional theories, by models of dark matter or dark ernergy. In the general case, the scalar field will couple non-universally to…

For an ordinal $\lambda>0$, we use the Erd\H{o}s--Rado partition theorem to prove the failure of strong completeness of $\mathsf{GL}$ for modal languages of cardinality $(2^{|\lambda|+\aleph_0})^{+}$ with respect to models on ordinals…

We prove a natural generalization of the classical three gap theorem, for rotations on adelic tori. Our proof is an adaptation to the adeles of the lattice based approach to gaps problems in Diophantine approximation originally introduced…

We prove the consistency of the failure of the weak diamond $\Phi_\lambda$ at strongly inaccessible cardinals. On the other hand, we show that the very weak diamond $\Psi_\lambda$ is equivalent to the statement $2^{<\lambda}<2^\lambda$ and…

We prove the consistency of the failure of the singular cardinals hypothesis at $\aleph_\omega$ together with the reflection of all stationary subsets of $\aleph_{\omega+1}$. This shows that two classic results of Magidor (from 1977 and…

Assuming three strongly compact cardinals, it is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{null}) < \mathrm{cov}(\mathrm{null}) < \mathfrak{b} < \mathfrak{d} < \mathrm{non}(\mathrm{null}) < \mathrm{cof}(\mathrm{null}) <…

We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…

We consider a question: Can a given AD-family be ADR for two orthogonal uncountable towers? If $b > \omega_1$, then we rebuilt any AD-family of the cardinality $\omega_1$ onto a Hausdorff pre-gap. Moreover, if a such AD-family is a Luzin…

In this paper, we present a second partial solution for the problem of cardinality calculation of the set of fractals for its subcategory of the random virtual ones. Consistent with the deterministic case, we show that for the given…

The "Shapiro delay" experienced by an astronomical messenger traveling through a gravitational field has been used to place constraints on possible deviations from the equivalence principle. The standard Shapiro delay used to obtain these…

Let $N \subset M$ be a submanifold embedding of spin manifolds of some codimension $k \geq 1$. A classical result of Gromov and Lawson, refined by Hanke, Pape and Schick, states that $M$ does not admit a metric of positive scalar curvature…

This article explores the model-dependent nature of set cardinality, emphasizing that cardinality is not absolute but varies across different axiomatic frameworks. Although Cantor's diagonal argument shows the real numbers are…

Whenever I is a projectively generated projectively defined sigma ideal on the reals, if ZFC+large cardinals proves cov(I)=continuum then ZFC+large cardinals proves non(I)<aleph four.

A dual action is obtained for a general non-abelian and non-supersymmetric gauge theory at the classical level. The construction follows steps similar to those used in pure abelian gauge theory. As an example we study the spontaneously…

The classical Perron-Frobenius theory asserts that for two matrices $A$ and $B$, if $0\leq B \leq A$ and $r(A)=r(B)$ with $A$ being irreducible, then $A=B$. This was recently extended in Bernik et al. (2012) to positive operators on…

We give an abstract framework to transfer generalized amalgamation from a simple theory to another, and we apply it to theories of lovely pairs and of bounded PAC structures. We show in particular that bounded pseudo-algebraically closed…