PA RELATIVE TO AN ENUMERATION ORACLE

DOI10.1017/JSL.2022.55OpenAlexW4285726452MaRDI QIDQ6180605FDOQ6180605

Authors: Jun Le Goh, Iskander Kalimullin, Joseph S. Miller, Mariya I. Soskova 

Publication date: 22 December 2023

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

Full work available at URL: https://doi.org/10.1017/jsl.2022.55

Recommendations

• On relative enumerability of Turing degrees
• scientific article; zbMATH DE number 4008384
• A structural dichotomy in the enumeration degrees
• Bounded enumeration reducibility and its degree structure
• Embedding countable partial orderings in the enumeration degrees and the \(\omega \)-enumeration degrees

zbMATH Keywords

enumeration degreesPA relative toseparating classes

Mathematics Subject Classification ID

Algorithmic randomness and dimension (03D32) Other degrees and reducibilities in computability and recursion theory (03D30)

Cites Work

• Enumeration 1-genericity in the local enumeration degrees
• An application of 1-genericity in the \(\Pi^0_2\) enumeration degrees
• Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ₂ sets are dense
• ∏ 0 1 Classes and Degrees of Theories
• RELATIVIZING CHAITIN'S HALTING PROBABILITY
• Title not available (Why is that?)
• Algorithmic Randomness of Closed Sets
• Reducibility and Completeness for Sets of Integers
• DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES
• A structural dichotomy in the enumeration degrees
• Arithmetical Reducibilities I
• On principles of computability on admissible sets
• Measures and their random reals
• Degrees of unsolvability of continuous functions
• Creative sets
• Recursion theory week. Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
• Martin-Löf randomness and Galton-Watson processes
• Characterizing the continuous degrees
• Enumeration reducibility in closure spaces with applications to logic and algebra
• Density of the cototal enumeration degrees
• Cototal enumeration degrees and their applications to effective mathematics
• On cototality and the skip operator in the enumeration degrees
• Defining totality in the enumeration degrees
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• ASCA, SASCA and DPA with Enumeration: Which One Beats the Other and When?

This page was built for publication: PA RELATIVE TO AN ENUMERATION ORACLE

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