Related papers: Why surplus structure is not superfluous
It is shown that in some multi-supergraviton models, the contributions to the effective potential due to a non-trivial topology can be positive, giving rise in this way to a positive cosmological constant, as demanded by cosmological…
We show that requiring sixteen supersymmetries in quantum mechanical gauge theory implies the existence of a web of constrained interactions. Contrary to conventional wisdom, these constraints extend to arbitrary orders in the momentum…
Models for what may lie behind the Standard Model often require non-perturbative calculations in strongly coupled field theory. This creates opportunities for lattice methods, to obtain quantities of phenomenological interest as well as to…
For large values of the Higgs mass the low energy structure of the gauged linear sigma model in the spontaneously broken phase can adequately be described by an effective field theory. We present a manifestly gauge-invariant functional…
A homogenizable structure $\mathcal{M}$ is a structure where we may add a finite amount of new relational symbols to represent some $\emptyset-$definable relations in order to make the structure homogeneous. In this article we will divide…
The confining geometries of fermions in 2D structures exhibits interesting results that have highest symmetry. Delusion can be considered as the topological effect which is topological invariant. Topologically, genus zero surfaces needs…
In the context of continuous first-order logic, special attention is often given to theories that are somehow continuous in an 'essential' way. A common feature of such theories is that they do not interpret any infinite discrete…
In this paper, we analyze and compare three of the many algebraic structures that have been used for modeling dependent type theories: categories with families, split type-categories, and representable maps of presheaves. We study these in…
On the transversals of a subgroup of a group, using the binary operation of the group, structural mappings are defined. Based on these mappings, the notion of the hypergroup over the group is introduced, which generalizes the notion of the…
I summarize and discuss some recent results on formulating actions of six-dimensional superconformal field theories using the language of higher gauge theory. The latter guarantees mathematical consistency of our constructions and we review…
While many inner model theoretic combinatorial principles are incompatible with large cardinal axioms, on some rare occasions, large cardinals actually imply that the structure of the universe of sets is analogous to the canonical inner…
This survey aims to give an overview of several substantial developments of the last 50 years in the structure theory of regular semigroups and to shed light on their impact on other parts of semigroup theory.
We define and study structural properties of hypergraphs of models of a theory including lattice ones. Characterizations for the lattice properties of hypergraphs of models of a theory, as well as for structures on sets of isomorphism types…
I introduce a way of constructing a fiber bundle whose fibers are given by hypercomplex algebras and woven by appropriate structure group, and present that a novel gauge theory can be built on the hypercomplex fiber bundle. In this work, I…
We introduce functional degrees of freedom by a new gauge principle related to the phase of the wave functional. Thus, quantum mechanical systems are dissipatively embedded into a nonlinear classical dynamical structure. There is a…
In this paper, we give an overview of some recent work on applying tools from category theory in finite model theory, descriptive complexity, constraint satisfaction, and combinatorics. The motivations for this work come from Computer…
We introduce the notions of a mutually algebraic structures and theories and prove many equivalents. A theory $T$ is mutually algebraic if and only if it is weakly minimal and trivial if and only if no model $M$ of $T$ has an expansion…
Sheaves of structures are useful to give constructions in universal algebra and model theory. We can describe their logical behavior in terms of Heyting-valued structures. In this paper, we first provide a systematic treatment of sheaves of…
Covering theory is an important tool in representation theory of algebras, however, the results and the proofs are scattered in the literature. We give an introduction to covering theory at a level as elementary as possible.
In this paper, we prove the redundancies of multiset topologies. It is shown that there is a complement preserving isomorphism between $(P^\star(U),\sqsubseteq)$ and $(\mathcal{P}(X\times\mathbb{N}),\subseteq)$. It therefore follows that…