We investigate the reverse mathematical strength of Turing determinacy up to Σ5 which is itself not provable in second order arithmetic.

We consider the question of strong cosmic censorship in spatially compact, spatially locally homogeneous vacuum models. We show in particular that strong cosmic censorship holds in Bianchi IX vacuum space–times with spherical spatial topology.

We investigate the properties of Yablo sentences and formulas in theories of truth. Questions concerning provability of Yablo sentences in various truth systems, their provable equivalence, and their equivalence to the statements of their own untruth are discussed and answered.

The article introduces cyclic dilation groups and finite affine groups for prime integers, and  as an application of this theory it presents a unified group theoretical approach for the  cyclic wavelet transform (CWT) of prime dimensional periodic signals.

The paper uses a new approach to investigate prime submodules and minimal prime submodules of certain modules such as Artinian and torsion modules. In particular, we introduce a concrete formula for the radical of submodules of Artinian modules.

In this paper, we introduce a new electronic money methodology: sub-contracting the blinding to a trustee and using an Identitybased piece of information to achieve provable privacy and security. This variation on the Brickel, Gemmel and Kravitz paradigm [2] offers protection against various attacks minimizing user’s computational requirement. Furthermore, our scheme offers various complexity/p...

Background This study shows how emotions are expressed in a trauma team setting and assesses their influence and importance with regard to team performance. The term ”Team emotion” can be interpreted as the emotions that trauma team members do/do not display in a trauma receiving unit. Health care professionals are expected to refrain from showing emotion in the presence of patients and colleag...

Robotic manipulation by rolling contacts is an appealing method for achieving dexterity with relatively simple hardware. While there exist techniques for planning motions of rigid bodies in rolling contact under nominal conditions, an inescapable challenge is the design of robust controllers of provable performance in the presence of model perturbations. As a preliminary step in this direction,...

In this paper we study the reverse mathematics of two theorems by Bonnet about partial orders. These results concern the structure and cardinality of the collection of the initial intervals. The first theorem states that a partial order has no infinite antichains if and only if its initial intervals are finite unions of ideals. The second one asserts that a countable partial order is scattered ...