James S. Barnes

From MaRDI portal
(Redirected from James S. Barnes)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Halin's infinite ray theorems: complexity and reverse mathematics
Journal of Mathematical Logic
2025-04-28Paper
Halin's Infinite Ray Theorems: Complexity and Reverse Mathematics: Version E2023-08-27Paper
Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis
The Bulletin of Symbolic Logic
2022-04-04Paper
On the decidability of the \(\Sigma_2\) theories of the arithmetic and hyperarithmetic degrees as uppersemilattices
Journal of Symbolic Logic
2018-01-11Paper


Research outcomes over time


This page was built for person: James S. Barnes