This paper investigates the symmetry breaking between polarizations of Λ and Λ¯ hyperons in relativistic collisions heavy ions at intermediate low energies. The microscopic transport model UrQMD is employed to study thermal vorticity hot dense nuclear matter formed non-central Au + center-of-mass energies 7.7≤sNN≤62.4 GeV. whole volume an expanding fireball subdivided into small cubic cells. Th...

Abstract The Λ baryon spectrum is studied within the SU(3) flavor symmetry in a constituent quark model. We found that it rather difficult to accommodate some negative-parity resonances as single q 2 s ( = u , d quarks) states conventional three-quark picture. ground <mm...

In this short note we present a minimal system to deal with overloaded functions with late binding, in which λ-abstractions are seen as a special case of overloaded functions with just one code. We prove some relevant properties that this system enjoys, and show its connection with the λ&-calculus. We end by showing the practical interest of this system, in particular in modeling object-oriente...

ions over incomplete types (i.e. types that do not specify the functional structure of their inhabitants completely) are meant to simulate the Π-abstractions of the λ-cube [Barendregt 1993] and the author sees fitting the Π binder into λδ architecture as a very challenging task. In particular it would be interesting to relate this extension of λδ to COC since this calculus has been fully specif...

A longstanding open problem is whether there exists a non-syntactical model of the untyped λ-calculus whose theory is exactly the least λ-theory λβ . In this paper we investigate the more general question of whether the equational/order theory of a model of the untyped λ-calculus can be recursively enumerable (r.e. for brevity). We introduce a notion of effective model of λ-calculus, which cove...

We prove the following: Theorem A. If D is a (λ+, κ)-regular ultrafilter, then either (a) D is (λ, κ)-regular, or (b) the cofinality of the linear order ∏ D〈λ, <〉 is cf κ, and D is (λ, κ′)-regular for all κ′ < κ. Corollary B. Suppose that κ is singular, κ > λ and either λ is regular, or cf κ < cf λ. Then every (λ+n, κ)-regular ultrafilter is (λ, κ)-regular. We also discuss some consequences and...