Network profile

Ioannis Souldatos

Reputation

2,690

2.7k
2.4k
2.1k

2018
2019
2020
2021

Top tag

lo.logic

Next privilege

3,000 Rep.

Cast close & reopen votes

Badges

16

28

Newest

Taxonomist

Next badge

35/100

Impact

1 post edited

0 helpful flags

104 votes cast

9 Bookmarks

Votes Activity Newest Views Added

254

votes

33

answers

38k

views

What are some reasonable-sounding statements that are independent of ZFC?

independence-results examples set-theory lo.logic big-list

Nov 15 at 18:39 Elliot Glazer 1,777

58

votes

9

answers

11k

views

Arguments against large cardinals

set-theory soft-question lo.logic mathematical-philosophy large-cardinals

Jan 12 '19 at 13:36 Martin Sleziak 4,232

37

votes

3

answers

5k

views

Clearing misconceptions: Defining “is a model of ZFC” in ZFC

lo.logic set-theory examples

Apr 7 '18 at 16:04 Joel David Hamkins 185k

18

votes

4

answers

1k

views

Complete Boolean algebra not isomorphic to a $\sigma$-algebra

set-theory universal-algebra boolean-algebras

Jan 15 '18 at 12:37 Martin Sleziak 4,232

11

votes

3

answers

2k

views

What is Gödel's pairing function on ordinals?

set-theory terminology

Nov 11 '12 at 19:17 Andrés E. Caicedo 29.8k

10

votes

4

answers

2k

views

How to decompose an infinite set into two isomorphic ones without choice?

set-theory

May 1 '11 at 19:38 Andreas Blass 65.9k

9

votes

3

answers

1k

views

Is the set of undecidable problems decidable?

lo.logic model-theory

Nov 29 '11 at 4:05 Vladimir Reshetnikov 5,763

8

votes

3

answers

3k

views

Suggestions for wiki farm with good latex support

latex soft-question

Jun 26 '11 at 22:08 Predrag Punosevac 469

6

votes

2

answers

453

views

Forcing for Arbitrary First Order Theories

reference-request lo.logic set-theory model-theory forcing

Feb 15 '14 at 2:05 Joel David Hamkins 185k

MathOverflow works best with JavaScript enabled