Simpson introduced the lattice P of Π 1 classes under Medvedev reducibility. Questions regarding completeness in P are related to questions about measure and randomness. We present a solution to a question of Simpson about Medvedev degrees of Π 1 classes of positive measure that was independently solved by Simpson and Slaman. We then proceed to discuss connections to constructive logic. In part...

We study the pion structure function in nuclear medium using the Nambu and JonaLasinio model, and its implication for the nuclear pion enhancement of the sea quark distribution in nuclei. By using the operator product expansion, medium effect of the nuclear matter is incorporated in calculations of the twist-2 operators. We find density dependence of the pion structure function is rather weak a...

Starting from the bi-local Klein-Gordon Equation with spin-independent squared-mass operator, we give a covariant quark representation of general composite meson systems with definite Lorentz transformation properties. For benefit of this representation we are able to deduce automatically the transformation rules of composite mesons for general symmetry operations from those of constituent (exc...

Hacking applied a method involving the labeling of sequent members to the problem of giving a Gentzen-style system for S 5, called L5, formulated with strict implication and no special modal operator. The method was generalized to a labeling of hypersequents by G. Mints. In this paper, we show how this generalization eliminates an “anti-symmetry” in Hacking’s system and greatly simplifies L5. W...

We present the solution of the Boltzmann equation with an applied electric and magnetic field including skew scattering in the collision operator. The observed unusual temperature dependences of the Hall resistance and the magnetoresistance as well as the frequency dependence of the Hall resistance in the normal state of copper oxide metals is shown to arise if the skew scattering rate diverges...

In this paper we show that it is possible to eliminate the converse operator from the propositional dynamic logic CPDL Converse PDL without compromising the soundness and completeness of inference for it Speci cally we present an encoding of CPDL formulae into PDL that eliminates the converse programs from a CPDL formula but adds enough information so as not to destroy its original meaning with...

this paper presents characterizations of m-fuzzifying matroids bymeans of two kinds of fuzzy operators, called m-fuzzifying derived operatorsand m-fuzzifying difference derived operators.

we characterize compact composition operators on real banach spaces of complex-valued bounded lipschitz functions on metric spaces, not necessarily compact, with lipschitz involutions and determine their spectra.

An operator on a complex Banach space is polynomially compact if a non-zero polynomial of the operator is compact, and power compact if a power of the operator is compact. Theorems on triangularizability of algebras (resp. semigroups) of compact operators are shown to be valid also for algebras (resp. semigroups) of polynomially (resp. power) compact operators, provided that pairs of operators ...

In this paper, we obtain some general results on information retrieval from the black hole interior, based recent progress quantum extremal surface formula and entanglement island. We study an AdS coupled to a bath with generic dynamics, ask whether it is possible retrieve about small perturbation in interior system. derive state reconstruction one norm. However, show that contradiction arises ...