38

Questions

votes newest views recent

2

10

votes

2

answers

526

views

A limit to Shoenfield Absoluteness

lo.logic set-theory forcing

aug 3 11 at 16:49 Noah S 4,210●6●29

2

10

votes

1

answer

189

views

Which forcings preserve (some) determinacy?

lo.logic descriptive-set-theory determinacy forcing set-theory

oct 15 at 1:19 Noah S 4,210●6●29

2

9

votes

1

answer

536

views

Characterization of Stone-Cech compactifications

set-theory gn.general-topology ultrafilters lo.logic

sep 23 at 7:54 Simon Henry 984●3●10

9

votes

1

answer

152

views

Ensuring nonempty lightface Borel sets have elements via theories of second-order arithmetic

lo.logic descriptive-set-theory computability-theory

jan 17 at 15:04 François G. Dorais♦ 23.1k●2●52●116

1

9

votes

3

answers

539

views

Polygons arising from knot diagrams

knot-theory

dec 24 10 at 21:36 Noah S 4,210●6●29

1

9

votes

2

answers

311

views

Reverse mathematics below RCA

lo.logic computability-theory reverse-math proof-theory reference-request

mar 30 at 15:26 François G. Dorais♦ 23.1k●2●52●116

7

votes

2

answers

294

views

Generalization of the club filter

lo.logic

dec 28 10 at 4:18 Jason 1,954●1●5●16

2

7

votes

0

answers

399

views

Existence (or non) of “definable” ultrafilters

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

sep 5 at 11:21 David Feldman 11.4k●3●25●79

1

7

votes

0

answers

169

views

Using Lindstrom’s theorem to prove Craig interpolation

lo.logic model-theory abstract-model-theory

jan 29 at 22:38 Noah S 4,210●6●29

6

votes

2

answers

331

views

What can the degrees of constructibility be?

lo.logic set-theory large-cardinals

apr 15 at 1:27 Noah S 4,210●6●29