Reverse Mathematics 2001
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Cambridge University Press

9781316755846

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Notions of compactness in weak subsystems of second order arithmetic

Reverse Mathematics 2001 ◽

10.1017/9781316755846.004 ◽

2017 ◽

pp. 47-66 ◽

Author(s):

Douglas K. Brown

Keyword(s):

Second Order ◽

Second Order Arithmetic ◽

Order Arithmetic

Download Full-text

Metamathematics of comparability

Reverse Mathematics 2001 ◽

10.1017/9781316755846.012 ◽

2017 ◽

pp. 201-218

Author(s):

Harvey M. Friedman

Download Full-text

Reversemathematics and ordinal suprema

Reverse Mathematics 2001 ◽

10.1017/9781316755846.015 ◽

2017 ◽

pp. 235-243 ◽

Author(s):

Jeffry L. Hirst

Download Full-text

Higher order reversemathematics

Reverse Mathematics 2001 ◽

10.1017/9781316755846.018 ◽

2017 ◽

pp. 281-295 ◽

Author(s):

Ulrich Kohlenbach

Keyword(s):

Download Full-text

A note on compactness of countable sets

Reverse Mathematics 2001 ◽

10.1017/9781316755846.013 ◽

2017 ◽

pp. 219-221

Author(s):

Jeffry L. Hirst

Download Full-text

Models of arithmetic: quantifiers and complexity

Reverse Mathematics 2001 ◽

10.1017/9781316755846.017 ◽

2017 ◽

pp. 271-280

Author(s):

Julia F. Knight

Keyword(s):

Models Of Arithmetic

Download Full-text

Π01 sets and models of WKL0

Reverse Mathematics 2001 ◽

10.1017/9781316755846.023 ◽

2017 ◽

pp. 352-378 ◽

Author(s):

Stephen G. Simpson

Download Full-text

The Baire category theoremover a feasible base theory

Reverse Mathematics 2001 ◽

10.1017/9781316755846.009 ◽

2017 ◽

pp. 164-174

Author(s):

António M. Fernandes

Keyword(s):

Baire Category ◽

Download Full-text

Possible m-diagrams ofmodels of arithmetic

Reverse Mathematics 2001 ◽

10.1017/9781316755846.002 ◽

2017 ◽

pp. 1-18

Author(s):

Andrew Arana

Download Full-text

A survey of the reversemathematics of ordinal arithmetic

Reverse Mathematics 2001 ◽

10.1017/9781316755846.014 ◽

2017 ◽

pp. 222-234 ◽

Author(s):

Jeffry L. Hirst

Download Full-text