16

Questions

votes newest views recent

6

15

votes

2

answers

2k

views

Universe view vs. Multiverse view of Set Theory

set-theory model-theory lo.logic math-philosophy forcing

sep 6 11 at 23:58 Joel David Hamkins 74.9k●7●187●343

4

8

votes

4

answers

1k

views

Incompleteness and nonstandard models of arithmetic

lo.logic model-theory set-theory arithmetic

jun 15 10 at 4:20 Daniel Mehkeri 570●3●8

3

3

votes

2

answers

1k

views

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

set-theory model-theory lo.logic

jun 22 10 at 0:49 François G. Dorais♦ 22.4k●2●48●113

1

5

votes

3

answers

994

views

Non-computable but easily described arithmetical functions

computability-theory arithmetic lo.logic

jun 23 10 at 14:08 David Speyer 55k●3●102●236

2

10

votes

5

answers

964

views

Intended interpretations of set theories

set-theory model-theory lo.logic math-philosophy

mar 3 11 at 8:49 David FernandezBreton 194●1●8

7

15

votes

1

answer

889

views

Martin’s “Philosophical Issues about the Hierarchy of Sets”

set-theory foundations math-philosophy lo.logic

apr 30 11 at 16:14 Marc Alcobé García 979●2●12

1

1

vote

1

answer

730

views

Slaman and Woodin on Mathematical logic

bibliography reference-request lo.logic

mar 12 11 at 7:02 Andres Caicedo 14.4k●1●42●79

4

4

votes

2

answers

583

views

Existence of an $\omega$-nonstandard model of ZFC from compactness

set-theory lo.logic model-theory

oct 2 10 at 12:33 Carl Mummert 4,838●1●15●27

4

6

votes

3

answers

578

views

Tractability of forcing-invariant statements under large cardinals

set-theory model-theory forcing large-cardinals

jul 22 10 at 23:09 Andres Caicedo 14.4k●1●42●79

2

4

votes

2

answers

505

views

Weakest subsystems of second order arithmetic for mathematical logic

lo.logic arithmetic model-theory reverse-math

jul 8 10 at 12:16 Charles Stewart 1,669●8●15