User Peter Gerdes

2 votes

1 answer

120 views

Cite for fact that every r.e. degree bounds a 1-generic

asked Oct 31, 2022 at 14:32

2 votes

0 answers

255 views

A formal definition of a useful theorem?

asked May 22, 2022 at 3:14

2 votes

1 answer

157 views

Is adding all sentences true of terms in skolemized theory conservative?

asked Oct 13, 2021 at 0:49

2 votes

1 answer

101 views

Generality of construction for $\omega$-REA arithmetic degrees

asked Nov 26, 2020 at 0:06

2 votes

1 answer

71 views

Arithmetic non-trivial 2-l.u.b

asked Jan 2, 2021 at 1:54

2 votes

0 answers

124 views

Good notation for finite partial functions from $\omega$ to 2

asked Feb 5, 2021 at 11:36

2 votes

1 answer

165 views

Correct Proof Of ZBC Theorem From Odifreddi? Also Extension Question

asked Dec 20, 2018 at 5:59

2 votes

1 answer

122 views

Splitting $\Pi^0_2$ Singletons?

asked Sep 2, 2023 at 8:29

2 votes

1 answer

123 views

Arithmetically-hyperimmune-free degrees are comeager

asked Mar 26, 2023 at 9:43

2 votes

1 answer

135 views

Harrington's notes on McLaughlin/Arithmetically incomparable singletons

asked Aug 9, 2023 at 8:38

2 votes

1 answer

119 views

$\Pi^0_2$ singleton forming minimal pair with $0''$

asked May 21, 2023 at 7:28

2 votes

0 answers

102 views

Direct construction of an arithmetically high degree below $0^{(\omega)}$

asked Oct 22 at 4:42

2 votes

1 answer

162 views

Are Cohen Generics Minimal Covers?

asked Nov 17 at 1:51

1 vote

0 answers

109 views

Name For Effective Cantor-Bendixsonish Derivitive

asked Oct 29 at 18:37

1 vote

1 answer

102 views

Proving non-existence of non-frictional CVTs?

asked Jun 28 at 9:08

1 vote

0 answers

44 views

Base of cone of arithmetic minimal covers

asked Mar 23, 2023 at 4:51

1 vote

0 answers

37 views

Are the $\omega$-generic arithmetic degrees downward closed

asked Apr 19, 2023 at 21:36

1 vote

1 answer

109 views

Double Hop Inversion Theorem

asked Apr 21, 2023 at 19:51

1 vote

2 answers

142 views

Double Posner-Robinson Join (or a cupping analog of minimal pair)

asked Apr 27, 2023 at 3:17

1 vote

0 answers

48 views

Is $0^{\omega}$ a minimal cover of a minimal arithmetic degree?

asked Apr 27, 2023 at 4:13

1 vote

1 answer

98 views

Intersection of (relativized/preimage) measure 0 with every hyperarithmetic perfect set

asked Jun 9, 2023 at 3:06

1 vote

1 answer

90 views

Downward density of w-REA sets under arithmetic reducibility?

asked Dec 20, 2018 at 8:17

1 vote

1 answer

185 views

Using Ordinal Notations in Computability Theory Is There A Standard Notation For The Notations Below $\alpha$

asked Dec 15, 2016 at 7:57

1 vote

1 answer

243 views

In NBG (ZFC + classes) if $P$ nonempty predicate of classes must $P$ have definable solution?

asked Jun 1, 2017 at 23:24

1 vote

1 answer

68 views

Computable in $\omega$-REA degree but not double jump of finitely many columns

asked Dec 19, 2020 at 1:50

1 vote

1 answer

79 views

Non-relativized, Computable and Schnor randomness w.r.t a measure

asked Feb 16, 2020 at 10:48

1 vote

1 answer

92 views

If $X \leq_T Y + 0'$ does there exist $Z \leq_T Y$, $Z \leq_T X$ with $X \leq_T Z'$?

asked May 24, 2022 at 23:04

1 vote

0 answers

52 views

Term for degrees realizing least possible first n jumps

asked Oct 3, 2022 at 17:39

1 vote

0 answers

43 views

No arithmetic degree that always joins to arithmetic minimal cover

asked Mar 23, 2023 at 4:19

1 vote

0 answers

77 views

Standard terminology for node in tree with multiple children

asked Feb 27, 2023 at 21:58

Stack Exchange Network

62 Questions

Cite for fact that every r.e. degree bounds a 1-generic

A formal definition of a useful theorem?

Is adding all sentences true of terms in skolemized theory conservative?

Generality of construction for $\omega$-REA arithmetic degrees

Arithmetic non-trivial 2-l.u.b

Good notation for finite partial functions from $\omega$ to 2

Correct Proof Of ZBC Theorem From Odifreddi? Also Extension Question

Splitting $\Pi^0_2$ Singletons?

Arithmetically-hyperimmune-free degrees are comeager

Harrington's notes on McLaughlin/Arithmetically incomparable singletons

$\Pi^0_2$ singleton forming minimal pair with $0''$

Direct construction of an arithmetically high degree below $0^{(\omega)}$

Are Cohen Generics Minimal Covers?

Name For Effective Cantor-Bendixsonish Derivitive

Proving non-existence of non-frictional CVTs?

Base of cone of arithmetic minimal covers

Are the $\omega$-generic arithmetic degrees downward closed

Double Hop Inversion Theorem

Double Posner-Robinson Join (or a cupping analog of minimal pair)

Is $0^{\omega}$ a minimal cover of a minimal arithmetic degree?

Intersection of (relativized/preimage) measure 0 with every hyperarithmetic perfect set

Downward density of w-REA sets under arithmetic reducibility?

Using Ordinal Notations in Computability Theory Is There A Standard Notation For The Notations Below $\alpha$

In NBG (ZFC + classes) if $P$ nonempty predicate of classes must $P$ have definable solution?

Computable in $\omega$-REA degree but not double jump of finitely many columns

Non-relativized, Computable and Schnor randomness w.r.t a measure

If $X \leq_T Y + 0'$ does there exist $Z \leq_T Y$, $Z \leq_T X$ with $X \leq_T Z'$?

Term for degrees realizing least possible first n jumps

No arithmetic degree that always joins to arithmetic minimal cover

Standard terminology for node in tree with multiple children