0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R500 - R1,000 (1)
  • R1,000 - R2,500 (6)
  • -
Status
Brand

Showing 1 - 7 of 7 matches in All Departments

Forcing, Iterated Ultrapowers, And Turing Degrees (Hardcover, 184th ed.): Chitat Chong, W. Hugh Woodin, Theodore a. Slaman, Yue... Forcing, Iterated Ultrapowers, And Turing Degrees (Hardcover, 184th ed.)
Chitat Chong, W. Hugh Woodin, Theodore a. Slaman, Yue Yang, Qi Feng
R2,259 Discovery Miles 22 590 Ships in 12 - 17 working days

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics covered set theory and recursion theory, with particular emphasis on forcing, inner model theory and Turing degrees, offering a wide overview of ideas and techniques introduced in contemporary research in the field of mathematical logic.

Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles (Hardcover): Denis R. Hirschfeldt Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles (Hardcover)
Denis R. Hirschfeldt; Edited by Chitat Chong, Qi Feng, Yue Yang, Theodore a. Slaman, …
R1,194 Discovery Miles 11 940 Ships in 12 - 17 working days

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.

E-recursion, Forcing And C*-algebras (Hardcover): Chitat Chong, Qi Feng, Yue Yang, Theodore a. Slaman, W. Hugh Woodin E-recursion, Forcing And C*-algebras (Hardcover)
Chitat Chong, Qi Feng, Yue Yang, Theodore a. Slaman, W. Hugh Woodin
R2,113 Discovery Miles 21 130 Ships in 12 - 17 working days

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of mathematical logic to students, researchers and mathematicians.

E-recursion, Forcing And C*-algebras (Paperback): Chitat Chong, Qi Feng, Yue Yang, Theodore a. Slaman, W. Hugh Woodin E-recursion, Forcing And C*-algebras (Paperback)
Chitat Chong, Qi Feng, Yue Yang, Theodore a. Slaman, W. Hugh Woodin
R752 Discovery Miles 7 520 Ships in 12 - 17 working days

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of mathematical logic to students, researchers and mathematicians.

Notes On Forcing Axioms (Hardcover): Stevo Todorcevic Notes On Forcing Axioms (Hardcover)
Stevo Todorcevic; Edited by Chitat Chong, Qi Feng, Theodore a. Slaman, W. Hugh Woodin, …
R1,885 Discovery Miles 18 850 Ships in 12 - 17 working days

In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via the internal version of the set-theoretic forcing technique. It is the first systematic account of applications of the higher forcing axioms with the stress on the technique of building forcing notions rather than on the relationship between different forcing axioms or their consistency strengths.

Infinity And Truth (Hardcover): Chitat Chong, Qi Feng, Theodore a. Slaman, W. Hugh Woodin Infinity And Truth (Hardcover)
Chitat Chong, Qi Feng, Theodore a. Slaman, W. Hugh Woodin
R1,707 Discovery Miles 17 070 Ships in 12 - 17 working days

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters cover topics in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on two basic foundational questions: (i) What is the nature of mathematical truth and how does one resolve questions that are formally unsolvable within the Zermelo-Fraenkel Set Theory with the Axiom of Choice, and (ii) Do the discoveries in mathematics provide evidence favoring one philosophical view over others? These issues are discussed from the vantage point of recent progress in foundational studies.The final chapter features questions proposed by the participants of the Workshop that will drive foundational research. The wide range of topics covered here will be of interest to students, researchers and mathematicians concerned with issues in the foundations of mathematics.

Mathematical Logic and Applications - Proceedings of the Logic Meeting held in Kyoto, 1987 (Paperback, 1989 ed.): Juichi... Mathematical Logic and Applications - Proceedings of the Logic Meeting held in Kyoto, 1987 (Paperback, 1989 ed.)
Juichi Shinoda, Theodore a. Slaman, Tosiyuki Tugue
R1,887 Discovery Miles 18 870 Ships in 10 - 15 working days

These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Bettaway Mega C1000 Fizzi Effervescent…
R62 Discovery Miles 620
Upstairs Downstairs - Season 1 - (2010…
Eileen Atkins, Jean Marsh, … DVD  (2)
R85 R33 Discovery Miles 330
A Street Cat Named Bob
Luke Treadaway, Ruta Gedmintas, … DVD  (3)
R133 Discovery Miles 1 330
Vital BabyŽ NURTURE™ Protect & Care…
R123 R95 Discovery Miles 950
Playstation 4 Replacement Case
 (9)
R54 Discovery Miles 540
Alcolin Mounting Tape 40 Square Pads…
R59 R41 Discovery Miles 410
UHU Super Glue Gel (3g)
R34 Discovery Miles 340
Folding Table (Black) (1.8m)
R1,299 R696 Discovery Miles 6 960
Pineware Steam, Spray & Dry Iron (Blue…
R199 R187 Discovery Miles 1 870
Wild About You - A 60-Day Devotional For…
John Eldredge, Stasi Eldredge Hardcover R309 Discovery Miles 3 090

 

Partners