Document Type
|
:
|
BL
|
Record Number
|
:
|
850305
|
Main Entry
|
:
|
Katz, Matthew,1986-
|
Title & Author
|
:
|
An introduction to Ramsey theory : : fast functions, infinity, and metamathematics /\ Matthew Katz, Jan Reimann.
|
Publication Statement
|
:
|
Providence, Rhode Island :: American Mathematical Society,, [2018]
|
Series Statement
|
:
|
Student mathematical library ;; 87
|
Page. NO
|
:
|
xiv, 207 pages :: illustrations ;; 22 cm.
|
ISBN
|
:
|
1470442906
|
|
:
|
: 9781470442903
|
Notes
|
:
|
"Mathematics Advanced Study Semesters."
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
Contents
|
:
|
Graph Ramsey theory -- Infinite Ramsey theory -- Growth of Ramsey functions -- Metamathematics.
|
Abstract
|
:
|
"This book takes the reader on a journey through Ramsey theory, from graph theory and combinatorics to set theory to logic and metamathematics. Written in an informal style with few requisites, it develops two basic principles of Ramsey theory: many combinatorial properties persist under partitions, but to witness this persistence, one has to start with very large objects. The interplay between those two principles not only produces beautiful theorems but also touches the very foundations of mathematics. In the course of this book, the reader will learn about both aspects. Among the topics explored are Ramsey's theorem for graphs and hypergraphs, van der Waerden's theorem on arithmetic progressions, infinite ordinals and cardinals, fast growing functions, logic and provability, Gödel incompleteness, and the Paris-Harrington theorem. Quoting from the book, There seems to be a murky abyss lurking at the bottom of mathematics. While in many ways we cannot hope to reach solid ground, mathematicians have built impressive ladders that let us explore the depths of this abyss and marvel at the limits and at the power of mathematical reasoning at the same time. Ramsey theory is one of those ladders."--
|
Subject
|
:
|
Combinatorial analysis.
|
Subject
|
:
|
Ramsey theory.
|
Subject
|
:
|
Combinatorial analysis.
|
Subject
|
:
|
Combinatorics -- Extremal combinatorics -- Ramsey theory.
|
Subject
|
:
|
Mathematical logic and foundations -- Computability and recursion theory -- Recursive functions and relations, subrecursive hierarchies.
|
Subject
|
:
|
Mathematical logic and foundations -- General logic -- Classical first-order logic.
|
Subject
|
:
|
Mathematical logic and foundations -- General logic -- Decidability of theories and sets of sentences.
|
Subject
|
:
|
Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.).
|
Subject
|
:
|
Mathematical logic and foundations -- Nonstandard models -- Nonstandard models of arithmetic.
|
Subject
|
:
|
Mathematical logic and foundations -- Set theory -- Ordinal and cardinal numbers.
|
Subject
|
:
|
Ramsey theory.
|
Dewey Classification
|
:
|
511/.66
|
LC Classification
|
:
|
QA165.K38 2018
|
NLM classification
|
:
|
03H15.msc
|
|
:
|
05D1003-0103E1003B1003B2503D2003H15msc
|
Added Entry
|
:
|
Reimann, Jan,1971-
|
Added Entry
|
:
|
Pennsylvania State University., Mathematics Advanced Study Semesters.
|