Displaying 3041 – 3060 of 5989

Showing per page

On reverses of some binary operators

Michal Šabo, Peter Strežo (2005)

Kybernetika

The notion of reverse of any binary operation on the unit interval is introduced. The properties of reverses of some binary operations are studied and some applications of reverses are indicated.

On rigid relation principles in set theory without the axiom of choice

Paul Howard, Eleftherios Tachtsis (2016)

Fundamenta Mathematicae

We study the deductive strength of the following statements: 𝖱𝖱: every set has a rigid binary relation, 𝖧𝖱𝖱: every set has a hereditarily rigid binary relation, 𝖲𝖱𝖱: every set has a strongly rigid binary relation, in set theory without the Axiom of Choice. 𝖱𝖱 was recently formulated by J. D. Hamkins and J. Palumbo, and 𝖲𝖱𝖱 is a classical (non-trivial) 𝖹𝖥𝖢-result by P. Vopěnka, A. Pultr and Z. Hedrlín.

On Rough Subgroup of a Group

Xiquan Liang, Dailu Li (2009)

Formalized Mathematics

This article describes a rough subgroup with respect to a normal subgroup of a group, and some properties of the lower and the upper approximations in a group.

Currently displaying 3041 – 3060 of 5989