skip to content
Theory of relations Preview this item
ClosePreview this item
Checking...

Theory of relations

Author: Roland Fraïssé
Publisher: Amsterdam ; New York : Elsevier, 2000.
Series: Studies in logic and the foundations of mathematics, v. 145.
Edition/Format:   eBook : Document : English : Rev. edView all editions and formats
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Fraïssé, Roland.
Theory of relations.
Amsterdam ; New York : Elsevier, 2000
(DLC) 2001268014
(OCoLC)45696959
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Roland Fraïssé
ISBN: 9780444505422 0444505423 0585474540 9780585474540 0080519113 9780080519111
OCLC Number: 162130962
Description: 1 online resource (451 pages).
Contents: 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.
Series Title: Studies in logic and the foundations of mathematics, v. 145.
Other Titles: Théorie des relations.
Responsibility: Roland Fraïssé ; with an appendix by Norbert Sauer.
More information:

Abstract:

Covers relation theory, from origins (Hausdorff 1914, Sierpinski 1928) to classical results (Frasnay 1965, Laver 1968, Pouzet 1981). This book exposes the results in axiomatic set theory. It allows  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/162130962> # Theory of relations
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/162130962#CreativeWork/unidentifiedOriginalWork> ; # Théorie des relations.
    library:oclcnum "162130962" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/5083678#Place/amsterdam> ; # Amsterdam
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    rdfs:comment "Warning: This malformed URI has been treated as a string - 'https://libproxy.library.unt.edu/login?url=http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=91251";'" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5083678#Topic/ensembles_theorie_des> ; # Ensembles, Théorie des
    schema:about <http://experiment.worldcat.org/entity/work/data/5083678#Topic/mathematics_set_theory> ; # MATHEMATICS--Set Theory
    schema:about <http://experiment.worldcat.org/entity/work/data/5083678#Topic/relaties_logica> ; # Relaties (logica)
    schema:about <http://experiment.worldcat.org/entity/work/data/5083678#Topic/verzamelingen_wiskunde> ; # Verzamelingen (wiskunde)
    schema:about <http://dewey.info/class/511.322/e22/> ;
    schema:about <http://id.worldcat.org/fast/1113587> ; # Set theory
    schema:bookEdition "Rev. ed." ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/46761172> ; # Roland Fraïssé
    schema:datePublished "2000" ;
    schema:description "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 equality). Chapter 12 connects relation theory with permutations: theorem of the increasing number of orbits (Livingstone, Wagner in 12.4). Also in this chapter homogeneity is introduced, then more deeply studied in the Appendix written by Norbert Saucer. Chapter 13 connects relation theory with finite permutation groups; the main notions and results are due to Frasnay. Also mention the extension to relations of adjacent elements, by Hodges, Lachlan, Shelah who by this mean give an exact calculus of the reduction threshold. The book covers almost all present knowledge in Relation Theory, from origins (Hausdorff 1914, Sierpinski 1928) to classical results (Frasnay 1965, Laver 1968, Pouzet 1981) until recent important publications (Abraham, Bonnet 1999). All results are exposed in axiomatic set theory. This allows us, for each statement, to specify if it is proved only from ZF axioms of choice, the continuum hypothesis or only the ultrafilter axiom or the axiom of dependent choice, for instance."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5083678> ; # Théorie des relations.
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0049-237X> ; # Studies in logic and the foundations of mathematics ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/45696959> ;
    schema:name "Theory of relations"@en ;
    schema:productID "162130962" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/162130962#PublicationEvent/amsterdam_new_york_elsevier_2000> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/5083678#Agent/elsevier> ; # Elsevier
    schema:url <http://www.sciencedirect.com/science/bookseries/0049237X/145> ;
    schema:url "https://libproxy.library.unt.edu/login?url=http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=91251";" ;
    schema:url <http://www.sciencedirect.com/science/publication?issn=0049237X&volume=145> ;
    schema:url <http://dproxy.library.dc-uoit.ca/login?url=https://www.sciencedirect.com/science/book/9780444505422> ;
    schema:url <http://dproxy.library.dc-uoit.ca/login?url=https://www.sciencedirect.com/science/bookseries/0049237X/145> ;
    schema:url <http://www.myilibrary.com?id=102955&ref=toc> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=91251> ;
    schema:url <http://www.engineeringvillage.com/controller/servlet/OpenURL?genre=book&isbn=9780444505422> ;
    schema:url <http://www.sciencedirect.com/science/book/9780444505422> ;
    schema:url <http://www.myilibrary.com?id=102955> ;
    schema:workExample <http://worldcat.org/isbn/9780444505422> ;
    schema:workExample <http://worldcat.org/isbn/9780080519111> ;
    schema:workExample <http://worldcat.org/isbn/9780585474540> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/162130962> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://dproxy.library.dc-uoit.ca/login?url=https://www.sciencedirect.com/science/book/9780444505422>
    rdfs:comment "eBook available for Durham College via Elsevier. Click link to access" ;
    .

