Simpson, Stephen G. (Stephen George) 1945
Overview
Works:  26 works in 129 publications in 3 languages and 1,234 library holdings 

Genres:  Conference papers and proceedings Academic theses 
Roles:  Author, Editor, Thesis advisor, edc, Contributor, Other 
Classifications:  QD101, 545 
Publication Timeline
.
Most widely held works by
Stephen G Simpson
Subsystems of second order arithmetic by
Stephen G Simpson(
Book
)
33 editions published between 1998 and 2010 in English and held by 342 WorldCat member libraries worldwide
This volume examines appropriate axioms for mathematics to prove particular theorems in core areas
33 editions published between 1998 and 2010 in English and held by 342 WorldCat member libraries worldwide
This volume examines appropriate axioms for mathematics to prove particular theorems in core areas
Logic and combinatorics : proceedings of the AMSIMSSIAM Joint Summer Research Conference held August 410, 1985 by AMSIMSSIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite
Combinatorics(
Book
)
20 editions published between 1985 and 1987 in English and held by 275 WorldCat member libraries worldwide
20 editions published between 1985 and 1987 in English and held by 275 WorldCat member libraries worldwide
Kurt Gödel : essays for his centennial by
Solomon Feferman(
Book
)
14 editions published in 2010 in English and held by 167 WorldCat member libraries worldwide
Papers examining aspects of Godel's work gathered from a symposium celebrating Gd̲el's centennial and papers from a 2004 ASL symposium.Résumé de l'éditeur
14 editions published in 2010 in English and held by 167 WorldCat member libraries worldwide
Papers examining aspects of Godel's work gathered from a symposium celebrating Gd̲el's centennial and papers from a 2004 ASL symposium.Résumé de l'éditeur
Reverse mathematics 2001(
Book
)
8 editions published in 2005 in English and held by 101 WorldCat member libraries worldwide
8 editions published in 2005 in English and held by 101 WorldCat member libraries worldwide
Cálculos de química analítica by
Leicester Forsyth Hamilton(
Book
)
25 editions published between 1960 and 1995 in Spanish and held by 57 WorldCat member libraries worldwide
25 editions published between 1960 and 1995 in Spanish and held by 57 WorldCat member libraries worldwide
Recursive aspects of descriptive set theory by
Richard Mansfield(
Book
)
5 editions published in 1985 in English and held by 9 WorldCat member libraries worldwide
5 editions published in 1985 in English and held by 9 WorldCat member libraries worldwide
Ding liang fen xi by Han mi er dun(
Book
)
1 edition published in 1984 in Chinese and held by 7 WorldCat member libraries worldwide
1 edition published in 1984 in Chinese and held by 7 WorldCat member libraries worldwide
Calculations of quantitative chemical analysis by
Leicester Forsyth Hamilton(
Book
)
4 editions published in 1939 in English and held by 6 WorldCat member libraries worldwide
4 editions published in 1939 in English and held by 6 WorldCat member libraries worldwide
Medvedev degrees of 2dimensional subshifts of finite type by
Stephen G Simpson(
)
2 editions published in 2007 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 2007 in English and held by 2 WorldCat member libraries worldwide
Admissible ordinals and recursion theory by
Stephen G Simpson(
)
1 edition published in 1971 in English and held by 1 WorldCat member library worldwide
1 edition published in 1971 in English and held by 1 WorldCat member library worldwide
Computable aspects of measure theory by Noopur Pathak(
)
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
A model of intuitionism based on turing degrees by Sankha Subhra Basu(
)
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
Quantitative chemical analysis by
Leicester Forsyth Hamilton(
Book
)
1 edition published in 1964 in English and held by 1 WorldCat member library worldwide
Volumetric analysis. Gravimetric analysis. Instrumental methods. Miscellaneous determinations
1 edition published in 1964 in English and held by 1 WorldCat member library worldwide
Volumetric analysis. Gravimetric analysis. Instrumental methods. Miscellaneous determinations
Talbot's Quantitavie chemical analysis by
Leicester Forsyth Hamilton(
Book
)
1 edition published in 1949 in English and held by 1 WorldCat member library worldwide
1 edition published in 1949 in English and held by 1 WorldCat member library worldwide
Admissible ordinals and recursion theory /by Stephen G. Simpson by
Stephen G Simpson(
Book
)
1 edition published in 1971 in English and held by 1 WorldCat member library worldwide
1 edition published in 1971 in English and held by 1 WorldCat member library worldwide
Ding liang fen xi by
Leicester Forsyth Hamilton(
Book
)
1 edition published in 1980 in Chinese and held by 1 WorldCat member library worldwide
1 edition published in 1980 in Chinese and held by 1 WorldCat member library worldwide
Talbot's Quantitative chemical analysis by
Henry Paul Talbot(
Book
)
1 edition published in 1946 in English and held by 1 WorldCat member library worldwide
1 edition published in 1946 in English and held by 1 WorldCat member library worldwide
Avances en la tecnologia unicracking by
Stephen G Simpson(
)
1 edition published in 2008 in Spanish and held by 1 WorldCat member library worldwide
1 edition published in 2008 in Spanish and held by 1 WorldCat member library worldwide
Effective Theory of Levy and Feller Processes by Adrian Maler(
)
1 edition published in 2015 in English and held by 1 WorldCat member library worldwide
We develop a computational framework for the study of continuoustime stochastic processes with cadlag sample paths, then effectivize important results from the classical theory of Levy and Feller processes.Probability theory (including stochastic processes) is based on measure. In Chapter 2, we review computable measure theory, and, as an application to probability, effectivize the Skorokhod representation theorem.Cadlag (rightcontinuous, leftlimited) functions, representing possible sample paths of a stochastic process, form a metric space called Skorokhod space. In Chapter 3, we show that Skorokhod space is a computable metric space, and establish fundamental computable properties of this space.In Chapter 4, we develop an effective theory of Levy processes. Levy processes are known to have cadlag modifications, and we show that such a modification is computable from a suitable representation of the process. We also show that the LevyIto decomposition is computable.In Chapter 5, we extend the effective theory from Levy processes to the larger class of Feller processes. Feller processes, too, are known to admit cadlag modifications, and we show that such a modification is computable from a suitable representation of that type of process, which is quite different from how we represent a Levy process.In Chapter 6, we outline two areas for future research: an effective theory of cadlag martingales, and algorithmic randomness for Levy processes
1 edition published in 2015 in English and held by 1 WorldCat member library worldwide
We develop a computational framework for the study of continuoustime stochastic processes with cadlag sample paths, then effectivize important results from the classical theory of Levy and Feller processes.Probability theory (including stochastic processes) is based on measure. In Chapter 2, we review computable measure theory, and, as an application to probability, effectivize the Skorokhod representation theorem.Cadlag (rightcontinuous, leftlimited) functions, representing possible sample paths of a stochastic process, form a metric space called Skorokhod space. In Chapter 3, we show that Skorokhod space is a computable metric space, and establish fundamental computable properties of this space.In Chapter 4, we develop an effective theory of Levy processes. Levy processes are known to have cadlag modifications, and we show that such a modification is computable from a suitable representation of the process. We also show that the LevyIto decomposition is computable.In Chapter 5, we extend the effective theory from Levy processes to the larger class of Feller processes. Feller processes, too, are known to admit cadlag modifications, and we show that such a modification is computable from a suitable representation of that type of process, which is quite different from how we represent a Levy process.In Chapter 6, we outline two areas for future research: an effective theory of cadlag martingales, and algorithmic randomness for Levy processes
Logic and Combinatorics by
Stephen G Simpson(
)
1 edition published in 1987 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 1987 in English and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 American Mathematical Society Other
 Society for Industrial and Applied Mathematics Other
 Institute of Mathematical Statistics Other
 Parsons, Charles 1933 Editor
 Feferman, Solomon Author Editor
 Association for Symbolic Logic
 Gödel, Kurt
 Hamilton, Leicester F. Author
 Cambridge University Press
 Ellis, David W.
Useful Links
Alternative Names
Simpson, S.
Simpson, Stephen 1945
Simpson, Stephen G.
Simpson, Stephen George 1945
Simpson, Stephen Gershom
Stephen G. Simpson American mathematician
Stephen G. Simpson Amerikaans wiskundige
Stephen G. Simpson USamerikanischer mathematischer Logiker
スティーブン・G・シンプソン
Languages
Covers