Matches in SemOpenAlex for { <https://semopenalex.org/work/W2210108071> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2210108071 abstract "Now-a-days we should probably say that the infinite case of Dilworth’s decomposition theorem [6] follows from the finite case by “a standard compactness argument.” Depending upon one’s upbringing, what we would have in mind is an application of Godel’s compactness theorem in logic (cf. Church [5]), Tychonoff’s theorem on compact topological spaces [25], or (if one is a combinatorialist) Rado’s selection lemma [19]. For example, we might argue as follows. Let P = 〈P, ≤〉 be a (partially) ordered set with no antichain of size k + 1. Then, by the finite case of Dilworth’s theorem, any finite sub collection of the set of sentences $$S = { p_{x1} ,V_{px2} V cdots Vp_{xk} :x in P} cup { neg left( {p_{xi} Lambda p_{yi} } right):1 leqslant i leqslant k,x bot y}$$has a model (where x ⊥ y means x and y incomparable in P, and p xi is a propositional variable with the intended interpretation “x belongs to the i th chain”). Hence S has a model and P is the union of the k chains C i = {x ∈ P: p xi is true (1 ≤ i ≤ k)." @default.
- W2210108071 created "2016-06-24" @default.
- W2210108071 creator A5061566251 @default.
- W2210108071 date "1990-01-01" @default.
- W2210108071 modified "2023-09-23" @default.
- W2210108071 title "Dilworth’s Decomposition Theorem in the Infinite Case" @default.
- W2210108071 cites W1982773591 @default.
- W2210108071 cites W1985708759 @default.
- W2210108071 cites W1990565513 @default.
- W2210108071 cites W1993801540 @default.
- W2210108071 cites W2015816871 @default.
- W2210108071 cites W2053677405 @default.
- W2210108071 cites W2080610875 @default.
- W2210108071 cites W2083471177 @default.
- W2210108071 cites W2083598405 @default.
- W2210108071 cites W2114935093 @default.
- W2210108071 cites W2116353246 @default.
- W2210108071 cites W2320909447 @default.
- W2210108071 cites W2322183000 @default.
- W2210108071 cites W2331307912 @default.
- W2210108071 cites W2334527086 @default.
- W2210108071 cites W4234476515 @default.
- W2210108071 cites W4254807835 @default.
- W2210108071 cites W4255035825 @default.
- W2210108071 cites W802599900 @default.
- W2210108071 doi "https://doi.org/10.1007/978-1-4899-3558-8_4" @default.
- W2210108071 hasPublicationYear "1990" @default.
- W2210108071 type Work @default.
- W2210108071 sameAs 2210108071 @default.
- W2210108071 citedByCount "0" @default.
- W2210108071 crossrefType "book-chapter" @default.
- W2210108071 hasAuthorship W2210108071A5061566251 @default.
- W2210108071 hasConcept C110729354 @default.
- W2210108071 hasConcept C114614502 @default.
- W2210108071 hasConcept C118615104 @default.
- W2210108071 hasConcept C136134351 @default.
- W2210108071 hasConcept C180645754 @default.
- W2210108071 hasConcept C18648836 @default.
- W2210108071 hasConcept C18903297 @default.
- W2210108071 hasConcept C202444582 @default.
- W2210108071 hasConcept C2777759810 @default.
- W2210108071 hasConcept C33923547 @default.
- W2210108071 hasConcept C46757340 @default.
- W2210108071 hasConcept C86803240 @default.
- W2210108071 hasConceptScore W2210108071C110729354 @default.
- W2210108071 hasConceptScore W2210108071C114614502 @default.
- W2210108071 hasConceptScore W2210108071C118615104 @default.
- W2210108071 hasConceptScore W2210108071C136134351 @default.
- W2210108071 hasConceptScore W2210108071C180645754 @default.
- W2210108071 hasConceptScore W2210108071C18648836 @default.
- W2210108071 hasConceptScore W2210108071C18903297 @default.
- W2210108071 hasConceptScore W2210108071C202444582 @default.
- W2210108071 hasConceptScore W2210108071C2777759810 @default.
- W2210108071 hasConceptScore W2210108071C33923547 @default.
- W2210108071 hasConceptScore W2210108071C46757340 @default.
- W2210108071 hasConceptScore W2210108071C86803240 @default.
- W2210108071 hasLocation W22101080711 @default.
- W2210108071 hasOpenAccess W2210108071 @default.
- W2210108071 hasPrimaryLocation W22101080711 @default.
- W2210108071 hasRelatedWork W1970871438 @default.
- W2210108071 hasRelatedWork W1972994420 @default.
- W2210108071 hasRelatedWork W1985700807 @default.
- W2210108071 hasRelatedWork W1996516812 @default.
- W2210108071 hasRelatedWork W2012233760 @default.
- W2210108071 hasRelatedWork W2018051556 @default.
- W2210108071 hasRelatedWork W2029783238 @default.
- W2210108071 hasRelatedWork W2030054554 @default.
- W2210108071 hasRelatedWork W2032987856 @default.
- W2210108071 hasRelatedWork W2035228084 @default.
- W2210108071 hasRelatedWork W2045842498 @default.
- W2210108071 hasRelatedWork W2066764732 @default.
- W2210108071 hasRelatedWork W2068329774 @default.
- W2210108071 hasRelatedWork W2102662667 @default.
- W2210108071 hasRelatedWork W2324008765 @default.
- W2210108071 hasRelatedWork W2901326050 @default.
- W2210108071 hasRelatedWork W2968197169 @default.
- W2210108071 hasRelatedWork W3120522976 @default.
- W2210108071 hasRelatedWork W3148236663 @default.
- W2210108071 hasRelatedWork W771606129 @default.
- W2210108071 isParatext "false" @default.
- W2210108071 isRetracted "false" @default.
- W2210108071 magId "2210108071" @default.
- W2210108071 workType "book-chapter" @default.