16

Questions

votes newest views recent

3

2

votes

1

answer

380

views

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

metamathematics lo.logic proof-theory terminology

may 12 11 at 15:04 Andreas Blass 33.8k●4●59●111

7

15

votes

1

answer

897

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

1

1

vote

1

answer

742

views

Slaman and Woodin on Mathematical logic

bibliography reference-request lo.logic

mar 12 11 at 7:02 Andres Caicedo 14.8k●1●43●81

2

10

votes

5

answers

985

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

2

votes

1

answer

399

views

Semidecidable sets

computability-theory lo.logic set-theory

dec 28 10 at 21:28 Joel David Hamkins 76.8k●8●192●355

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,972●1●16●28

4

4

votes

2

answers

598

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,972●1●16●28

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 76.8k●8●192●355

4

votes

1

answer

276

views

Subsets of sequences of natural numbers vs. strategies under ZFC

set-theory co.combinatorics game-theory lo.logic

jul 29 10 at 1:17 Carl Mummert 4,972●1●16●28

3

votes

2

answers

472

views

Determinacy interchanging the roles of both players

set-theory co.combinatorics game-theory

jul 27 10 at 19:37 Justin Palumbo 2,149●1●7●17