Corpus ID: 2249285

Finite Topological Spaces

@inproceedings{Imura1992FiniteTS,
  title={Finite Topological Spaces},
  author={H. Imura and M. Eguchi},
  year={1992}
}
The articles [15], [8], [2], [5], [16], [6], [14], [19], [10], [12], [17], [9], [11], [3], [4], [13], [7], [18], and [1] provide the notation and terminology for this paper. The scheme Set of Elements deals with a non-empty set A, a unary functor F yielding an element of A, and a unary predicate P, and states that: {F(x) : P[x]}, where x ranges over elements of A, is a subset of A for all values of the parameters. One can prove the following propositions: (1) Let A be a set. Let f be a finite… Expand

References

SHOWING 1-10 OF 38 REFERENCES
The number of finite topologies
Families of Sets
Enumeration of finite topologies
The Ordinal Numbers
Semilattice Operations on Finite Subsets
On the computer enumeration of finite topologies
...
1
2
3
4
...