All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 98 Next

Displaying 1941 – 1960 of 5970

Showing per page

HOD-supercompactness, Indestructibility, and Level by Level Equivalence

Arthur W. Apter, Shoshana Friedman (2014)

Bulletin of the Polish Academy of Sciences. Mathematics

In an attempt to extend the property of being supercompact but not HOD-supercompact to a proper class of indestructibly supercompact cardinals, a theorem is discovered about a proper class of indestructibly supercompact cardinals which reveals a surprising incompatibility. However, it is still possible to force to get a model in which the property of being supercompact but not HOD-supercompact holds for the least supercompact cardinal κ₀, κ₀ is indestructibly supercompact, the strongly compact and...

Holland’s theorem for pseudo-effect algebras

Anatolij Dvurečenskij (2006)

Czechoslovak Mathematical Journal

We give two variations of the Holland representation theorem for ℓ -groups and of its generalization of Glass for directed interpolation po-groups as groups of automorphisms of a linearly ordered set or of an antilattice, respectively. We show that every pseudo-effect algebra with some kind of the Riesz decomposition property as well as any pseudo M V -algebra can be represented as a pseudo-effect algebra or as a pseudo M V -algebra of automorphisms of some antilattice or of some linearly ordered set.

Holonomie et cycle évanouissant

Guy Wallet (1981)

Annales de l'institut Fourier

On démontre que l’holonomie est non triviale au voisinage d’un cycle évanouissant au moyen d’un critère d’Imanishi et on donne une démonstration non standard de ce dernier.

Homogeneous aggregation operators

Tatiana Rückschlossová, Roman Rückschloss (2006)

Kybernetika

Recently, the utilization of invariant aggregation operators, i.e., aggregation operators not depending on a given scale of measurement was found as a very current theme. One type of invariantness of aggregation operators is the homogeneity what means that an aggregation operator is invariant with respect to multiplication by a constant. We present here a complete characterization of homogeneous aggregation operators. We discuss a relationship between homogeneity, kernel property and shift-invariance...

Homography in ℝℙ

Roland Coghetto (2016)

Formalized Mathematics

The real projective plane has been formalized in Isabelle/HOL by Timothy Makarios [13] and in Coq by Nicolas Magaud, Julien Narboux and Pascal Schreck [12]. Some definitions on the real projective spaces were introduced early in the Mizar Mathematical Library by Wojciech Leonczuk [9], Krzysztof Prazmowski [10] and by Wojciech Skaba [18]. In this article, we check with the Mizar system [4], some properties on the determinants and the Grassmann-Plücker relation in rank 3 [2], [1], [7], [16], [17]....

Homology theory in the alternative set theory I. Algebraic preliminaries

Jaroslav Guričan (1991)

Commentationes Mathematicae Universitatis Carolinae

The notion of free group is defined, a relatively wide collection of groups which enable infinite set summation (called commutative π -group), is introduced. Commutative π -groups are studied from the set-theoretical point of view and from the point of view of free groups. Commutativity of the operator which is a special kind of inverse limit and factorization, is proved. Tensor product is defined, commutativity of direct product (also a free group construction and tensor product) with the special...

Currently displaying 1941 – 1960 of 5970