Skip to main content
Tried to clarify by adding non-trivially.
Source Link

Is there an r.e. set $A$ such that 0’ is cuppable relative to $A$? What about cappable?

This is equivalent to asking if there is an r.e. $A$ such that 0’ is one half of a pair of $A$ r.e. non-$A$ computable sets whose meet is $A$ and similarly if there is an $A$ such that 0’ can be (non-trivially) joined to $A'$ via an $A$ r.e. set.

I’m pretty sure I’ve seen results on this and I’d hazard a guess they might even be in Odifreddi but it’s really hard to search for since 0’ turns up lots of false positives as do cupping and capping plus you have to decide to search for capping, cappable or minimal pair. If this has been asked here before I apologize but same problem.

Is there an r.e. set $A$ such that 0’ is cuppable relative to $A$? What about cappable?

This is equivalent to asking if there is an r.e. $A$ such that 0’ is one half of a pair of $A$ r.e. non-$A$ computable sets whose meet is $A$ and similarly if there is an $A$ such that 0’ can be joined to $A'$ via an $A$ r.e. set.

I’m pretty sure I’ve seen results on this and I’d hazard a guess they might even be in Odifreddi but it’s really hard to search for since 0’ turns up lots of false positives as do cupping and capping plus you have to decide to search for capping, cappable or minimal pair. If this has been asked here before I apologize but same problem.

Is there an r.e. set $A$ such that 0’ is cuppable relative to $A$? What about cappable?

This is equivalent to asking if there is an r.e. $A$ such that 0’ is one half of a pair of $A$ r.e. non-$A$ computable sets whose meet is $A$ and similarly if there is an $A$ such that 0’ can be (non-trivially) joined to $A'$ via an $A$ r.e. set.

I’m pretty sure I’ve seen results on this and I’d hazard a guess they might even be in Odifreddi but it’s really hard to search for since 0’ turns up lots of false positives as do cupping and capping plus you have to decide to search for capping, cappable or minimal pair. If this has been asked here before I apologize but same problem.

Fixing grammar of last edit.
Source Link

Is there an r.e. set $A$ such that 0’ is cuppable relative to $A$? What about cappable?

This is equivalent to asking if there is an r.e. $A$ such that 0’ is one half of a pair of $A$ r.e. non-$A$ computable sets whose meet is $A$ and similarly if there is an $A$ such that 0’ can be joined to $A'$ via an $A$ r.e. set.

I’m pretty sure I’ve seen results on this and I’d hazard a guess they might even be in Odifreddi but it’s really hard to search for since 0’ turns up lots of false positives as do cupping and capping plus you have to decide to search for capping, cappable or minimal pair. If this has been asked here before I apologize but same problem.

Is there an r.e. set $A$ such that 0’ is cuppable relative to $A$? What about cappable?

I’m pretty sure I’ve seen results on this and I’d hazard a guess they might even be in Odifreddi but it’s really hard to search for since 0’ turns up lots of false positives as do cupping and capping plus you have to decide to search for capping, cappable or minimal pair. If this has been asked here before I apologize but same problem.

Is there an r.e. set $A$ such that 0’ is cuppable relative to $A$? What about cappable?

This is equivalent to asking if there is an r.e. $A$ such that 0’ is one half of a pair of $A$ r.e. non-$A$ computable sets whose meet is $A$ and similarly if there is an $A$ such that 0’ can be joined to $A'$ via an $A$ r.e. set.

I’m pretty sure I’ve seen results on this and I’d hazard a guess they might even be in Odifreddi but it’s really hard to search for since 0’ turns up lots of false positives as do cupping and capping plus you have to decide to search for capping, cappable or minimal pair. If this has been asked here before I apologize but same problem.

formatting
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 285

Cupping and Cappingcapping for 0’ relative to an r.e.a recursively enumerable set

Cupping and Cappingcapping for 0’ relative to an r.e.a recursively enumerable set

Is there an r.e. set $A$ such that 0’ is cuppable relative to $A$? What about cappable?

I’m pretty sure I’ve seen results on this and I’d hazard a guess they might even be in Odifreddi but it’s really hard to search for since 0’ turns up lots of false positives as do cupping and capping plus you have to decide to search for capping, cappable or minimal pair. If this has been asked here before I apologize but same problem.

Cupping and Capping for 0’ relative to an r.e. set

Is there an r.e. set $A$ such that 0’ is cuppable relative to $A$? What about cappable?

I’m pretty sure I’ve seen results on this and I’d hazard a guess they might even be in Odifreddi but it’s really hard to search for since 0’ turns up lots of false positives as do cupping and capping plus you have to decide to search for capping, cappable or minimal pair. If this has been asked here before I apologize but same problem.

Cupping and capping for 0’ relative to a recursively enumerable set

Is there an r.e. set $A$ such that 0’ is cuppable relative to $A$? What about cappable?

I’m pretty sure I’ve seen results on this and I’d hazard a guess they might even be in Odifreddi but it’s really hard to search for since 0’ turns up lots of false positives as do cupping and capping plus you have to decide to search for capping, cappable or minimal pair. If this has been asked here before I apologize but same problem.

Source Link
Loading