Related papers: Understanding preservation theorems: omega-omega b…
Basic issues of the general model-building framework of the mechanics of complex bodies are discussed. Attention is focused on the representation of the material elements, the conditions for the existence of ground states in conservative…
The purpose of this paper is to show stability of order preserving/reversing transforms on the class of non-negative convex functions in ${\mathbb R}^n$, and its subclass, the class of non-negative convex functions attaining $0$ at the…
In this paper, we study sequences of positive numbers preserving summability. In particular, the open set property for such a family of sequences is shown. Several classes of sequences preserving summability, including polynomials, sums of…
We show that any equivalence of bounded derived categories of coherent sheaves on a smooth projective complex variety supported in a closed algebraic subset preserves the dimension of the support in two cases: (i) the restriction of the…
The conservation laws of the third order quasilinear scalar evolution equations are considered via differential system and characteristic cohomology. We find a subspace of 2 forms in the infinite prolonged space in which every conservation…
In this paper, we build some ergodic theorems involving function $\Omega$, where $\Omega(n)$ denotes the number of prime factors of a natural number $n$ counted with multiplicities. As a combinatorial application, it is shown that for any…
The presented splitting lemma extends the techniques of Gromov and Forstneri\v{c} to glue local sections of a given analytic sheaf, a key step in the proof of all Oka principles. The novelty on which the proof depends is a lifting lemma for…
This is a revised version of Sh:430, section 6.
New version of my 1998 article. The method of proof of the main results follows the original, but there are many simplifications/streamlining of arguments, especially Lemma 3.6 (new Lemma 3.7). Fixed small error in proof of lower bound for…
We introduce several properties of forcing notions which imply that their lambda-support iterations are lambda-proper. Our methods and techniques refine those studied in math.LO/9906024, math.LO/0210205, math.LO/0508272 and math.LO/0605067,…
We answer a question from Raghavan and Stepr{\=a}ns' paper on weakly tight families by showing that $\mathfrak{s} = {\mathfrak{s}}_{\omega, \omega}$. Then we use this to construct a completely separable maximal almost disjoint family under…
We prove some iteration theorems for a certain class of $\kappa^+$-cc forcing posets.
In this paper, we study the irreducible representations of skew braces of order \( pq \), which is equivalent to studying the representation theory of groups of order \( p^2q^2 \) arising from skew left braces, where \( p > q \) are primes.…
We define a nontrivial version of the square principle $\Box_\omega$, which we then show consistent by means of forcing with finite conditions. This paper has been withdrawn by the author due to the fact that the presented $\Box_\omega$ can…
We give a new proof of a lemma by L. Shepp, that was used in connection to random coverings of a circle.
We show that countable increasing unions preserve a large family of well-studied covering properties, which are not necessarily sigma-additive. Using this, together with infinite-combinatorial methods and simple forcing theoretic methods,…
We show that if for any two elementary equivalent structures $\mathbf{M}, \mathbf{N}$ of size at most continuum in a countable language, $\mathbf{M}^{\omega}/ \mathcal{U} \simeq \mathbf{N}^\omega / \mathcal{U}$ for some ultrafilter…
We focus on the persistence principle over weak interpretability logic. Our object of study is the logic obtained by adding the persistence principle to weak interpretability logic from several perspectives. Firstly, we prove that this…
We show that it is consistent, relative to $\omega$ many supercompact cardinals, that the super tree property holds at $\aleph_n$ for all $2 \leq n < \omega$ but there are weak square and a very good scale at $\aleph_{\omega}$.
We prove that omega^2 strictly bounds the iterations required for modal definable functions to reach a fixed point across all countable structures. The result corrects and extends the previously claimed result by the first and third authors…