Slaman, T. A. (Theodore Allen) 1954
Overview
Works:  23 works in 80 publications in 1 language and 4,875 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Editor, Other, Author 
Classifications:  QA9.A1, 511.35 
Publication Timeline
.
Most widely held works by
T. A Slaman
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 by
J Shinoda(
Book
)
20 editions published between 1987 and 1989 in English and held by 305 WorldCat member libraries worldwide
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
20 editions published between 1987 and 1989 in English and held by 305 WorldCat member libraries worldwide
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
Computability, enumerability, unsolvability : directions in recursion theory by
S. B Cooper(
Book
)
15 editions published in 1996 in English and Undetermined and held by 294 WorldCat member libraries worldwide
The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource
15 editions published in 1996 in English and Undetermined and held by 294 WorldCat member libraries worldwide
The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource
Notes on forcing axioms by
Stevo Todorcevic(
Book
)
3 editions published in 2014 in English and held by 45 WorldCat member libraries worldwide
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 BanachSteinhaus boundedness principle. This volume brings the Baire category method to another level of sophistication via the internal version of the settheoretic 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
3 editions published in 2014 in English and held by 45 WorldCat member libraries worldwide
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 BanachSteinhaus boundedness principle. This volume brings the Baire category method to another level of sophistication via the internal version of the settheoretic 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 by Workshop on Infinity and Truth(
Book
)
4 editions published in 2014 in English and held by 42 WorldCat member libraries worldwide
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 are by leading experts 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 ZermeloFraenkel 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 progresses 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 benefit to students, researchers and mathematicians interested in the foundations of mathematics
4 editions published in 2014 in English and held by 42 WorldCat member libraries worldwide
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 are by leading experts 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 ZermeloFraenkel 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 progresses 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 benefit to students, researchers and mathematicians interested in the foundations of mathematics
Forcing, iterated ultrapowers, and Turing degrees by Asian Initiative for Infinity (AII) Graduate Logic Summer School(
Book
)
6 editions published between 2015 and 2016 in English and held by 31 WorldCat member libraries worldwide
The lecture notes in mathematical logic from the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools
6 editions published between 2015 and 2016 in English and held by 31 WorldCat member libraries worldwide
The lecture notes in mathematical logic from the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools
On the theory of the polynomial degrees of the recursive sets by
J Shinoda(
Book
)
5 editions published in 1987 in English and held by 7 WorldCat member libraries worldwide
5 editions published in 1987 in English and held by 7 WorldCat member libraries worldwide
Conference on Computability Theory : 27 January3 February 1996, Oberwolfach, Germany by
Conference on Computability Theory(
Book
)
6 editions published in 1998 in English and held by 7 WorldCat member libraries worldwide
6 editions published in 1998 in English and held by 7 WorldCat member libraries worldwide
Recursive in a generic real by
J Shinoda(
Book
)
3 editions published in 1997 in English and held by 6 WorldCat member libraries worldwide
3 editions published in 1997 in English and held by 6 WorldCat member libraries worldwide
The continuum hypothesis and the theory of the Kleene degrees by
J Shinoda(
Book
)
2 editions published in 1988 in English and held by 5 WorldCat member libraries worldwide
2 editions published in 1988 in English and held by 5 WorldCat member libraries worldwide
Erecursion, forcing and C*algebras(
Book
)
2 editions published in 2014 in English and held by 5 WorldCat member libraries worldwide
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 settheoretic 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
2 editions published in 2014 in English and held by 5 WorldCat member libraries worldwide
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 settheoretic 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
Every set has a least jump enumeration by Richard J Coles(
Book
)
1 edition published in 1998 in English and held by 4 WorldCat member libraries worldwide
1 edition published in 1998 in English and held by 4 WorldCat member libraries worldwide
On cosimple isols and their intersection types by
R. G Downey(
Book
)
1 edition published in 1990 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 1990 in English and held by 3 WorldCat member libraries worldwide
Working below a high recursively enumerable degree by
Richard A Shore(
Book
)
1 edition published in 1990 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1990 in English and held by 2 WorldCat member libraries worldwide
Infinity And Truth by
Qi Feng(
Book
)
1 edition published in 2014 in Undetermined and held by 1 WorldCat member library worldwide
1 edition published in 2014 in Undetermined and held by 1 WorldCat member library worldwide
Aspects of Erecursion by
T. A Slaman(
Book
)
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
Notes On Forcing Axioms by
W. H Woodin(
Book
)
1 edition published in 2014 in Undetermined and held by 1 WorldCat member library worldwide
1 edition published in 2014 in Undetermined and held by 1 WorldCat member library worldwide
Conference on Computability Theory, 27 January3 February 1996, Oberwolfach, Germany by Conference on Computability Theory(
)
1 edition published in 1998 in English and held by 1 WorldCat member library worldwide
1 edition published in 1998 in English and held by 1 WorldCat member library worldwide
Mathematical Logic and Applications by
T. A Slaman(
Book
)
1 edition published in 1989 in Undetermined and held by 1 WorldCat member library worldwide
1 edition published in 1989 in Undetermined and held by 1 WorldCat member library worldwide
Infinity and truth(
)
1 edition published in 2013 in English and held by 0 WorldCat member libraries worldwide
Section I. Invited lectures  section II. Special session
1 edition published in 2013 in English and held by 0 WorldCat member libraries worldwide
Section I. Invited lectures  section II. Special session
Computational prospects of infinity.(
)
2 editions published in 2008 in English and held by 0 WorldCat member libraries worldwide
This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects of Infinity, held from 18 June to 15 August 2005 at the Institute for Mathematical Sciences, National University of Singapore. It consists of articles by four of the leading experts in recursion theory (computability theory) and set theory. The survey paper of Rod Downey provides a comprehensive introduction to algorithmic randomness, one of the most active areas of current research in recursion theory. Theodore A Slaman's article is the first printed account of the groundbreaking work of SlamanWoodin and SlamanShore on the definability of the Turing jump. John Steel presents some results on the properties of derived models of mice, and on the existence of mice with large derived models. The study was motivated by some of the wellknown Holy Grails in inner model theory, including the Mouse Set Conjecture. In his presentation, W Hugh Woodin gives an outline of an expanded version (unpublished) on suitable extender sequences, a subject that was developed in the attempt to understand inner model theory for large cardinals beyond the level of superstrong cardinals. The volume serves as a useful guide for graduate students and researchers in recursion theory and set theory to some of the most important and significant developments in these subjects in recent years
2 editions published in 2008 in English and held by 0 WorldCat member libraries worldwide
This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects of Infinity, held from 18 June to 15 August 2005 at the Institute for Mathematical Sciences, National University of Singapore. It consists of articles by four of the leading experts in recursion theory (computability theory) and set theory. The survey paper of Rod Downey provides a comprehensive introduction to algorithmic randomness, one of the most active areas of current research in recursion theory. Theodore A Slaman's article is the first printed account of the groundbreaking work of SlamanWoodin and SlamanShore on the definability of the Turing jump. John Steel presents some results on the properties of derived models of mice, and on the existence of mice with large derived models. The study was motivated by some of the wellknown Holy Grails in inner model theory, including the Mouse Set Conjecture. In his presentation, W Hugh Woodin gives an outline of an expanded version (unpublished) on suitable extender sequences, a subject that was developed in the attempt to understand inner model theory for large cardinals beyond the level of superstrong cardinals. The volume serves as a useful guide for graduate students and researchers in recursion theory and set theory to some of the most important and significant developments in these subjects in recent years
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Chong, C.T (ChiTat) 1949 Editor
 Feng, Qi 1955 Author Editor
 Woodin, W. H. (W. Hugh) Author Editor
 Yang, Yue 1964 Author Editor
 Cooper, S. B. (S. Barry) Other Editor
 Wainer, S. S. Other Editor
 Todorcevic, Stevo Author
 Shinoda, J. (Juichi) 1948 Other Author Editor
 Tugué, T. (Tosiyuki) 1926 Other Editor
 SpringerLink (Service en ligne)
Useful Links
Associated Subjects
Axiomatic set theory Axioms Baire classes C*algebras Computable functions Forcing (Model theory) Infinite Intersection theory Isols Lattice theory Logic, Symbolic and mathematical Mathematics MathematicsPhilosophy Model theory Numbers, Real Recursion theory Recursive functions Recursively enumerable sets Set theory Unsolvability (Mathematical logic)
Alternative Names
Slaman, T. A.
Slaman, Theodore A.
Slaman, Theodore A. 1954
Slaman, Theodore A. (Theodore Allen), 1954
Slaman, Theodore Allen 1954
Theodore A. Slaman USamerikanischer Logiker
Theodore Allan Slaman
Theodore Slaman Amerikaans wiskundige
Theodore Slaman amerikansk matematikar
Theodore Slaman amerikansk matematiker
Theodore Slaman matemático estadounidense
Theodorus Slaman
西奧多·斯萊曼
Languages
Covers