Cargando…
Theory of relations /
The first part of this book concerns the present state of the theory of chains (= total or linear orderings), in connection with some refinements of Ramsey's theorem, due to Galvin and Nash-Williams. This leads to the fundamental Laver's embeddability theorem for scattered chains, using Na...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés Francés |
| Publicado: |
Amsterdam ; New York : New York, N.Y., U.S.A. :
North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
1986.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 118. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn316571879 | ||
| 003 | OCoLC | ||
| 005 | 20231117015257.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 090320s1986 ne ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OPELS |d OCLCQ |d E7B |d OCLCO |d OCLCE |d N$T |d OCLCF |d DEBBG |d OCLCQ |d UKDOC |d YDXCP |d OCLCQ |d DEBSZ |d LEAUB |d INARC |d ADU |d LUN |d S2H |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ | ||
| 019 | |a 625017268 |a 680180530 |a 859537516 |a 1086489462 |a 1151438286 |a 1160061764 | ||
| 020 | |a 9780444878656 | ||
| 020 | |a 0444878653 | ||
| 020 | |a 9780080960418 |q (electronic bk.) | ||
| 020 | |a 0080960413 |q (electronic bk.) | ||
| 035 | |a (OCoLC)316571879 |z (OCoLC)625017268 |z (OCoLC)680180530 |z (OCoLC)859537516 |z (OCoLC)1086489462 |z (OCoLC)1151438286 |z (OCoLC)1160061764 | ||
| 041 | 1 | |a eng |h fre | |
| 042 | |a dlr | ||
| 050 | 4 | |a QA248 |b .F77513 1986eb | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3/22 |2 22 |
| 084 | |a 31.10 |2 bcl | ||
| 100 | 1 | |a Fra�iss�e, Roland. | |
| 240 | 1 | 0 | |a Th�eorie des relations. |l English |
| 245 | 1 | 0 | |a Theory of relations / |c R. Fra�iss�e ; [translated by P. Clote]. |
| 260 | |a Amsterdam ; |a New York : |b North-Holland ; |a New York, N.Y., U.S.A. : |b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., |c 1986. | ||
| 300 | |a 1 online resource (xii, 397 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics ; |v v. 118 | |
| 520 | |a The first part of this book concerns the present state of the theory of chains (= total or linear orderings), in connection with some refinements of Ramsey's theorem, due to Galvin and Nash-Williams. This leads to the fundamental Laver's embeddability theorem for scattered chains, using Nash-Williams' better quasi-orderings, barriers and forerunning. The second part (chapters 9 to 12) extends to general relations the main notions and results from order-type theory. An important connection appears with permutation theory (Cameron, Pouzet, Livingstone and Wagner) and with logics (existence criterion of Pouzet-Vaught for saturated relations). The notion of bound of a relation (due to the author) leads to important calculus of thresholds by Frasnay, Hodges, Lachlan and Shelah. The redaction systematically goes back to set-theoretic axioms and precise definitions (such as Tarski's definition for finite sets), so that for each statement it is mentioned either that ZF axioms suffice, or what other axioms are needed (choice, continuum, dependent choice, ultrafilter axiom, etc.). | ||
| 500 | |a Translation of: Th�eorie des relations. | ||
| 504 | |a Includes bibliographical references (pages 373-386) and index. | ||
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Set theory. | |
| 650 | 6 | |a Th�eorie des ensembles. |0 (CaQQLa)201-0001167 | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Set theory. |2 fast |0 (OCoLC)fst01113587 | |
| 650 | 1 | 7 | |a Verzamelingen (wiskunde) |2 gtt |
| 650 | 1 | 7 | |a Relaties (logica) |2 gtt |
| 650 | 7 | |a Ensembles, Th�eorie axiomatique des. |2 ram | |
| 650 | 7 | |a Relations d'�equivalence (th�eorie des ensembles) |2 ram | |
| 650 | 7 | |a Ensembles, Th�eorie des. |2 ram | |
| 653 | |a Mathematics |a Relations | ||
| 776 | 0 | 8 | |i Print version: |a Fra�iss�e, Roland. |s Th�eorie des relations. English. |t Theory of relations. |d Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986 |z 0444878653 |z 9780444878656 |w (DLC) 85020701 |w (OCoLC)12614721 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 118. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444878656 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=118 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/118 |z Texto completo |