Related papers: An isomorphism theorem for models of Weak K\"onig'…

We investigate the logical strength of the cohesiveness principle when restricted to finite sequences of sets, denoted by fin-COH, over different base theories. Our main result shows that fin-COH entails $I\Sigma_1^0$ over the weaker base…

We try to build, provably in ZFC, for a first order T a model in which any isomorphism between two Boolean algebras is definable. The problem, compared to [Sh:384], is with pseudo-finite Boolean algebras. A side benefit is that we do not…

We prove that one of the conditions in M.V. Zaicev's formula for the PI-exponent and in its natural generalization for the Hopf PI-exponent, can be weakened. Using the modification of the formula, we prove that if a finite dimensional…

Let $(a_n), (b_n)$ be linear recursive sequences of integers with characteristic polynomials $A(X),B(X)\in \mathbb{Z}[X]$ respectively. Assume that $A(X)$ has a dominating and simple real root $\alpha$, while $B(X)$ has a pair of conjugate…

We define a weak iterability notion that is sufficient for a number of arguments concerning $\Sigma_1$-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second…

Let $\mathsf{M}$ be the set theory obtained from $\mathsf{ZF}$ by removing the collection scheme, restricting separation to $\Delta_0$-formulae and adding an axiom asserting that every set is contained in a transitive set. Let…

We study weak commutative algebras in a symmetric monoidal model category $\mathscr{M}$. We provide a model structure on these algebras for any symmetric monoidal model category that is combinatorial and left proper. Our motivation was to…

Denote by $\P_n$ the set of $n\times n$ positive definite matrices. Let $D = D_1\oplus \dots \oplus D_k$, where $D_1\in \P_{n_1}, \dots, D_k \in \P_{n_k}$ with $n_1+\cdots + n_k=n$. Partition $C\in \P_n$ according to $(n_1, \dots, n_k)$ so…

We construct non-trivial weak solutions $\theta\in C_t^0C_x^{0-}$ to the surface quasi-geostrophic (SQG) equations, which have compact support in time and, thus, violate the conservation of the Hamiltonian. The result is sharp in view of…

In this paper the relative recognition principle will be proved. It states that a pair of spaces $(X_o,X_c)$ is weakly equivalent to $(\Omega^N_\text{rel}(\iota:B\hookrightarrow Y),\Omega^N(Y))$ if and only if $(X_o,X_c)$ are grouplike…

In this paper, we extend earlier work by showing that if $X$ and $Y$ are simplicial complexes (i.e. simplicial sets whose nondegenerate simplices are determined by their vertices), an isomorphism $\mathcal{C}(X)\cong\mathcal{C}(Y)$ of…

Let $(X,T,\mu,d)$ be a metric measure-preserving system for which $3$-fold correlations decay exponentially for Lipschitz continuous observables. Suppose that $(M_k)$ is a sequence satisfying some weak decay conditions and suppose there…

We present a new proof of the classical weak-type $(1,1)$ estimate for Calder\'on-Zygmund operators. This proof is inspired by ideas of Nazarov, Treil, and Volberg that address the non-doubling setting. An application to a weighted…

Let $Y$ be a complex projective variety of dimension $n$ with isolated singularities, $\pi:X\to Y$ a resolution of singularities, $G:=\pi^{-1}\left(\rm{Sing}(Y)\right)$ the exceptional locus. From the Decomposition Theorem one knows that…

We present a proof of the one-sided $A_2$ theorem in dimension one, with a logarithmic loss. This theorem concerns one-sided Calder\'on-Zygmund operators (CZOs) whose kernels $K(x,y)$ vanish whenever $x < y$. These operators are bounded on…

A left-variable word over an alphabet~$A$ is a word over~$A \cup \{\star\}$ whose first letter is the distinguished symbol~$\star$ standing for a placeholder. The Ordered Variable Word theorem ($\mathsf{OVW}$), also known as…

We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure $\mathcal{M}$ has a decidable presentation if and only if its Borel randomization $\mathcal{M}^{[0,1)}$ has a…

Let $\ell$ be a prime, $k$ a finitely generated field of characteristic different from $\ell$, and $X$ a smooth geometrically connected curve over $k$. Say a semisimple representation of $\pi_1^{\mathrm{et}}(X_{\bar k})$ is arithmetic if it…

We prove that the class of all ordinals Ord is not weakly compact with respect to definable classes. Specifically, in any model of ZFC, the definable tree property fails for Ord, in that there is a definable Ord tree with no definable…

We show that the well-known Konig's Min-Max Theorem (KMM), a fundamental result in combinatorial matrix theory, can be proven in the first order theory $\LA$ with induction restricted to $\Sigma_1^B$ formulas. This is an improvement over…