Reflection principles (or dually speaking, compactness principles) often give rise to combinatorial guessing principles. Uniformization properties, on the other hand, are examples of anti-guessing We discuss tension and compatibility between reflection uniformization properties at level second uncountable cardinal.

Beautiful darks in bright light. That's another way of saying that reflections from the display surface are under control. Perhaps we will see advertisements like this in the future. However, such a description is vague unless the reflection properties are clearly indicated. If we were to only state the familiar diffuse and specular reflection properties, would the specifications be adequate? N...

A method is described for estimating the 3D reflection properties of painting materials such as oil paints and water paints. A gonio-spectral photometer is used for measuring light scattered from a variety of painting surfaces. The reflectance data are acquired at different incident and viewing geometries. The Torrance-Sparrow model is used for describing light reflection on the painting surfac...

The aim of the study is to reveal the essence and structure of the programme for the development of female corporeality, identify psychological features of work in the context of individual consultations, describe the content of group classes, and analyse empirical data obtained as a result of the programme implementation. Methods: Young women under the age of 40, without clinical psychiatric ...

Images of human iris contain specular highlights due to the reflective properties of the cornea. This corneal reflection causes many errors not only in iris and pupil center estimation but also to locate iris and pupil boundaries especially for methods that use active contour. Each iris recognition system has four steps: Segmentation, Normalization, Encoding and Matching. In order to address th...

The basic properties of soundness, extensibility, and stability required from a verification system V taken in full yield the necessity of having a reflection rule in every such V. However, the reflection rule based on the Gödel provability predicate (implicit provability predicate) leads to a "reflection tower" of theories which cannot be formally verified. The paper introduces an explicit ref...

We study consequences of stationary and semi-stationary set reflection. We show that the semi-stationary reflection principle implies the Singular Cardinal Hypothesis, the failure of weak square principle, etc. We also consider two cardinal tree properties introduced recently by Weiss and prove that they follow from stationary and semi-stationary set reflection augmented with a weak form of Mar...