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.
How complicated can be one-dimensional dynamical systems: descriptive estimates of sets
How large are left exact functors?
How many clouds cover the plane?
The plane can be covered by n + 2 clouds iff .
How many normal measures can carry?
We show that assuming the consistency of a supercompact cardinal with a measurable cardinal above it, it is possible for to be measurable and to carry exactly τ normal measures, where is any regular cardinal. This contrasts with the fact that assuming AD + DC, is measurable and carries exactly three normal measures. Our proof uses the methods of [6], along with a folklore technique and a new method due to James Cummings.