Skip to main content
Menu
Filter Results
Search all journals
Enter search terms…
Advanced search
Search
Access/Profile
CHN
/
ENG
Browse
Information for
Search results
Search results page
Save Search
Articles (2)
Journals (0)
Save Search
1-2 of 2
results for
hyperarithmetic theory
Filters
Filters
Edit Search
Sort by:
Relevance
Select all
Export selected citations
Select all
Export selected citations
Edit Search
Sort by:
Relevance
Select article: The Σ 2 theory of D h ( ⩽ h O ) as an uppersemilattice with least and greatest element is decidable
Available access
Research article
First published October 7, 2021
The Σ 2 theory of D h ( ⩽ h O ) as an uppersemilattice with least and greatest element is decidable
James Barnes
Computability
Preview Abstract
PDF
Select article: The Arithmetical Hierarchy in the Setting of $\omega_1$
Available access
Research article
First published September, 2013
The Arithmetical Hierarchy in the Setting of $\omega_1$
Jacob Carson,
Jesse Johnson,
Julia Knight
[...]
View All
Computability
Preview Abstract
PDF
1
10 / page