Slaman, T. A. (Theodore Allen) 1954Overview
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 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
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 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
Conference on Computability Theory : 27 January3 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 cosimple 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 January3 February 1996
by Conference on Computability Theory
(
)
1 edition published in 1998 in English 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
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 more
fewer
Audience Level
Related Identities
Associated Subjects
Axiomatic set theory Axioms Baire classes Computable functions Computational complexity Forcing (Model theory) Intersection theory Isols Logic, Symbolic and mathematical Mathematics MathematicsPhilosophy 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. (Theodore Allen), 1954
Slaman, Theodore Allen, 1954
Languages
Covers