<http://dproxy.library.dc-uoit.ca/login?url=https://www.sciencedirect.com/science/bookseries/0049237X/145>
    rdfs:comment "eSeries Volume available for Durham College via Elsevier. Click link to access" ;
    .

<http://experiment.worldcat.org/entity/work/data/5083678#Topic/ensembles_theorie_des> # Ensembles, Théorie des
    a schema:Intangible ;
    schema:name "Ensembles, Théorie des"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/5083678#Topic/mathematics_set_theory> # MATHEMATICS--Set Theory
    a schema:Intangible ;
    schema:name "MATHEMATICS--Set Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5083678#Topic/relaties_logica> # Relaties (logica)
    a schema:Intangible ;
    schema:name "Relaties (logica)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5083678#Topic/verzamelingen_wiskunde> # Verzamelingen (wiskunde)
    a schema:Intangible ;
    schema:name "Verzamelingen (wiskunde)"@en ;
    .

<http://id.worldcat.org/fast/1113587> # Set theory
    a schema:Intangible ;
    schema:name "Set theory"@en ;
    .

<http://viaf.org/viaf/46761172> # Roland Fraïssé
    a schema:Person ;
    schema:familyName "Fraïssé" ;
    schema:givenName "Roland" ;
    schema:name "Roland Fraïssé" ;
    .

<http://worldcat.org/entity/work/id/5083678> # Théorie des relations.
    schema:name "Théorie des relations." ;
    .

<http://worldcat.org/isbn/9780080519111>
    a schema:ProductModel ;
    schema:isbn "0080519113" ;
    schema:isbn "9780080519111" ;
    .

<http://worldcat.org/isbn/9780444505422>
    a schema:ProductModel ;
    schema:isbn "0444505423" ;
    schema:isbn "9780444505422" ;
    .

<http://worldcat.org/isbn/9780585474540>
    a schema:ProductModel ;
    schema:isbn "0585474540" ;
    schema:isbn "9780585474540" ;
    .

<http://worldcat.org/issn/0049-237X> # Studies in logic and the foundations of mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/162130962> ; # Theory of relations
    schema:issn "0049-237X" ;
    schema:name "Studies in logic and the foundations of mathematics ;" ;
    schema:name "Studies in logic and the foundations of mathematics," ;
    .

<http://www.engineeringvillage.com/controller/servlet/OpenURL?genre=book&isbn=9780444505422>
    rdfs:comment "An electronic book accessible through the World Wide Web; click for information" ;
    .

<http://www.worldcat.org/oclc/45696959>
    a schema:CreativeWork ;
    rdfs:label "Theory of relations." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/162130962> ; # Theory of relations
    .

<http://www.worldcat.org/title/-/oclc/162130962#CreativeWork/unidentifiedOriginalWork> # Théorie des relations.
    a schema:CreativeWork ;
    schema:inLanguage "fr" ;
    schema:name "Théorie des relations." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.