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

Subsystems of Second Order Arithmetic ◽

10.1017/cbo9780511581007.005 ◽

2010 ◽

pp. 127-166

Author(s):

Stephen G. Simpson

Keyword(s):

Weak König’S Lemma ◽

König’S Lemma

Download Full-text

BIBLIOGRAPHY

Subsystems of Second Order Arithmetic ◽

10.1017/cbo9780511581007.012 ◽

2010 ◽

pp. 409-424

Author(s):

Stephen G. Simpson

Download Full-text

NON-ω-MODELS

Subsystems of Second Order Arithmetic ◽

10.1017/cbo9780511581007.010 ◽

2010 ◽

pp. 359-388

Author(s):

Stephen G. Simpson

Download Full-text

ADDITIONAL RESULTS

Subsystems of Second Order Arithmetic ◽

10.1017/cbo9780511581007.011 ◽

2010 ◽

pp. 391-408

Author(s):

Stephen G. Simpson

Download Full-text

PREFACE

Subsystems of Second Order Arithmetic ◽

10.1017/cbo9780511581007.001 ◽

2010 ◽

pp. xiii-xiv

Author(s):

Stephen G. Simpson

Download Full-text

ω-MODELS

Subsystems of Second Order Arithmetic ◽

10.1017/cbo9780511581007.009 ◽

2010 ◽

pp. 309-358

Author(s):

Stephen G. Simpson

Download Full-text

INTRODUCTION

Subsystems of Second Order Arithmetic ◽

10.1017/cbo9780511581007.002 ◽

2010 ◽

pp. 1-60

Author(s):

Stephen G. Simpson

Download Full-text

ARITHMETICAL COMPREHENSION

Subsystems of Second Order Arithmetic ◽

10.1017/cbo9780511581007.004 ◽

2010 ◽

pp. 105-126

Author(s):

Stephen G. Simpson

Download Full-text

ARITHMETICAL TRANSFINITE RECURSION

Subsystems of Second Order Arithmetic ◽

10.1017/cbo9780511581007.006 ◽

2010 ◽

pp. 167-216

Author(s):

Stephen G. Simpson

Keyword(s):

Transfinite Recursion

Download Full-text

β-MODELS

Subsystems of Second Order Arithmetic ◽

10.1017/cbo9780511581007.008 ◽

2010 ◽

pp. 243-308

Author(s):

Stephen G. Simpson

Download Full-text