Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
30
views
0
references
Top references
cited by
41
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,159
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Subsystems of Second Order Arithmetic
other
Author(s):
Stephen G. Simpson
Publication date
(Print):
1999
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Orbit: A Journal of American Literature
Author and book information
Book
ISBN (Print):
978-3-642-64203-6
ISBN (Electronic):
978-3-642-59971-2
Publication date (Print):
1999
DOI:
10.1007/978-3-642-59971-2
SO-VID:
b8ca49cc-217c-4f51-9645-fbe506f59121
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Introduction
pp. 61
Recursive Comprehension
pp. 105
Arithmetical Comprehension
pp. 127
Weak König’s Lemma
pp. 167
Arithmetical Transfinite Recursion
pp. 217
п11 Comprehension
pp. 245
β-Models
pp. 313
ω-Models
pp. 363
Non-ω-Models
pp. 395
Additional Results
Similar content
4,159
Arithmetic-Analytic Representation of Peano Curve
Authors:
Guangjun Yang
,
Xiaoling Yang
,
Ping Wang
Protein Response Effects on Cofactor Excitation Energies from First Principles: Augmenting Subsystem Time-Dependent Density-Functional Theory with Many-Body Expansion Techniques
Authors:
Linus Scholz
,
Johannes Neugebauer
Subsystem politics and corporatism in the United States
Authors:
H. MILWARD
,
R. De Francisco
,
H. B Milward
…
See all similar
Cited by
41
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
Authors:
Evgeni Tsivtsivadze
,
Josef Urban
,
Daniel Kühlwein
…
The polarized Ramsey’s theorem
Authors:
Jeffry Hirst
,
Damir D. Dzhafarov
Almost everywhere domination and superhighness
Authors:
Stephen Simpson
See all cited by