10

Questions

votes newest views recent

7

9

votes

8

answers

2k

views

Decent Texts on Categorical Logic

books lo.logic ct.category-theory

mar 19 11 at 18:30 Paul Taylor 1,233●5●9

8

17

votes

3

answers

1k

views

Locales and Topology.

ct.category-theory gn.general-topology locales big-list soft-question

jan 9 at 5:00 Joseph Van Name 1,799●4●11

4

votes

6

answers

1k

views

Independence and Category Theory

set-theory ct.category-theory lo.logic

oct 19 10 at 5:25 Michael Blackmon 608●6●16

1

5

votes

2

answers

863

views

Can Assumptions about forcing produce Mice? [closed]

set-theory forcing

nov 19 at 7:42 Andres Caicedo 14.4k●1●42●79

2

7

votes

3

answers

779

views

Singular Cardinals, and A Strange Question.

set-theory co.combinatorics lo.logic

feb 7 11 at 4:03 Jason 1,944●1●5●16

3

5

votes

1

answer

593

views

Strange question about Hechler

set-theory forcing lo.logic

oct 20 10 at 18:11 Joel David Hamkins 74.9k●7●187●343

3

votes

2

answers

512

views

Ultrapowers, and Models of Set theory.

set-theory lo.logic

jan 23 11 at 6:38 Andres Caicedo 14.4k●1●42●79

1

3

votes

2

answers

438

views

$C^n$ And Forcing: Reading a Recent Paper By Kunen

set-theory ds.dynamical-systems lo.logic gn.general-topology

jan 31 11 at 6:11 Michael Blackmon 608●6●16

-7

votes

0

answers

359

views

A Classical Riddle Answered [closed]

lo.logic ca.analysis-and-odes set-theory gn.general-topology

nov 19 at 13:20 quid 13k●31●51

3

7

votes

2

answers

278

views

$\mathfrak{c}$-universal linear order

reference-request set-theory forcing

may 2 12 at 11:08 Juris Steprans 2,338●4●13