ROBOTICS & AUTOMATION
Empowering Progress
Up to 25% off Essentials Robotics and Automation titles
Theory of Relations
- 1st Edition - August 18, 2011
- Author: R. Fraïssé
- Language: English
- Paperback ISBN:9 7 8 - 0 - 4 4 4 - 5 5 8 1 7 - 6
- eBook ISBN:9 7 8 - 0 - 0 8 - 0 9 6 0 4 1 - 8
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… Read more
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteThe 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.).
Review of Axiomatic Set Theory. Relation, Partial Ordering, Chain, Isomorphism, Cofinality. Ramsey Theorems, Partitions, Combinatorial Principles. Good and Bad Sequence, Finitely Free Partial Ordering, Well Partial Ordering, Ideal, Tree, Dimension. Embeddability Between Partial or Total Orderings. Scattered Chain, Neighborhood, Indecomposability. Use of Scattered Chains for the Study of Finitely Free and Well Partial Orderings. Barrier, Barrier Sequence, Forerunning, Embeddability Theorem for Scattered Chains, Better Partial Ordering. Isomorphism and Embeddability Between Relations, Local Isomorphism, Free Interpretability, Constant Relation, Chainable and Monomorphic Relation. Age, Rich Relation, Inexhaustible Relation, Saturated Relation, Existence Criterion for a Rich Relation of a Given Age. Homogeneous Relation, Relational System, Connection with Permutation Groups, Orbit. Bound of a Relation; Well Relation, Reassembling Theorem. Bibliography. Index.
- No. of pages: 410
- Language: English
- Edition: 1
- Published: August 18, 2011
- Imprint: North Holland
- Paperback ISBN: 9780444558176
- eBook ISBN: 9780080960418
RF
R. Fraïssé
Affiliations and expertise
c/o Le Cheverny-1, Parc de la Cadenelle, 122 rue Commandant Rolland, 13008 Marseille, FranceRead Theory of Relations on ScienceDirect