Related papers: The Schroder-Bernstein property for a-saturated mo…
The characterization and mechanical stability of charged thin shells with spherical symmetry are analyzed in the context of Einstein-Born-Infeld theory. The study of stability is performed by considering linearized perturbations preserving…
Given a fixed tensor triangulated category S we consider triangulated categories T together with an S-enrichment which is compatible with the triangulated structure of T. It is shown that, in this setting, an enriched analogue of Brown…
In this paper, methods of second order and higher order reverse mathematics are applied to versions of a theorem of Banach that extends the Schroeder-Bernstein theorem. Some additional results address statements in higher order arithmetic…
A subset of a model of ${\sf PA}$ is called neutral if it does not change the $\mathrm{dcl}$ relation. A model with undefinable neutral classes is called neutrally expandable. We study the existence and non-existence of neutral sets in…
A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence…
Let T be a complete first order theory in a countable relational language L . We assume relation symbols have been added to make each formula equivalent to a predicate. Adjoin a new unary function symbol sigma to obtain the language…
We introduce and develop the theory of metaparticles. At the classical level, this is a world-line theory with the usual reparameterization invariance and two additional features. The theory is motivated by string theory on compact targets,…
We explore new interactions between finite model theory and classical streams of universal algebra and semigroup theory. A key result is an example of finite algebras whose variety is not finitely axiomatisable in first order logic, but…
We consider a bounded representation $T$ of a commutative semigroup $S$ on a Banach space and analyse the relation between three concepts: (i) properties of the unitary spectrum of $T$, which is defined in terms of semigroup characters on…
Let $H$ be a group and $E$ a set such that $H \subseteq E$. We shall describe and classify up to an isomorphism of groups that stabilizes $H$ the set of all group structures that can be defined on $E$ such that $H$ is a subgroup of $E$. A…
The first-order theory of a string automatic structure is known to be decidable, but there are examples of string automatic structures with nonelementary first-order theories. We prove that the first-order theory of a string automatic…
We prove the multiplicative Thom-Sebastiani rule for Bernstein-Sato polynomials, answering the longstanding questions of Budur and Popa. We generalize the result to the tensor of two effective divisors on the product of two arbitrary…
The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter…
We show that, under the assumption of the existence of $M_1^{\#}$, there exists a model on which the restricted nonstationary ideal $\hbox{NS} \upharpoonright A$ is $\aleph_2$-saturated, for $A$ a stationary co-stationary subset of…
We hope to see how much for a model M of some completion T of PA (Peano Arithmetic) does M restriction {<} determine M, say up to isomorphism. We advance in characterizing for non-standard models M of PA the "minimal" set {(a,b):n < a < b…
In view of the obstacles encountered in any attempts to solve the Minkowski-space Bethe-Salpeter equation for bound states of two fermions, we study the possibility to model the bound-state features, at least at a qualitative level, by a…
A choice of first-order variables for the characteristic problem of the linearized Einstein equations is found which casts the system into manifestly well-posed form. The concept of well-posedness for characteristic problems invoked is that…
We consider the one-dimensional nonlinear Schr\"odinger equation with a nonlinearity of degree $p>1$. We exhibit measures on the space of initial data for which we describe the non trivial evolution by the linear Schr\"odinger flow and we…
We introduce the notion of strong $p$-semi-regularity and show that if $p$ is a regular type which is not locally modular then any $p$-semi-regular type is strongly $p$-semi-regular. Moreover, for any such $p$-semi-regular type, "domination…
I review my work together with Piljin Yi on the spectrum of BPS-saturated states in N = 2 supersymmetric Yang-Mills theories. In an M-theory description, such states are realized as certain two-brane configurations. We first show how the…