|
Showing 1 - 7 of
7 matches in All Departments
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.
|
Infinity And Truth (Hardcover)
Chitat Chong, Qi Feng, Theodore a. Slaman, W. Hugh Woodin
|
R1,682
R1,446
Discovery Miles 14 460
Save R236 (14%)
|
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.
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.
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.
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.
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; Edited by Chitat Chong, Qi Feng, Theodore a. Slaman, W. Hugh Woodin, …
|
R2,090
Discovery Miles 20 900
|
Ships in 10 - 15 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.
|
|