DegreesQuestionsAgainExamplesDMaximalSetsClassi2cationQuestionsYetAgainMainOpenQuestionAgainLookattheindexsetofallbAintheorbitofAwiththehopesof2ndingsomeanswersTheindexsetofsuchbAisin611QuestionCompl ID: 872707
Download Pdf The PPT/PDF document "Questions" is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
1 Questions Degrees QuestionsAgain Example
Questions Degrees QuestionsAgain Examples D-MaximalSets Classication QuestionsYetAgainMainOpenQuestion,AgainLookattheindexsetofallbAintheorbitofAwiththehopesofnd
2 ingsomeanswers.TheindexsetofsuchbAisin
ingsomeanswers.TheindexsetofsuchbAisin11. Question(Completeness)Whichc.e.setsareautomorphictocompletesets? Theorbitsintheprevioustheoremallcontaincompletesets. Quest
3 ionIstheabovequestionanarithmeticalquest
ionIstheabovequestionanarithmeticalquestion? Questions Degrees QuestionsAgain Examples D-MaximalSets Classication QuestionsYetAgainPromptSets DenitionAispromptly
4 simpleithereiscomputablefunctionpsu
simpleithereiscomputablefunctionpsuchthatforalle,ifWeisinnitethenthereisaxandswithx2We;ats\Aps . DenitionAc.e.setAispromptithere
5 iscomputablefunctionpsuchthatforalle,ifW
iscomputablefunctionpsuchthatforalle,ifWeisinnitethenthereisaxandswithx2We;atsandAsuxAps ux. Theorem(Cholak,Downey,Stob)Allpromptsimplesetsareautomo
6 rphictoacompleteset. Questions Degrees Q
rphictoacompleteset. Questions Degrees QuestionsAgain Examples D-MaximalSets Classication QuestionsYetAgainDegreesofn-TardysetsSplitsof2-tardysare3-tardybut TheoremT
7 hereisa3-tardythatisnotcomputableinany2-
hereisa3-tardythatisnotcomputableinany2-tardy. QuestionIsthereann1-tardysetthatisnotcomputedbyanyn-tardyset?Isthereaverytardysetswhichisnotcomputedbyanyn-tardy? Qu
8 estions Degrees QuestionsAgain Examples
estions Degrees QuestionsAgain Examples D-MaximalSets Classication QuestionsYetAgainMainOpenQuestions,Localized Question(D-MaximalCompleteness)DoestheorbitofeveryD-m
9 aximalsetcontainacompleteset? QuestionIs
aximalsetcontainacompleteset? QuestionIstheabovequestionanarithmeticalquestion? QuestionWhyD-maximal? Questions Degrees QuestionsAgain Examples D-MaximalSets Classic
10 ation QuestionsYetAgainFriedbergSplitsof
ation QuestionsYetAgainFriedbergSplitsofMaximalSets DenitionS1tS2MisaFriedbergsplitofM,forallW,ifW&MisinnitethenW&Siisalso. Lemma(Downey,Stob)Anontrivialsp
11 litofamaximalset(ahemimaximalset)isaFrie
litofamaximalset(ahemimaximalset)isaFriedbergSplit. Theorem(Downey,Stob)TheFriedbergsplitsofthemaximalsetsformadenableorbit.Thisorbitincludesacompleteset. Proof.LetM
12 1tM2M.IfW[M!thenW&Misin&
1tM2M.IfW[M!thenW&Misinnite. W 1RW\M1 \ 2RW\M2 t1RW\W\M1 t1RW\W\M2
13 133;. Questions Degrees QuestionsAgain E
133;. Questions Degrees QuestionsAgain Examples D-MaximalSets Classication QuestionsYetAgainHerrmannSets DenitionAsetHisHerrmanniforallc.e.setsDdisjoin
14 tfromHthereisacomputablesetRsuchthatRisd
tfromHthereisacomputablesetRsuchthatRisdisjointfromH,DR,andRDisinnite.forallc.e.setsBthereisac.e.setDdisjointfromHsuchthateitherBH\BorB[D[H!
15 . Theorem(Cholak,Downey,andHerrmann)TheH
. Theorem(Cholak,Downey,andHerrmann)TheHerrmannsetsformadenable03orbitcontainingacompletesetdierentfromthemaximalandhemimaximalsets. Thereisa03listofdis
16 jointcomputablesetsRisuchthatforallBdisj
jointcomputablesetsRisuchthatforallBdisjointfromHthereisannwithBFinRi. Questions Degrees QuestionsAgain Examples D-MaximalSets Classication QuestionsYetAga
17 inComplexityRestrictions Theorem(Cholak,
inComplexityRestrictions Theorem(Cholak,Harrington)IfAisD-hhsimpleandAandbAareinthesameorbitthenEDA 03EDbA . Doesnotprovideananswertothef
18 ollowing: Question(D-maximalCompleteness
ollowing: Question(D-maximalCompleteness)WhichD-maximalsetsareautomorphictocompletesets? QuestionIstheabovequestionanarithmeticalquestion? QuestionCanweclassifytheD-maxi
19 malsets? Questions Degrees QuestionsAgai
malsets? Questions Degrees QuestionsAgain Examples D-MaximalSets Classication QuestionsYetAgainTheClassicationD-maximalsets DenitionForaD-maximalset,alistofc
20 .e.setsfXigi2!generatesDA i
.e.setsfXigi2!generatesDA iforallDifDisdisjointfromAthenthereisansuchthatDSinXi.(Thislistneednotbecomputable.) Lemmaf;ggeneratesD
21 ;A iAismaximal.Foranycomp
;A iAismaximal.ForanycomputablesetR,fRggeneratesDA iAismaximalon R.Foranynoncomputablec.e.setW,fWggeneratesDA iAishem
22 imaximal.Inallothercases,thelistofg
imaximal.Inallothercases,thelistofgeneratorsisinnite. Questions Degrees QuestionsAgain Examples D-MaximalSets Classication QuestionsYetAgainNestedNoncomputa
23 bleGenerators DenitionHisr-maximali&
bleGenerators DenitionHisr-maximalinocomputablesetsplits Hintotwoinnitesets.HisatomlessiHhasnomaximalsuperset. TheoremThereareD-maximalsplitsofato
24 mlessr-maximalsets.TheclassofD-maxi
mlessr-maximalsets.TheclassofD-maximalsplitsofatomlessr-maximalsetsbreaksintoinnitelymanyorbits.(Usesasimilarresultaboutatomlessr-maximalsetsbyCholakandNies.)
25 15;AisaD-maximalsplitofatomlessr-maximal
15;AisaD-maximalsplitofatomlessr-maximalsetithereisalistofnestednoncomputablegeneratorsfXigi2!forDA ,i.e.forallithenXiXi1. QuestionDotheseorbi
26 tscontaincompletesets? Questions Degrees
tscontaincompletesets? Questions Degrees QuestionsAgain Examples D-MaximalSets Classication QuestionsYetAgainAnti-FriedbergSplits DenitionA0isananti-Friedbergspl
27 itofAithereisanA1suchthatA0tA1
itofAithereisanA1suchthatA0tA1Aand,forallW,eitherWA0isc.e.orW[A!. LemmaAllD-maximalsplitsofmaximal,hhsimple,Herrmannandatomlessr-maximalsetsarea
28 nti-Friedberg.Allanti-Friedbergsplitsare
nti-Friedberg.Allanti-FriedbergsplitsareD-maximal. QuestionDotheanti-Friedbergsplitsofaset(orbit)formanorbit? Questions Degrees QuestionsAgain Examples D-MaximalSets Cla
29 ssication QuestionsYetAgainMainOpenQ
ssication QuestionsYetAgainMainOpenQuestions,Localized Question(D-MaximalCompleteness)DoestheorbitofeveryD-maximalsetcontainancompleteset? QuestionIstheabovequestion