Slicing the Truth

On the Computable and Reverse Mathematics of Combinatorial Principles

Nonfiction, Science & Nature, Mathematics, Discrete Mathematics, Logic
Cover of the book Slicing the Truth by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang, World Scientific Publishing Company
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang ISBN: 9789814612630
Publisher: World Scientific Publishing Company Publication: July 18, 2014
Imprint: WSPC Language: English
Author: Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
ISBN: 9789814612630
Publisher: World Scientific Publishing Company
Publication: July 18, 2014
Imprint: WSPC
Language: English

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a basic knowledge of computability theory and proof theory to appreciate the exciting advances currently happening in the area, and perhaps make contributions of their own. It adopts a case-study approach, using the study of versions of Ramsey's Theorem (for colorings of tuples of natural numbers) and related principles as illustrations of various aspects of computability theoretic and reverse mathematical analysis. This book contains many exercises and open questions.

Contents:

  • Setting Off: An Introduction
  • Gathering Our Tools: Basic Concepts and Notation
  • Finding Our Path: König's Lemma and Computability
  • Gauging Our Strength: Reverse Mathematics
  • In Defense of Disarray
  • Achieving Consensus: Ramsey's Theorem
  • Preserving Our Power: Conservativity
  • Drawing a Map: Five Diagrams
  • Exploring Our Surroundings: The World Below RT22
  • Charging Ahead: Further Topics
  • Lagniappe: A Proof of Liu's Theorem

Readership: Graduates and researchers in mathematical logic.
Key Features:

  • This book assumes minimal background in mathematical logic and takes the reader all the way to current research in a highly active area
  • It is the first detailed introduction to this particular approach to this area of research
  • The combination of fully worked out arguments and exercises make this book well suited to self-study by graduate students and other researchers unfamiliar with the area
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a basic knowledge of computability theory and proof theory to appreciate the exciting advances currently happening in the area, and perhaps make contributions of their own. It adopts a case-study approach, using the study of versions of Ramsey's Theorem (for colorings of tuples of natural numbers) and related principles as illustrations of various aspects of computability theoretic and reverse mathematical analysis. This book contains many exercises and open questions.

Contents:

Readership: Graduates and researchers in mathematical logic.
Key Features:

More books from World Scientific Publishing Company

Cover of the book Prospects of Differential Geometry and Its Related Fields by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Cover of the book Handbook of Porphyrin Science (Volumes 36 40) by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Cover of the book Encyclopedia of Thermal Packaging by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Cover of the book The World Scientific Handbook of Futures Markets by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Cover of the book Rethinking the Triangle by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Cover of the book Computational and Algorithmic Linear Algebra and n-Dimensional Geometry by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Cover of the book If You Had to Draw a Universe for Me... by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Cover of the book Protein Folding Disorders of the Central Nervous System by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Cover of the book Particle and Astroparticle Physics, Gravitation and Cosmology: Predictions, Observations and New Projects by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Cover of the book Liveability in Singapore by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Cover of the book Beyond the Moon by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Cover of the book Matrix Functions and Matrix Equations by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Cover of the book Newton and the Great World System by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Cover of the book 2015 Annual Competitiveness Analysis and Development Strategies for Indonesian Provinces by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
Cover of the book Quantum Structural Studies by Denis R Hirschfeldt, Chitat Chong, Qi Feng;Theodore A Slaman;W Hugh Woodin;Yue Yang
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy