E-recursion, forcing and C*-algebras /
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...
Saved in:
Corporate Authors: | |
---|---|
Group Author: | |
Published: |
World Scientific Pub. Co.,
|
Publisher Address: | Singapore ; Hackensack, N.J. : |
Publication Dates: | 2014. |
Literature type: | eBook |
Language: | English |
Series: |
Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore ;
vol. 27 |
Subjects: | |
Online Access: |
http://www.worldscientific.com/worldscibooks/10.1142/9154#t=toc |
Summary: |
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. |
Carrier Form: | 1 online resource (ix,217pages) : illustrations. |
Bibliography: | Includes bibliographical references. |
ISBN: | 9789814602648 |
CLC: | O141.3 |
Contents: | Selected applications of logic to classification problem for C*-algebras / Ilijas Farah -- Subcomplete forcing and L-forcing / Ronald Jensen -- E-recursion 2012 / Gerald E. Sacks. |