Related papers: Splitting stationary sets from weak forms of Choic…

Various problems of mathematical physics consider octonions and split-octonions as a mathematical structure, which underpins the eight-dimensional nature of these problems. Therefore, it is not surprising that octonionic analysis has become…

We investigate, in ZFC, the behavior of abstract elementary classes (AECs) categorical in many successive small cardinals. We prove for example that a universal $\mathbb{L}_{\omega_1, \omega}$ sentence categorical on an end segment of…

Randomized higher-order computation can be seen as being captured by a lambda calculus endowed with a single algebraic operation, namely a construct for binary probabilistic choice. What matters about such computations is the probability of…

For each integer $k\ge 1$, we define an algorithm which associates to a partition whose maximal value is at most $k$ a certain subset of all partitions. In the case when we begin with a partition $\lambda$ which is square, i.e…

We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees…

We examine dynamical systems with the property that pseudo-orbits can be traced by small diameter sets with bounded cardinality. In particular, we show that mixing sofic subshifts and surjective dynamical systems with the specification…

We study rational homology groups of one-point compactifications of spaces of complex monic polynomials with multiple roots. These spaces are indexed by number partitions. A standard reformulation in terms of quotients of orbit arrangements…

We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.

Implicit variables of an optimization problem are used to model variationally challenging feasibility conditions in a tractable way while not entering the objective function. Hence, it is a standard approach to treat implicit variables as…

In classical set theory, the ordinals form a linear chain that we often think of as a very thin portion of the set-theoretic universe. In intuitionistic set theory, however, this is not the case and there can be incomparable ordinals. In…

By careful exploration of separation of variables into the Laplacian in spherical coordinates, we obtain the extra delta-like singularity, elimination of which restricts the radial wave function at the origin. This constraint has the form…

This paper is concerned with the nodal set of weak solutions to a broken quasilinear partial differential equation, \begin{equation*} \mbox{div} (a_+ \nabla u^+ - a_- \nabla u^-) = \mbox{div} f, \end{equation*} where $a_+$ and $a_-$ are…

This paper is an extended version of our work in \cite{Ca2025}. We extend the concept of effective reducibility between statements of set theory with ordinal Turing machines (OTMs) explored in \cite{Ca2018} for $\Pi_{2}$-statements to…

We show that entanglement guarantees difficulty in the discrimination of orthogonal multipartite states locally. The number of pure states that can be discriminated by local operations and classical communication is bounded by the total…

Let $\mathfrak{i}$ denote the minimal cardinality of a maximal independent family and let $\mathfrak{a}_T$ denote the minimal cardinality of a maximal family of pairwise almost disjoint subtrees of $2^{<\omega}$. Using a countable support…

We sow that there exists a generic extension of the G\"{o}del's constructible universe in which diamond holds and there exists a subset $Y \subseteq \omega_1$ such that for stationary many $\delta < \omega_1,$ the set $Y \cap \delta$ is not…

It is proved that every singular cardinal $\lambda$ admits a function $RTS:[\lambda^+]^2\rightarrow[\lambda^+]^2$ that transforms rectangles into squares. Namely, for every cofinal subsets $A,B$ of $\lambda^+$, there exists a cofinal subset…

Here we have studied the ideas of g*-closed sets, g^tou -sets and Lamda*-closed sets and investigate some of their properties in the spaces of A. D. Alexandroff [1]. We have also studied few separation axioms like T-omega/4,T-3omega/8,…

We study semilinear problems in general bounded open sets for non-local operators with exterior and boundary conditions. The operators are more general than the fractional Laplacian. We also give results in case of bounded $C^{1,1}$ open…

We develop a systematic framework for formulating and solving the conditions that lead to separability in stationary, axisymmetric spacetimes in the presence of matter fields. Guided by Carter's metric form, we introduce a general…