Fixpoints Of Decreasing Mappings Of Ordered Sets
Fixpoints of decreasing mappings of ordered sets.
Flag f-vectors and the cd-index.
Flag-symmetric and locally rank-symmetric partially ordered sets.
Flat semilattices
Flattening antichains with respect to the volume.
Fleury's spanning dimension and chain conditions on non-essential elements in modular lattices
Based on a lattice-theoretic approach, we give a complete characterization of modules with Fleury's spanning dimension. An example of a non-Artinian, non-hollow module satisfying this finiteness condition is constructed. Furthermore we introduce and characterize the dual notion of Fleury's spanning dimension.
Flexible niveloids
Flocks in universal and Boolean algebras
We propose the notion of flocks, which formerly were introduced only in based algebras, for any universal algebra. This generalization keeps the main properties we know from vector spaces, e.g. a closure system that extends the subalgebra one. It comes from the idempotent elementary functions, we call "interpolators", that in case of vector spaces merely are linear functions with normalized coefficients. The main example, we consider outside vector spaces, concerns Boolean algebras,...
Folding theory applied to BL-algebras
The notion of n-fold grisly deductive systems is introduced. Some conditions for a deductive system to be an n-fold grisly deductive system are provided. Extension property for n-fold grisly deductive system is established.
Foldness of Commutative Ideals in BCK-algebras
This paper deals with some properties of n-fold commutative ideals and n-fold weak commutative ideals in BCK-algebras. Afterwards, we construct some algorithms for studying foldness theory of commutative ideals in BCK-algebras.
Fonctions booléennes très incomplètes. Représentation par des sommes de monômes
Forbidden forests in Priestley spaces
Forcing for hL and hd
The present paper addresses the problem of attainment of the supremums in various equivalent definitions of the hereditary density hd and hereditary Lindelöf degree hL of Boolean algebras. We partially answer two problems of J. Donald Monk [13, Problems 50, 54], showing consistency of different attainment behaviour and proving that (for the variants considered) this is the best result we can expect.
Formalisation ordinale de modèles pluriels du développement psychologique
Formality of the complements of subspace arrangements with geometric lattices.
Formalization of Generalized Almost Distributive Lattices
Almost Distributive Lattices (ADL) are structures defined by Swamy and Rao [14] as a common abstraction of some generalizations of the Boolean algebra. In our paper, we deal with a certain further generalization of ADLs, namely the Generalized Almost Distributive Lattices (GADL). Our main aim was to give the formal counterpart of this structure and we succeeded formalizing all items from the Section 3 of Rao et al.’s paper [13]. Essentially among GADLs we can find structures which are neither V-commutative...
Forme algébrique des théories de Stone-Gel'fand
Formulas of the general solutions of Boolean equations.
Formule d'inversion et fonction de Möbius sur les ensembles ordonnés