This paper develops the philosophy and technology needed for adding a supremum operator to the interpretability logic ILM of Peano Arithmetic (PA). It is wellknown that any theories extending PA have a supremum in the interpretability ordering. While provable in PA, this fact is not reflected in the theorems of the modal system ILM, due to limited expressive power. Our goal is to enrich the lan...

We investigate the modal logic of interpretability over Peano arith metic PA Our main result is an extension of the arithmetical complete ness theorem for the interpretability logic ILM This extension concerns recursively enumerable sets of formulas of interpretability logic rather than single formulas As corollaries we obtain a uniform arithmetical completeness theorem for the interpretability...

PURPOSE The purpose of this study was to demonstrate a displacement of the foveal depression toward the optic disk after idiopathic macular hole (MH) surgery with internal limiting membrane (ILM) peeling. METHODS Two patients with a unilateral MH developed an MH in the fellow eyes. Vitrectomy with ILM peeling was performed on the fellow eye to close the MH. Images of spectral-domain optical c...

We model the QCD Dirac operator as a power-law random banded matrix (RBM) with the appropriate chiral symmetry. Our motivation is the form of the Dirac operator in a basis of instantonic zero modes with a corresponding gauge background of instantons. We compare the spectral correlations of this model to those of an instanton liquid model (ILM) and find agreement well beyond the Thouless energy....

This paper presents a new approach to regional myocardial contractility analysis based on inter-landmark motion (ILM) vectors and multivariate outlier detection. The proposed spatio-temporal representation is used to describe the coupled changes occurring at pairs of regions of the left ventricle, thus enabling the detection of geometrical and dynamic inconsistencies. Multivariate tolerance reg...

The association of twins with health-giving powers is widespread in mythology, folklore, and religion. The Ashvins of the Rig-Veda, the classical Dioscuri, and the early Christian saints Cosmos and Damian are among the many examples of twins divinely empowered in the area of health and fertility. A characteristic set of attributes of twins recurs in different mythologies of wide distribution. I...

This study is one of the few attempts to investigate students’ acceptance of an Internet-based learning medium (ILM). By integrating a motivational perspective into the technology acceptance model, our model captured both extrinsic (perceived usefulness and ease of use) and intrinsic (perceived enjoyment) motivators for explaining students’ intention to use the new learning medium. Data collect...

PURPOSE To report a surgical technique for retinal detachment associated with optic disc pit (ODP) by using an internal limiting membrane (ILM) inverted flap as an obstacle between the vitreous cavity and subretinal space. CASE PRESENTATION A 43-year-old man presented with decreased visual acuity in the right eye for 1 week due to macular detachment associated with ODP. After 2 unsuccessful s...