Related papers: Preservation of NATP
Pseudo algebraically closed, pseudo real closed, and pseudo $p$-adically closed fields are examples of unstable fields that share many similarities, but have mostly been studied separately. In this text, we propose a unified framework for…
The classical Gelfand--Naimark theorems provide important insight into the structure of general and of commutative C*-algebras. It is shown that these can be generalized to certain ordered *-algebras. More precisely, for $\sigma$-bounded…
In this paper, we provide both a preservation and breaking of symmetry theorem for $2\pi$-periodic problems of the form \begin{align*} \begin{cases} -u''(t) + g(u(t)) = f(t)\cr u(0) - u(2\pi) = u'(0) - u'(2\pi) = 0 \end{cases} \end{align*}…
This paper aims to establish the theoretical foundation for shift inclusion in mathematical morphology. In this paper, we prove that the morphological opening and closing concerning structuring elements of shift inclusion property would…
We analyze the boundaries of the moduli spaces of compactifications of the heterotic string on $T^d$, making particular emphasis on $d=2$ and its F-theory dual. We compute the OPE algebras as we approach all the infinite distance limits…
We study the geometry of tropical extensions of hyperfields, including the ordinary, signed and complex tropical hyperfields. We introduce the framework of 'enriched valuations' as hyperfield homomorphisms to tropical extensions, and show…
We give an abstract framework to transfer generalized amalgamation from a simple theory to another, and we apply it to theories of lovely pairs and of bounded PAC structures. We show in particular that bounded pseudo-algebraically closed…
The theory of two binary relations has the strong amalgamation property when the first relation is assumed to be coarser than the second relation, and each relation satisfies a chosen set of properties from the following list: transitivity,…
We study possibilities of preservations for properties, their links and related connections between semantic and syntactic ones, both in general and as characterizations for subalgebras, congruence relations, Henkin construction,…
We introduce the notion of n-representation-finiteness, generalizing representation-finite hereditary algebras. We establish the procedure of n-APR tilting, and show that it preserves n-representation-finiteness. We give some combinatorial…
We give conserved quantities of two generalizations of conformal circles on the conformal sphere. One generalization concerns curves carrying a distinguished parallel tractor along them, which can be used to construct the conserved…
In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…
In this note, we investigate a new model theoretical tree property, called the antichain tree property (ATP). We develop combinatorial techniques for ATP. First, we show that ATP is always witnessed by a formula in a single free variable,…
A microscopic theory for nuclear pairing is proposed through the generalized density matrix formalism. The analytical equations are as simple as that of the BCS theory, and could be solved within a similar computer time. The current theory…
We discuss conserved currents and operator product expansions (OPE's) in the context of a $O(N)$ invariant conformal field theory. Using OPE's we find explicit expressions for the first few terms in suitable short-distance limits for…
A first-order theory is Noetherian with respect to the collection of formulae $\mathcal{F}$ if every definable set is a Boolean combination of instances of formulae in $\mathcal{F}$ and the topology whose subbasis of closed sets is the…
We systematically study conservation theorems on theories of semi-classical arithmetic, which lie in-between classical arithmetic $\mathsf{PA}$ and intuitionistic arithmetic $\mathsf{HA}$. Using a generalized negative translation, we first…
We study the preservation of certain properties under products of classes of finite structures. In particular, we examine indivisibility, definable self-similarity, the amalgamation property, and the disjoint n-amalgamation property. We…
The set theory KP$\Pi_{N+1}$ for $\Pi_{N+1}$-reflecting universes is shown to be $\Pi_{N+1}$-conservative over iterations of $\Pi_{N}$-recursively Mahlo operations for each $N\geq 2$.
We construct new families of deformed supersymmetric field theories which break space-time symmetries but preserve half of the original supersymmetry. We do this by writing deformations as couplings to background multiplets. In many cases…