arXiv subjects
Publications and source records attributed to L. T. Stepien.
Using the concept of strong necessary conditions (CSNC), we derive Bogomolny equations and BPS bounds for two modifications of the gauged baby BPS Skyrme model: the nonminimal coupling to the gauge field and k-deformed model. In particular, we study, how the Bogomolny equations and the equation for the potential, reflect these two modifications. In both examples, the CSNC method shows to be a very useful tool.
This paper is a continuation of the paper [16]. Namely, in [16] we have introduced, among others, the definition of the atomic entailment and we have constructed the system $\overset\sqcap S$, which is based on the atomic entailment. In this paper we show that the classical Arithmetic can be based on the Atomic Logic (see [17]).
In this paper we put forward a new solution of the well-known problem of relevant logics, i.e. we construct an atomic entailment. Hence, we construct a system of predicate calculus based on the atomic entailment. Next, we establish the definition of atomic inconsistency. The atomic inconsistency establishes an infinite class of inconsistent, but non-trivial systems. In this paper we construct the new definition of the classical entailment, into the bargain.
We present a systematic tool of derivation of the Bogomolny equation for the BPS Skyrme model. Furthermore, we find a generalization of the Bogomolny equation to the case corresponding with a non-zero value of the external pressure. The method is based on the concept of strong necessary conditions and can be applied to any Skyrme like theory.