Related papers: Constructibility real degrees in the side-by-side …
A complete and systematic derivation of the purely macroscopic theory of rigid semiconductors is given. It is based on a five-continuum model of charged and interpenetrating continua, and the applications of the relevant laws of physics to…
Emergence of fundamental forces from gauge symmetry is among our most profound insights about the physical universe. In nature, such symmetries remain hidden in the space of internal degrees of freedom of subatomic particles. Here we…
We examine the degree structure $\mathbf{ER}$ of equivalence relations on $\omega$ under computable reducibility. We examine when pairs of degrees have a join. In particular, we show that sufficiently incomparable pairs of degrees do not…
The study of automorphisms of computable and other structures connects computability theory with classical group theory. Among the noncomputable countable structures, computably enumerable structures are one of the most important objects of…
The thesis presents the subject of synthetic topology, especially with relation to metric spaces. A model of synthetic topology is a categorical model in which objects possess an intrinsic topology in a suitable sense, and all morphisms are…
Cobordism categories are known to be compact closed. They can therefore be used to define non-degenerate models of multiplicative linear logic by combining the Int construction with double glueing. In this work we detail such construction…
We investigate structural and rigidity properties of \emph{Lie skew braces} (LSBs), objects essentially known in the literature as \emph{post--Lie groups}, obtained by endowing a manifold with two compatible group laws that share the same…
We discuss the relationship between tight and cover-to-join representations of semilattices and inverse semigroups, showing that a slight extension of the former, together with an appropriate selection of co-domains, makes the two notions…
We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the…
We construct examples of symplectic half-flat manifolds on compact quotients of solvable Lie groups. We prove that the Calabi-Yau structures are not rigid in the class of symplectic half-flat structures. Moreover, we provide an example of a…
The impact of confinement on self-assembly of particles interacting with short-range attraction and long-range repulsion (SALR) potential is studied for thermodynamic states corresponding to local ordering of clusters or layers in the bulk.…
We study locally conformal symplectic (LCS) structures of the second kind on a Lie algebra. We show a method to build new examples of Lie algebras admitting LCS structures of the second kind starting with a lower dimensional Lie algebra…
We are studying the degrees in which a computable structure is relatively computably categoricity, i.e., computably categorcial among all non-computable copies of the structure. Unlike the degrees of computable categoricity we can bound the…
In this paper, a question due to Heckenberger, Shareshian and Welker on racks in [7] is positively answered. A rack is a set together with a selfdistributive bijective binary operation. We show that the lattice of subracks of every finite…
Let $\Lambda$ be a finite dimensional algebra. In this paper we show that there is a natural bijection between cosilting modules in Mod$\Lambda$ and semibricks in Mod$\Lambda$ satisfying some condition. Also this bijection restricts to a…
In this paper we will develop an axiomatic foundation for the geometric study of straight edge, protractor, and compass constructions, which while being related to previous foundations, will be the first to have all axioms written and all…
Composition and lattice join (transitive closure of a union) of equivalence relations are operations taking pairs of decidable equivalence relations to relations that are semi-decidable, but not necessarily decidable. This article addresses…
We introduce the notion of metric semilattice on the metric space and prove the criterion of $\R$-tree as connected geodesic metric space $X$ admitting the partial order, such that $X$ is semilinear metric semilattice. Also we state the…
Generalizing a result of T\"ornquist and Weiss, we study the connection between the existence of $\varSigma_2^1$ Sierpi\'{n}ski's coverings of $\mathbb{R}^n$, and a cardinal invariant of the upper semi-lattice of constructibility degrees…
In this article we investigate the relations between three classes of lattices each extending the class of distributive lattices in a different way. In particular, we consider join-semidistributive, join-extremal and left-modular lattices,…