James S. Barnes

According to our database¹, James S. Barnes authored at least 3 papers between 2017 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Halin's infinite ray theorems: Complexity and reverse mathematics.

[BibT_eX]

[DOI]

J. Math. Log., 2025

2022

Theorems of Hyperarithmetic Analysis and Almost theorems of Hyperarithmetic Analysis.

[BibT_eX]

[DOI]

Bull. Symb. Log., 2022

2017

On the Decidability of the Σ<sub>2</sub> Theories of the Arithmetic and Hyperarithmetic Degrees as Uppersemilattices.

[BibT_eX]

[DOI]

J. Symb. Log., 2017