51CTO博客已为您找到关于OrderedSet的相关内容,包含IT学习相关文档代码介绍、相关教程视频课程,以及OrderedSet问答内容。更多OrderedSet相关解答可以来51CTO博客参与分享和学习,帮助广大IT技术人实现成长和进步。
We show that in an ordered set P of width 3 there always exists a fibre (i.e., a subset intersecting each maximal nontrivial antichain) of size at most 11... Z Lonc - 《Order-a Journal on the Theory of Ordered Sets & Its Applications》 被引量: 12发表: 1994年 Application of azo...
The Lattice of Completions of an Ordered Set For any ordered set P, the join dense completions of P form a complete lattice K(P) with least element O(P), the lattice of order ideals of P, and greatest... NA Pogel - 《Order-a Journal on the Theory of Ordered Sets & Its Applicatio...
Set up automagic deploy (#65) Oct 9, 2021 tasks.clj Don't write a (bad) test for reflection warnings; instead depend on c… Jun 21, 2011 tests.edn [Fix#43] Implement cljs version of ordered-map (#59) Sep 21, 2021 README
There are several standard constructions by which an arbitrary ordered set is extended to one in which every subset has an infimum and supremum – a complete ordered set. The main purpose of this paper is to establish necessary and sufficient conditions in order that these constructions yield orde...
ordering, sequencing, or arrangement of the elements of a set. A poset consists of a set together with a binary relation that indicates that, for certain pairs of elements in the set, one of the elements precedes the other. Such a relation is called a partial order to reflect the fact ...
Let be the set of order types of ℵ1-dense homogeneous subsets of R with the relation of embeddability. We prove that for every finite ... RS Shelah - 《Annals of Pure & Applied Logic》 被引量: 192发表: 1985年 Αll $_1$-dense sets of reals can be isomorphic TY - JOURAU - ...
摘要: This paper presents fuzzy versions of kernel operators and kernel systems on L-ordered sets and establishes a one-to-one correspondence between them.关键词: (bounded complete) L-ordered set L-kernel operator L-kernel system L-kernel L-system ...
摘要: As modular and distributive ordered sets generalize modular and distributive lattices, it is a natural question to ask whether there exist some 'forbidden configurations' for those ordered sets. We...关键词:06A10 06C99 06D99 Modular ordered set distributive ordered set strong subset LU ...
N´emeti, Fork algebras in usual and in non-well- founded set theories (an overview), Studia Logica Library (a special volume dedicated to the memory of Helena Rasiowa) (to appear). Extended abstract appeared in Bulletin of the... I Sain,I Németi - 《Bulletin of the》 被引量: 23...