WorldCat Identities

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
Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 by AMS-IMS-SIAM 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

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
Reverse mathematics 2001( Book )

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

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

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

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

Medvedev degrees of 2-dimensional subshifts of finite type by Stephen G Simpson( )

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

Computable aspects of measure theory by Noopur Pathak( )

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

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
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

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

Ding liang fen xi by Leicester Forsyth Hamilton( Book )

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

Avances en la tecnologia unicracking by Stephen G Simpson( )

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 continuous-time 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 (right-continuous, left-limited) 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 Levy-Ito 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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.64 (from 0.44 for Quantitati ... to 0.99 for Avances en ...)

Subsystems of second order arithmetic
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 US-amerikanischer mathematischer Logiker

スティーブン・G・シンプソン

Languages
English (95)

Spanish (26)

Chinese (2)

Covers
Kurt Gödel : essays for his centennialReverse mathematics 2001