Related papers: Atomic saturation of reduced powers
We present a description of saturation in small $x$ deep inelastic scattering from power counting in a top-down effective theory derived from QCD. A factorization formula isolates the universal physics of the nucleus at leading power in…
Nuclear saturation and the symmetry energy are key properties of low-energy nuclear physics that depend on fine details of the nuclear interaction. The equation-of-state around saturation is also an important anchor for extrapolations to…
We apply the recently developed technology of cofinality spectrum problems to prove a range of theorems in model theory. First, we prove that any model of Peano arithmetic is $\lambda$-saturated iff it has cofinality $\geq \lambda$ and the…
A theory $T$ is said to have exact saturation at a singular cardinal $\kappa$ if it has a $\kappa$-saturated model which is not $\kappa^{+}$-saturated. We show, under some set-theoretic assumptions, that any simple theory has exact…
Using a relativistic Dirac-Brueckner analysis the OPEP contribution to the ground state energy of nuclear matter is studied. In the study the pion is derivative-coupled. We find that the role of the tensor force in the saturation mechanism…
Automated theorem provers (ATPs) can disprove conjectures by saturating a set of clauses, but the resulting saturated sets are opaque certificates. In the unit equational fragment, a saturated set can in fact be read as a convergent rewrite…
A brief overview is given of the properties of spectral functions in finite nuclei as obtained from (e,e'p) experiments. Based on recent experimental data from this reaction it is argued that the empirical value of the saturation density of…
Using a relativistic Dirac-Brueckner analysis the pion contribution to the ground state energy of nuclear matter is studied. Evidence is presented that the role of the tensor force in the saturation mechanism is substantially reduced…
We derive the equation of state of symmetric nuclear matter in a relativistic theory with $\sigma$ and $\omega$ exchange. We take a chiral version of this model which insures all the chiral constraints. Going beyond the mean field approach…
We try to understand complete types over a somewhat saturated model of a complete first order theory which is dependent (previously called NIP), by "decomposition theorems for such types". Our thesis is that the picture of dependent theory…
The saturation properties of neutron-rich matter are investigated in a relativistic mean-field formalism using two accurately calibrated models: NL3 and FSUGold. The saturation properties - density, binding energy per nucleon, and…
Starting with a general discussion, a program is sketched for a quantization based on dilations. This resolving-power quantization is simplest for scalar field theories. The hope is to find a way to relax the requirement of locality so that…
We give an example of a countable theory T such that for every cardinal lambda >= aleph_2 there is a fully indiscernible set A of power lambda such that the principal types are dense over A, yet there is no atomic model of T over A. In…
For a first-order theory $T$, the Constraint Satisfaction Problem of $T$ is the computational problem of deciding whether a given conjunction of atomic formulas is satisfiable in some model of $T$. In this article we develop sufficient…
Let K be an algebraically bounded structure and T be its theory. If T is model complete, then the theory of K endowed with a derivation, denoted by $T^{\delta}$, has a model completion. Additionally, we prove that if the theory T is…
The ancient problem of the saturation of symmetric nuclear matter is reviewed with an update on the status of the crises that were identified at an early stage by John Clark. We discuss how the initial problem with variational calculations…
After the main gap theorem was proved (see [Sh:c]), in discussion, Harrington expressed a desire for a finer structure - of finitary character (when we have a structure theorem at all). I point out that the logic L_{infty,aleph_0}(d.q.)…
Let $H \subseteq G$ be connected reductive linear algebraic groups defined over an algebraically closed field of characteristic $p> 0$. In our first main theorem we show that if a closed subgroup $K$ of $H$ is $H$-completely reducible, then…
We investigate the possibility of electrostatic potential saturation, which may lead to the phenomenon of effective charge saturation. The system under study is a uniformly charged infinite plane immersed in an arbitrary electrolyte made up…
In this paper, we address the challenge of obtaining a comprehensive and symmetric representation of point particle groups, such as atoms in a molecule, which is crucial in physics and theoretical chemistry. The problem has become even more…