# A solution of Dedekind's problem on the number of isotone Boolean functions.

@article{Kisielewicz1988ASO, title={A solution of Dedekind's problem on the number of isotone Boolean functions.}, author={Andrzej P. Kisielewicz}, journal={Journal f{\"u}r die reine und angewandte Mathematik (Crelles Journal)}, year={1988}, volume={1988}, pages={139 - 144} }

Almost one hundred years ago R. Dedekind raised the problem to determine the number D (n) of elements in the free bounded distributive lattice on n generators which is the same s the number of isotone maps from the Boolean lattice T into 2. D (n) is also the number of antichains in 2 and also the number of simplicial complexes on n elements (cf. [4], [9], [20], [21]). The problem was considered by many authors, but so far only partial results were obtained: asymptotic estimations [12], [13…

## 22 Citations

Dedekind numbers and related sequences

- Mathematics, Computer Science
- 2011

A strategy to compute R(7) by considering profile vectors of monotone Boolean functions, which will be able to extend some sequences on the Online Encyclopedia of Integer Sequences, notably R(n) up to n = 7, using only modest computational resources.

Relations between Powers of Dedekind Numbers and Exponential Sums Related to Them

- MathematicsJ. Integer Seq.
- 2018

Relations between the numbers d(Am + Q) and their powers, where Am is the antichain with m elements and Am + Q the direct sum of Am and Q, are investigated and the inequality d2(Q)3 < d(A1+Q) 2 is proved.

Counting inequivalent monotone Boolean functions

- Mathematics, Computer ScienceDiscret. Appl. Math.
- 2014

FREE P-BILATTICES

- Mathematics
- 1991

In a number of papers [Gil], [Gi2], [Gi3], M.L. Ginsberg introduced algebras called bilattices having two lattice structures and one additional basic unary operation acting on both lattices in very…

Random covers of 1-complexes and the Euler characteristic

- Mathematics
- 2012

This article presents an algebraic topology perspective on the problem of finding a complete coverage probability of a domain by a random cover. In particular we obtain a general formula for the…

On the number of bipolar Boolean functions

- MathematicsJ. Log. Comput.
- 2017

This work investigates the number b(n) of n-ary bipolar Boolean functions and presents an (almost) closed-form expression that uses the number a( n) of antichain covers of an n-element set, suggesting that determining a (n) is a non-trivial problem of itself.

Doubling Constructions in Lattice Theory

- MathematicsCanadian Journal of Mathematics
- 1992

Abstract This paper examines the simultaneous doubling of multiple intervals of a lattice in great detail. In the case of a finite set of W-failure intervals, it is shown that there in a unique…

On Dedekind’s problem for complete simple games

- Mathematics, Computer ScienceInt. J. Game Theory
- 2013

An integer linear programming formulation for the unique characterization of complete simple games, i.e. a special subclass of monotone Boolean functions, and a tailored decomposition of the integer programming formulation into a finite list of suitably chosen sub-cases.

The algebra of integro‐differential operators on a polynomial algebra

- MathematicsJ. Lond. Math. Soc.
- 2011

It is proved that the algebras $\mI_n $ and $\mA_n$ are ideal equivalent, and an analogue of Hilbert's Syzygy Theorem is proved for the algebra.

## References

SHOWING 1-10 OF 22 REFERENCES

On Dedekind’s problem: the number of isotone Boolean functions. II

- Mathematics, Computer Science
- 1975

It is shown that 0(n), the size of the free distributive lattice on n generators (which is the number of isotone Boolean functions on subsets of an n element set), satisfies [n1 i (n) < 2(1 +0(1og…

On Dedekind’s problem: The number of monotone Boolean functions

- Mathematics
- 1969

with an = ce~nli, /3„ = e'(Iog w)/«1'2.The number \p(n) is equal to the number of ideals, or of antichains,or of monotone increasing functions into 0 and 1 definable on thelattice of subsets of an…

Enumeration in Classes of Ordered Structures

- Mathematics
- 1982

Let K be a class of finite structures. There are two obvious enumeration questions to ask of K: what is the set of cardinalities of members of K (the spectrum problem) and, for each n ≥ 1 what is the…

Über Zerlegungen von Zahlen Durch Ihre Grössten Gemeinsamen Theiler

- Philosophy
- 1897

Liegt ein endliches System von naturlichen Zahlen vor, und bildet man alle grossten gemeinsamen Theiler von zwei oder mehreren dieser Zahlen, so werden die letzteren hierdurch auf mannigfaltige Weise…

Dedekind's Problem

- Order 2
- 1986

On the number of monotone Boolean functions

- Probl. Kibern. 38
- 1981

A kind of matrix representation of a free distributive lattice and evaluation of its order

- Wuhan Daxue Xuebo
- 1980

Solution of Dedekind's problem on the number of monotone Boolean functions

- Soviet Math. Dokl. 18
- 1977

hler, Cardinalities of finite distributive lattices

- Mitt. Math. Sem. Gie en
- 1976