38

Questions

votes newest views recent

2

6

votes

1

answer

222

views

Determinacy and definable ultrafilters

set-theory lo.logic ultrafilters descriptive-set-theory

oct 16 at 0:08 Joel David Hamkins 74.9k●7●187●343

6

votes

2

answers

217

views

A continuous notion of realizability

ct.category-theory lo.logic gn.general-topology reference-request

oct 24 at 19:59 Andrej Bauer 12.5k●26●68

5

votes

1

answer

129

views

Versions of large cardinals with target model in a generic extension

lo.logic set-theory large-cardinals

mar 10 at 6:53 Noah S 3,808●6●24

5

votes

1

answer

357

views

Probability that a Turing machine will nontrivially reduce a real

lo.logic computability-theory measure-theory

apr 29 12 at 17:48 Noah S 3,808●6●24

1

5

votes

0

answers

159

views

Automorphism group of the turing degrees

lo.logic computability-theory gr.group-theory

jan 23 at 18:38 Noah S 3,808●6●24

4

votes

1

answer

211

views

“Inverse problem” for Brauer groups

ra.rings-and-algebras gr.group-theory

may 17 at 20:09 Yazdegerd III 321●1●4

4

votes

1

answer

255

views

Lattice of differences between ultrafilters

lo.logic set-theory inner-models ultrafilters lattice-theory

feb 18 at 15:40 Andres Caicedo 14.4k●1●42●79

4

votes

1

answer

136

views

When do substructures have computable copies?

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

jan 22 at 0:56 Asher M. Kach 372●3●8

4

votes

1

answer

175

views

Notion of independence of Turing degrees

lo.logic computability-theory reference-request

jan 12 at 11:33 Peter Gerdes 181●2

3

votes

0

answers

120

views

Alternate proof of van de Wiele’s theorem in E-recursion

set-theory computability-theory lo.logic reference-request

sep 29 at 20:15 Noah S 3,808●6●24