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

scholarly journals Higher order reversemathematics

2017 ◽  
pp. 281-295 ◽  
Author(s):  
Ulrich Kohlenbach
Keyword(s):  
Higher Order

Metamathematics of comparability

2017 ◽  
pp. 201-218
Author(s):  
Harvey M. Friedman

Reversemathematics and ordinal suprema

2017 ◽  
pp. 235-243 ◽  
Author(s):  
Jeffry L. Hirst

A note on compactness of countable sets

2017 ◽  
pp. 219-221
Author(s):  
Jeffry L. Hirst

Manipulating the reals in RCA0

2017 ◽  
pp. 379-393
Author(s):  
Kazuyuki Tanaka ◽  
Takeshi Yamazaki

Did Cantor need set theory?

2017 ◽  
pp. 244-270
Author(s):  
A. James Humphreys
Keyword(s):  
Set Theory

Undecidable theories and reversemathematics

2017 ◽  
pp. 349-351
Author(s):  
James H. Schmerl
Load More ...
Sign in / Sign up

Export Citation Format

Share Document