WorldCat Identities

Slaman, T. A. (Theodore Allen) 1954-

Overview
Works: 14 works in 41 publications in 1 language and 774 library holdings
Genres: Conference proceedings 
Roles: Editor
Classifications: QA9.A1, 511.35
Publication Timeline
Key
Publications about  T. A Slaman Publications about T. A Slaman
Publications by  T. A Slaman Publications by T. A Slaman
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 )
13 editions published in 1989 in English and held by 403 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 ( Book )
10 editions published in 1996 in English and held by 311 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 ( )
3 editions published in 2014 in English and held by 18 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 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
Infinity and truth by Workshop on Infinity and Truth ( )
3 editions published between 2013 and 2014 in English and held by 16 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 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 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
Conference on Computability Theory : 27 January-3 February 1996, Oberwolfach, Germany by Conference on Computability Theory ( Book )
3 editions published in 1998 in English and held by 6 WorldCat member libraries worldwide
Every set has a least jump enumeration by Richard J Coles ( Book )
1 edition published in 1998 in English and held by 5 WorldCat member libraries worldwide
On co-simple isols and their intersection types by R. G Downey ( Book )
1 edition published in 1990 in English and held by 4 WorldCat member libraries worldwide
Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987 by J Shinoda ( )
1 edition published in 1989 in English and held by 3 WorldCat member libraries worldwide
Mathematical Logic and Applications by J Shinoda ( )
1 edition published in 1989 in English and held by 2 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
Conference on Computability Theory, Oberwolfach, Germany, 27 January-3 February 1996 by Conference on Computability Theory ( )
1 edition published in 1998 in English and held by 1 WorldCat member library worldwide
Aspects of E-recursion by T. A Slaman ( Book )
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
Recursive in a generic real by J Shinoda ( Book )
1 edition published in 1997 in English and held by 1 WorldCat member library worldwide
Computability, emunerability, unsolvability : directions in recursion theory ( Book )
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.81 (from 0.47 for Every set ... to 1.00 for Aspects of ...)
Alternative Names
Slaman, T. A.
Slaman, Theodore A.
Slaman, Theodore A. (Theodore Allen), 1954-
Slaman, Theodore Allen, 1954-
Languages
English (41)
Covers