a generic set that does not bound a minimal pairmsoskova/talks/gmpslides.pdf · a generic set that...
TRANSCRIPT
![Page 1: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/1.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
A Generic Set That Does Not Bound AMinimal Pair
Mariya I. Soskova
University of LeedsUniversity of LeedsUniversity of LeedsDepartment of Pure Mathematics
17.05.2006
![Page 2: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/2.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
Background
I Cooper, Sorbi, Lee and Yang
1. Every ∆02 e-degree bounds a minimal pair.
2. There exists a Σ02 e-degree that does not bound a
minimal pair.
I Copestake
1. Every 2-generic e-degree bounds a minimal pair
![Page 3: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/3.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
Main Result
TheoremThere exists a 1-generic enumeration degree a, that doesnot bound a minimal pair in the semi-lattice of theenumeration degrees.
![Page 4: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/4.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
Definitions
DefinitionA set A is 1-generic if for every c.e. set S the followingcondition holds:
∃τ ⊆ χA(τ ∈ S ∨ ∀µ ⊇ τ(µ /∈ S)).
DefinitionLet a and b be two enumeration degrees. We say that aand b form a minimal pair in the semi-lattice of theenumeration degrees if:
1. a > 0 and b > 0.2. For every enumeration degree c
(c ≤ a ∧ c ≤ b → c = 0).
![Page 5: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/5.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The Requirements
I GW : ∃τ ⊆ χA(τ ∈ W ∨ ∀µ ⊇ τ(µ /∈ W ))
I RΘ0Θ1 : Θ0(A) = X − c.e. ∨Θ1(A) = Y − c.e.∨∨∃Φ0,Φ1((Φ0(X ) = Φ1(Y ) = D)∧∀W−c.e.(W 6= D))
⇓
SW : (X − c.e ∨ Y − c.e. ∨ (Φ0(X ) = Φ1(Y ) = D∧∧∃z(W (z) 6= D(z))))
![Page 6: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/6.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The Requirements
I GW : ∃τ ⊆ χA(τ ∈ W ∨ ∀µ ⊇ τ(µ /∈ W ))
I RΘ0Θ1 : Θ0(A) = X − c.e. ∨Θ1(A) = Y − c.e.∨∨∃Φ0,Φ1((Φ0(X ) = Φ1(Y ) = D)∧∀W−c.e.(W 6= D))
⇓
SW : (X − c.e ∨ Y − c.e. ∨ (Φ0(X ) = Φ1(Y ) = D∧∧∃z(W (z) 6= D(z))))
![Page 7: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/7.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The Requirements
I GW : ∃τ ⊆ χA(τ ∈ W ∨ ∀µ ⊇ τ(µ /∈ W ))
I RΘ0Θ1 : Θ0(A) = X − c.e. ∨Θ1(A) = Y − c.e.∨∨∃Φ0,Φ1((Φ0(X ) = Φ1(Y ) = D)∧∀W−c.e.(W 6= D))
⇓
SW : (X − c.e ∨ Y − c.e. ∨ (Φ0(X ) = Φ1(Y ) = D∧∧∃z(W (z) 6= D(z))))
![Page 8: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/8.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The Requirements
I GW : ∃τ ⊆ χA(τ ∈ W ∨ ∀µ ⊇ τ(µ /∈ W ))
I RΘ0Θ1 : Θ0(A) = X − c.e. ∨Θ1(A) = Y − c.e.∨∨∃Φ0,Φ1((Φ0(X ) = Φ1(Y ) = D)∧∀W−c.e.(W 6= D))
⇓
SW : (X − c.e ∨ Y − c.e. ∨ (Φ0(X ) = Φ1(Y ) = D∧∧∃z(W (z) 6= D(z))))
![Page 9: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/9.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The Construction
I Priority tree T with nodes labelled by the strategiesI At stage s : δs, As
I A0s = N
I Approximations to c.e. sets.
![Page 10: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/10.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The GW - Strategy
γ
γ 1̂γ 0̂
I Choose a finite string λγ
I Ask ∃µ ⊃ λγ(µ ∈ W ) ?I Yes : outcome 0I No : outcome 1
![Page 11: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/11.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The GW - Strategy
γ
γ 1̂γ 0̂
I Choose a finite string λγ
I Ask ∃µ ⊃ λγ(µ ∈ W ) ?I Yes : outcome 0I No : outcome 1
![Page 12: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/12.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The GW - Strategy
γ
γ 1̂γ 0̂
I Choose a finite string λγ
I Ask ∃µ ⊃ λγ(µ ∈ W ) ?I Yes : outcome 0I No : outcome 1
![Page 13: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/13.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The R Strategy
α
α̂ 0
I Check all SW substrategies.I At this level operators Φ0 and Φ1 are builtI Outcome 0
![Page 14: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/14.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = ∞X
β
β d̂0β 〈̂l , k〉β 〈̂∞Y , k〉. . .βˆ∞X
I Build a set U, aiming to prove that X is c.e.I Scan U for errors.
I No errors found - outcome ∞XI An error found at point k - build agitator set Ek for k ,
such that k ∈ X ⇔ Ek ⊂ A,Outcome 〈∞Y , k〉
![Page 15: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/15.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = ∞X
β
β d̂0β 〈̂l , k〉β 〈̂∞Y , k〉. . .βˆ∞X
I Build a set U, aiming to prove that X is c.e.I Scan U for errors.
I No errors found - outcome ∞XI An error found at point k - build agitator set Ek for k ,
such that k ∈ X ⇔ Ek ⊂ A,Outcome 〈∞Y , k〉
![Page 16: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/16.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = ∞X
β
β d̂0β 〈̂l , k〉β 〈̂∞Y , k〉. . .βˆ∞X
I Build a set U, aiming to prove that X is c.e.I Scan U for errors.
I No errors found - outcome ∞XI An error found at point k - build agitator set Ek for k ,
such that k ∈ X ⇔ Ek ⊂ A,Outcome 〈∞Y , k〉
![Page 17: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/17.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = 〈∞Y , k〉
β
β d̂0. . .β 〈̂l , k〉β 〈̂∞Y , k〉βˆ∞X
I Check if the agitator for k is still valid. If not theoutcome is ∞X
I Build a set Vk , aiming to prove that Y is c.e.I Scan Vk for errors.
I No errors - outcome 〈∞Y , k〉I An error found at element l , then build an agitator for
l , enumerate a witness z in D: 〈z, {k}〉 ↘ Φ0 and〈z, {l}〉 ↘ Φ1, outcome d0
![Page 18: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/18.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = 〈∞Y , k〉
β
β d̂0. . .β 〈̂l , k〉β 〈̂∞Y , k〉βˆ∞X
I Check if the agitator for k is still valid. If not theoutcome is ∞X
I Build a set Vk , aiming to prove that Y is c.e.I Scan Vk for errors.
I No errors - outcome 〈∞Y , k〉I An error found at element l , then build an agitator for
l , enumerate a witness z in D: 〈z, {k}〉 ↘ Φ0 and〈z, {l}〉 ↘ Φ1, outcome d0
![Page 19: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/19.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = 〈∞Y , k〉
β
β d̂0. . .β 〈̂l , k〉β 〈̂∞Y , k〉βˆ∞X
I Check if the agitator for k is still valid. If not theoutcome is ∞X
I Build a set Vk , aiming to prove that Y is c.e.I Scan Vk for errors.
I No errors - outcome 〈∞Y , k〉I An error found at element l , then build an agitator for
l , enumerate a witness z in D: 〈z, {k}〉 ↘ Φ0 and〈z, {l}〉 ↘ Φ1, outcome d0
![Page 20: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/20.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = 〈∞Y , k〉
β
β d̂0. . .β 〈̂l , k〉β 〈̂∞Y , k〉βˆ∞X
I Check if the agitator for k is still valid. If not theoutcome is ∞X
I Build a set Vk , aiming to prove that Y is c.e.I Scan Vk for errors.
I No errors - outcome 〈∞Y , k〉I An error found at element l , then build an agitator for
l , enumerate a witness z in D: 〈z, {k}〉 ↘ Φ0 and〈z, {l}〉 ↘ Φ1, outcome d0
![Page 21: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/21.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = 〈∞Y , k〉
β
β d̂0. . .β 〈̂l , k〉β 〈̂∞Y , k〉βˆ∞X
I Check if the agitator for k is still valid. If not theoutcome is ∞X
I Build a set Vk , aiming to prove that Y is c.e.I Scan Vk for errors.
I No errors - outcome 〈∞Y , k〉I An error found at element l , then build an agitator for
l , enumerate a witness z in D: 〈z, {k}〉 ↘ Φ0 and〈z, {l}〉 ↘ Φ1, outcome d0
![Page 22: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/22.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = d0
β
β d̂0β 〈̂l , k〉. . .β 〈̂∞Y , k〉βˆ∞X
I Check if z ∈ W .I If not outcome d0
I If yes, then extract z from D, outcome 〈l , k〉
![Page 23: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/23.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = d0
β
β d̂0β 〈̂l , k〉. . .β 〈̂∞Y , k〉βˆ∞X
I Check if z ∈ W .I If not outcome d0
I If yes, then extract z from D, outcome 〈l , k〉
![Page 24: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/24.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = d0
β
β d̂0β 〈̂l , k〉. . .β 〈̂∞Y , k〉βˆ∞X
I Check if z ∈ W .I If not outcome d0
I If yes, then extract z from D, outcome 〈l , k〉
![Page 25: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/25.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = 〈l , k〉
β
β d̂0β 〈̂l , k〉. . .β 〈̂∞Y , k〉βˆ∞X
I Check if the agitator for k is valid - if not outcome ∞X
I Check if the agitator for l is valid - if not outcome〈∞Y , k〉
I Otherwise - outcome 〈l , k〉
![Page 26: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/26.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = 〈l , k〉
β
β d̂0β 〈̂l , k〉. . .β 〈̂∞Y , k〉βˆ∞X
I Check if the agitator for k is valid - if not outcome ∞X
I Check if the agitator for l is valid - if not outcome〈∞Y , k〉
I Otherwise - outcome 〈l , k〉
![Page 27: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/27.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = 〈l , k〉
β
β d̂0β 〈̂l , k〉. . .β 〈̂∞Y , k〉βˆ∞X
I Check if the agitator for k is valid - if not outcome ∞X
I Check if the agitator for l is valid - if not outcome〈∞Y , k〉
I Otherwise - outcome 〈l , k〉
![Page 28: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/28.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The SW Strategy – o− = 〈l , k〉
β
β d̂0β 〈̂l , k〉. . .β 〈̂∞Y , k〉βˆ∞X
I Check if the agitator for k is valid - if not outcome ∞X
I Check if the agitator for l is valid - if not outcome〈∞Y , k〉
I Otherwise - outcome 〈l , k〉
![Page 29: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/29.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
Local priority
β
. . .〈∞Y , k〉. . .βˆ∞X
γ
I An element k enters U, relying on axiom 〈k , E〉 ∈ Θ0
I γ extracts k from X by extracting some e ∈ E from AI β builds agitator Ek ⊃ E for k and moves to the right.
![Page 30: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/30.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
Local priority
β
. . .〈∞Y , k〉. . .βˆ∞X
γ
γ′
I A new axiom 〈k , E ′〉 makes Ek invalid and fixes theerror in U
I A new γ′ extracts k from X again by extracting somee ∈ E ′ from A
![Page 31: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/31.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
Local priority
β
. . .〈∞Y , k〉. . .βˆ∞X
γ
I A computable bijection σ : Γ → N assigns localpriority to GW - strategies below a SW strategy.
I If an element k enters U and σ(γ) > k , then γ isinitialized.
![Page 32: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/32.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The Structure Watchedα1
α2
β1
. . .β1̂ 〈∞Y , k〉. . .β1̂ ∞X
β2
I β2 chooses agitators E2 and F2, modifying (Φ0,Φ1)α2
I β1 chooses E1 s.t E2 ⊂ E1 and F2 * E1.I Agitators are chosen more carefully to include all
agitators of nodes with lower priority in thecorresponding subtree
![Page 33: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/33.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
The Structure Watched
α1
α2
β1
. . .β1̂ 〈∞Y , k〉. . .β1̂ ∞X
β2
I Now (E2 ∪ F2) ⊂ E1, but E2 becomes invalid.I A list Watchedα is kept by all RW strategies. It fixes
mistakes in the operators Φ0 and Φ1
![Page 34: A Generic Set That Does Not Bound A Minimal Pairmsoskova/talks/GMPSlides.pdf · A Generic Set That Does Not Bound A Minimal Pair Mariya I. Soskova Background I Cooper, Sorbi, Lee](https://reader034.vdocuments.us/reader034/viewer/2022042215/5ebc70384f6dc43b0372085e/html5/thumbnails/34.jpg)
A Generic Set ThatDoes Not Bound A
Minimal Pair
Mariya I. Soskova
Bibliography
R. I. Soare, Recursively enumerable sets anddegrees, Springer-Verlag, Heidelberg, 1987.
S. B. Cooper, Computability Theory, Chapman &Hall/CRC Mathematics, Boca Raton, FL, 2004.
P. G. Odifreddi, Classical Recursion Theory, VolumeII, North-Holland/Elsevier, Amsterdam, Lausanne,New York, Oxford, Shannon, Singapore, Tokyo 1999.
K. Copestake, 1-genericity in the enumerationdegrees, J. Symbolic Logic 53 (1988), 878–887.
S. B. Cooper, Andrea Sorbi, Angsheng Li and YueYang, Bounding and nonbounding minimal pairs inthe enumeration degrees, Journal of Symbolic Logic70 (2005), 741-766.