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 75.5k●8●189●347

7

15

votes

1

answer

890

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●13

2

10

votes

5

answers

969

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

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

4

6

votes

3

answers

581

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

1

5

votes

3

answers

1k

views

Non-computable but easily described arithmetical functions

computability-theory arithmetic lo.logic

jun 23 10 at 14:08 David Speyer 55.4k●3●102●237

2

4

votes

2

answers

506

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

1

4

votes

2

answers

506

views

Breaking the circularity in the definition of N

model-theory set-theory

jun 15 10 at 11:22 Carl Mummert 4,838●1●15●27

4

4

votes

2

answers

589

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

2

4

votes

1

answer

467

views

Statements that require the existence of non-standard models to hold

model-theory lo.logic set-theory

nov 2 10 at 13:40 Carl Mummert 4,838●1●15●27