Related papers: Combinatorial Properties and Dependent choice in s…

We call a polytope P of dimension 3 admissible if it has the following two properties: (1) for each vertex of P the set of its first-neighbours is coplanar; (2) all planes determined by the first-neighbours are distinct. It is shown that…

We show that Dependent Choice is a sufficient choice principle for developing the basic theory of proper forcing, and for deriving generic absoluteness for the Chang model in the presence of large cardinals, even with respect to…

We isolate the limit-stage filter construction needed for countable-support symmetric iterations built from standard successor-step symmetric systems. At successor stages we take the $\omega_1$-completion of the usual successor-stage…

This is a two - part paper, in which we prove the following fact: let K be a CM field and L/K be a CM Z_p-extension. Then the Iwasawa mu-invariant of L vanishes. For the case when L is the cyclotomic Z_p extension, this is the Iwasawa…

The {\em Singular Cardinal Hypothesis} (SCH) is one of the most classical combinatorial principles in set theory. It says that if $\kappa$ is singular strong limit, then $2^{\kappa}=\kappa^+$. We prove that given a singular cardinal…

In this paper we continue the study in [Gilton-Levine-Stejskalova] of compactness and incompactness principles at double successors, focusing here on the case of double successors of singulars of countable cofinality. We obtain models which…

This is both an expository and research paper where we advocate a systematic study of continuous analogues of finite partially ordered sets, convex polytopes, oriented matroids, arrangements of subspaces, finite simplicial complexes, and…

We prove a new selection theorem for multivalued mappings of C-space. Using this theorem we prove extension dimensional version of Hurewicz theorem for a closed mapping $f\colon X\to Y$ of $k$-space $X$ onto paracompact $C$-space $Y$: if…

In this paper, we proved a special case of the DDVV Conjecture.

If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K…

In this paper, the compatibility between the gauge transformations and the additional symmetry of the constrained discrete Kadomtsev-Petviashvili hierarchy is given, which preserving the form of the additional symmetry of the cdKP…

We use the spherical collapse method to investigate the non-linear density perturbations of pressureless matter in the cosmological models with the extended quintessence as dark energy in the metric and Palatini formalisms. We find that for…

The integrality of Ooguri-Vafa disk invariants is verified using discrete symmetries of the superpotential of the mirror Landau-Ginzburg theory to calculate quantum corrections to the boundary variables. We show that these quantum…

We perform the Hamiltonian analysis for a nonprojectable Horava model whose potential is composed of R and R^2 terms. We show that Dirac's algorithm for the preservation of the constraints can be done in a closed way, hence the algebra of…

We study the problem of extending a complex structure to a given Lie algebra g, which is firstly defined on an ideal h of g. We consider the next situations: h is either complex or it is totally real. The next question is to equip g with an…

Let $V$ be a left vector space over a division ring and let ${\mathcal P}(V)$ be the associated projective space. We describe all finite subsets $X\subset V$ such that every permutation on $X$ can be extended to a linear automorphism of $V$…

Structure-preserving algorithms for solving conservative PDEs with added linear dissipation are generalized to systems with time-dependent damping/driving terms. This study is motivated by several PDE models of physical phenomena, such as…

Under the assumption of small violations of choice with seed $S$ ($\mathsf{SVC}(S)$), the failure of many choice principles reflect to to local properties of $S$, which can be a helpful characterisation for preservation proofs. We…

This paper is a sequel to arXiv:2501.14444, in which we shall give proofs of several results stated in arXiv:2501.14444 (Theorems D--L) which, for brevity and clarity, we postponed to this sequel paper. These results were the following: for…

A particularly simple model belonging to a wide class of coupled maps which obey a local conservation law is studied. The phase structure of the system and the types of the phase transitions are determined. It is argued that the structure…