Related papers: Combinatorial Properties and Dependent choice in s…

In the context of Standard Model extensions via Majorana sterile fermions, the presence of additional CP violating phases (Dirac and Majorana) has been shown to be at source of important effects in charged lepton flavour violating (cLFV)…

We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q,<) hold for dependent…

After reviewing a large body of literature on the modeling of bivariate discrete distributions with finite support, \cite{Gee20} made a compelling case for the use of $I$-projections in the sense of \cite{Csi75} as a sound way to attempt to…

Let us say that a model of $\mathsf{ZF}$ is a symmetric ground if $V$ is a symmetric extension of the model. In this paper, we investigate set-theoretic geology of symmetric grounds. Under a certain assumption, we show that all symmetric…

The Friedrichs extension of minimal linear relation being bounded below and associated with the discrete symplectic system with a special linear dependence on the spectral parameter is characterized by using recessive solutions. This…

This work is devoted to dissipative extension theory for dissipative linear relations. We give a self-consistent theory of extensions by generalizing the theory on symmetric extensions of symmetric operators. Several results on the…

We study functions satisfying the composition law $F(xy)+F(x/y)=P(F(x),F(y))$ with a symmetric polynomial combiner $P$. We prove that symmetry together with a quadratic degree bound on $P$ forces a composition law of d'Alembert type. We…

We study the De Giorgi type conjecture, that is, one dimensional symmetry problem for entire solutions of an two components elliptic system in $\mathbb{R}^n$, for all $n\geq 2$. We prove that, if a solution $(u,v)$ has a linear growth at…

We give a combinatorial consistency-inconsistency configuration that is equivalent to the failure of the following form of Kim's lemma for a given $k$: $(\star)$ For any set of parameters $A$, formula $\varphi(x,b)$, and $A$-bi-invariant…

Douglass B. Morris announced in 1970 that it is consistent with ZF that "For every $\alpha$, there exists a set $A_\alpha$ which is the countable union of countable sets, and $\mathcal P(A_\alpha)$ can be partitioned into $\aleph_\alpha$…

We answer Klop and de Vrijer's question whether adding surjective-pairing axioms to the extensional lambda calculus yields a conservative extension. The answer is positive. As a byproduct we obtain a "syntactic" proof that the extensional…

We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a choice principle, and show that this extension has the following properties: it is interpretable in Martin-Lof's type theory (hence…

We consider an interesting class of combinatorial symmetries of polytopes which we call \emph{edge-length preserving combinatorial symmetries}. These symmetries not only preserve the combinatorial structure of a polytope but also map each…

Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the ordered structure and it does so in a purely algebraic and…

We consider when finite families $F \subseteq \mathbb{C}[t]$ of bounded degree polynomials, or more generally of bounded complexity finite-to-finite correspondences on $\mathbb{C}$, can exhibit non-expansion of the form $|F(A)| =…

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…

Utilizing techniques suggested by the recently obtained construction of off-shell spinning particles, we propose the arbitrary $N$-extension of supersymmetry for the KdV system. It is further suggested that the ${\aleph}_0$ extension for…

We prove the $l^2$ Decoupling Conjecture for compact hypersurfaces with positive definite second fundamental form and also for the cone. This has a wide range of important consequences. One of them is the validity of the Discrete…

In this article we prove that every isometric copy of C(L) in C(K) is complemented if L is compact Hausdorff of finite height and K is a compact Hausdorff space satisfying the extension property, i.e., every closed subset of K admits an…

The aim of this work is to develop a systematic manner to close overdetermined systems arising from conformal Killing tensors (CKT). The research performs this action for 1-tensor and 2-tensors. This research makes it possible to develop a…