Theory of relations

• 作者: Fraïssé, Roland.
• 出版: Amsterdam ;New York : Elsevier 2000.
• 版本: Rev. ed.
• 稽核項: 1 online resource (451 pages).
• 叢書名: Studies in logic and the foundations of mathematics,v. 145
• 標題: Théorie des ensembles. , MATHEMATICS Set Theory. , Verzamelingen (wiskunde) , Relaties (logica) , Set Theory. , Set theory. , Electronic books. , MATHEMATICS
• ISBN: 0080519113 , 9780080519111
• ISBN: 0049-237X ;
• 試查全文@TNUA:
  
• 附註: Includes bibliographical references (pages 417-432) and index. Review of axiomatic set theory, relation -- Coherence lemma, cofinality, tree, ideal -- Ramsey theorem, partition, incidence matrix -- Good, bad sequence, well partial ordering -- Embeddability between relations and chains -- Scattered chain, right or left indecomposable chain, scattered poset, topology on initial intervals -- Barrier, forerunning, well quasi-ordering of scattered chains, better partial ordering -- Faithful extension of a relation, bivalent tableau, faithful augmentation, Szpilrajn chain -- Local isomorphism, free operator, chainable and monomorphic relations, relational or strong interval -- Age, rich relation, alpha-morphism, finitist and almost chainable relation, back-and-forth notions -- Relative isomorphism, saturated relation, existence criterion, solid or fragil family, interval-closure -- Homogeneous relation, orbit, connection with permutation groups -- Bound of a relation, well relation, compatibility and chainability theorems, indicative group.
• 摘要: Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among chains = total orders = linear orders. One of its first important problems was partially solved by Dushnik, Miller 1940 who, starting from the chain of reals, obtained an infinite strictly decreasing sequence of chains (of continuum power) with respect to embeddability. In 1948 I conjectured that every strictly decreasing sequence of denumerable chains is finite. This was affirmatively proved by Laver (1968), in the more general case of denumerable unions of scattered chains (ie: which do not embed the chain Q of rationals), by using the barrier and the better orderin gof Nash-Williams (1965 to 68). Another important problem is the extension to posets of classical properties of chains. For instance one easily sees that a chain A is scattered if the chain of inclusion of its initial intervals is itself scattered (6.1.4). Let us again define a scattered poset A by the non-embedding of Q in A. We say that A is finitely free if every antichain restriction of A is finite (antichain = set of mutually incomparable elements of the base). In 1969 Bonnet and Pouzet proved that a poset A is finitely free and scattered iff the ordering of inclusion of initial intervals of A is scattered. In 1981 Pouzet proved the equivalence with the a priori stronger condition that A is topologically scattered: (see 6.7.4; a more general result is due to Mislove 1984); ie: every non-empty set of initial intervals contains an isolated elements for the simple convergence topology. In chapter 9 we begin the general theory of relations, with the notions of local isomorphism, free interpretability and free operator (9.1 to 9.3), which is the relationist version of a free logical formula. This is generalized by the back-and-forth notions in 10.10: the (k, p)-operator is the relationist version of the elementary formula (first order formula with equa
• 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=91251
• 系統號: 005321159
• 資料類型: 電子書
• 讀者標籤: 需登入
• 引用網址: 複製連結
• 目前引用數