Subsystems of Second Order Arithmetic
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Cambridge University Press

9780511581007
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

WEAK KÖNIG'S LEMMA

2010 ◽  
pp. 127-166
Author(s):  
Stephen G. Simpson
Keyword(s):  
Weak König’S Lemma ◽  
König’S Lemma

BIBLIOGRAPHY

2010 ◽  
pp. 409-424
Author(s):  
Stephen G. Simpson

ADDITIONAL RESULTS

2010 ◽  
pp. 391-408
Author(s):  
Stephen G. Simpson

NON-ω-MODELS

2010 ◽  
pp. 359-388
Author(s):  
Stephen G. Simpson

PREFACE

2010 ◽  
pp. xiii-xiv
Author(s):  
Stephen G. Simpson

ω-MODELS

2010 ◽  
pp. 309-358
Author(s):  
Stephen G. Simpson

INTRODUCTION

2010 ◽  
pp. 1-60
Author(s):  
Stephen G. Simpson

ARITHMETICAL COMPREHENSION

2010 ◽  
pp. 105-126
Author(s):  
Stephen G. Simpson

β-MODELS

2010 ◽  
pp. 243-308
Author(s):  
Stephen G. Simpson
Load More ...
Sign in / Sign up

Export Citation Format

Share Document