16

Questions

 
4
votes
1
answer
275
views

Subsets of sequences of natural numbers vs. strategies under ZFC

jul 29 10 at 1:17 Carl Mummert 4,83811527

 
3
votes
2
answers
468
views

Determinacy interchanging the roles of both players

jul 27 10 at 19:37 Justin Palumbo 2,1391716

3
3
votes
2
answers
1k
views

How to think like a set (or a model) theorist.

jun 22 10 at 0:49 François G. Dorais 22.4k248113

 
2
votes
1
answer
392
views

Semidecidable sets

dec 28 10 at 21:28 Joel David Hamkins 74.9k7187343

3
2
votes
1
answer
366
views

Feferman’s extensional and intensional applications of the method of arithmetization

may 12 11 at 15:04 Andreas Blass 32.9k454109

1
1
vote
1
answer
730
views

Slaman and Woodin on Mathematical logic

mar 12 11 at 7:02 Andres Caicedo 14.4k14279

prev 1 2