Generalized r-cohesiveness and the arithmetical hierarchy: a correction to “Generalized cohesiveness”

DOI10.2178/JSL/1190150150zbMATH Open1011.03033OpenAlexW2158374519MaRDI QIDQ4779652FDOQ4779652

Tamara J. Hummel, Carl G. jun. Jockusch

Publication date: 16 December 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.2671

Recommendations

• Coherence in Cartesian closed categories and the generality of proofs
• Rationality, regularity, and 𝐶₂-cofiniteness
• Structure and definability in general bounded arithmetic theories
• A revision-theoretic analysis of the arithmetical hierarchy
• On genericity and Ershov's hierarchy
• scientific article; zbMATH DE number 1810226
• Near coherence of filters. I: Cofinal equivalence of models of arithmetic
• On cofinal extensions of models of arithmetic
• The arithmetical hierarchy in the setting of \(\omega_1\)
• Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic

Mathematics Subject Classification ID

Other Turing degree structures (03D28) Hierarchies of computability and definability (03D55)

Cites Work

• Generalized cohesiveness

This page was built for publication: Generalized r-cohesiveness and the arithmetical hierarchy: a correction to “Generalized cohesiveness”

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4779652)