Homogeneity, universality and saturatedness of limit reduced powers I
Homogeneous aggregation operators
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...
Homogeneous limit reduced powers.
Homogeneous models and generic extensions.
Homogeneous models and stable diagrams.
Homogeneous permutations.
Homogeneous-Universal Models of Theories Which Have Model Completions
Homography in ℝℙ
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]....
Homological Dimension and representation type of algebras under base field extension.
Homological Dimension and Stationary Sets.
Homology theory in the alternative set theory I. Algebraic preliminaries
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...
Homology theory in the AST II. Basic concepts, Eilenberg-Steenrod's axioms
Homology functor in the spirit of the AST is defined, its basic properties are studied. Eilenberg-Steenrod axioms for this functor are formulated and established.
Homomorphe-invariante Formeln in der intuitionistischen Logik.
Homomorphism kernels of a tetravalent modal algebra
Homomorphismes discontinus des algèbres de Banach commutatives séparables
Hoops and their implicational reducts (abstract)
Horizontal sums of basic algebras
The variety of basic algebras is closed under formation of horizontal sums. We characterize when a given basic algebra is a horizontal sum of chains, MV-algebras or Boolean algebras.
Horn clause programs and recursive functions defined by systems of equations
Hotz-isomorphism theorems in formal language theory
How Berger, Felzenbaum and Fraenkel revolutionized Covering Systems the same way that George Boole revolutionized Logic.