Peter Gerdes

181

Reputation

90 views

Registered User

Name	Peter Gerdes
Member for	1 year
Seen	Jan 18 at 1:29
Website
Location	US
Age

stats recent reputation favorites

2

Questions

1

6

votes

0

answers

142

views

$\omega$-models of $\mathbf{\Sigma^1_1}-DC$ and $\mathbf{\Delta^1_1}-CA$

lo.logic computability-theory set-theory descriptive-set-theory

jan 13 at 1:05 Andres Caicedo 14.4k●1●42●79

1

3

votes

1

answer

271

views

Definition of HYP in $L_{\omega_1^{CK}}[a]$?

lo.logic computability-theory set-theory descriptive-set-theory

jan 14 at 2:27 Liang Yu 670●5●8

3

Answers

votes newest views recent

Reference for a “recursive” fragment of infinitary logic?

Proof of the existence of hyperimmune-free degrees

Notion of independence of Turing degrees

0

Votes

5

Tags

lo.logic× 5
computability-theory× 5
set-theory× 2
reference-request× 2
descriptive-set-theory× 2

2

Badges