The Σ1-provability logic of HA

In this paper we introduce a modal theory ${\mathsf{iH}}_{\sigma }$ which is sound and complete for arithmetical ${\mathrm{\Sigma }}_1$-interpretations in $\mathsf{HA}$, in other words, we will show that ${\mathsf{iH}}_{\sigma }$ is the ${\mathrm{\Sigma }}_1$-provability logic of $\mathsf{HA}$. Moreover we will show that ${\mathsf{iH}}_{\sigma }$ is decidable. As a by-product of these results, we show that $\mathsf{HA}+\square \perp$ has de Jongh property.     

On local spectral properties of Hamilton type operators

In this paper, we introduce the class of Hamilton type operators and study various properties of this class. We show that every Hamilton type operator with property (β) or (δ) is decomposable. In addition, we prove that a Hamilton type operator T satisfies property (β), Dunford’s property (C) and Weyl’s theorem if and only if its adjoint does.     

Flow and thermal study of MHD Casson fluid past a moving stretching porous wedge

Journal of Thermal Analysis and Calorimetry - This research provides the analysis of an analytical method named Homotopy analysis method which is applied to examine the series solutions/results on...     

Novel parameter estimation techniques for a multi-term fractional dynamical epidemic model of dengue fever

Numerical Algorithms - An inverse problem to identify parameters for the single-term (and multi-term) fractional-order system of an outbreak of dengue fever is considered. Firstly, we propose a...