User Mohammad Golshani

49 votes

1 answer

2k views

Producing finite objects by forcing!

asked Dec 15, 2014 at 4:47

34 votes

5 answers

2k views

Forcing as a replacement of induction and diagonal arguments

asked Jan 7, 2015 at 4:32

34 votes

4 answers

3k views

Is it possible to define higher cardinal arithmetics

asked Nov 24, 2014 at 5:27

32 votes

1 answer

2k views

Should axiomatic set theory be translated into graph theory?

asked Jan 6, 2016 at 8:10

29 votes

2 answers

2k views

On the probability of the truth of the continuum hypothesis

asked May 19, 2018 at 10:30

27 votes

3 answers

4k views

Interactions between (set theory, model theory) and (algebraic geometry, algebraic number theory ,...)

asked May 10, 2014 at 14:34

26 votes

1 answer

1k views

categorical characterization of large cardinals

asked Aug 26, 2013 at 3:31

21 votes

2 answers

2k views

Philosophical arguments in defense (or against) large cardinals

asked Mar 10, 2015 at 7:13

20 votes

5 answers

8k views

Applications of set theory in physics

asked Mar 27, 2015 at 10:16

19 votes

2 answers

2k views

Woodin's unpublished proof of the global failure of GCH

asked Aug 1, 2013 at 9:30

18 votes

2 answers

629 views

Is the notion of fixed point property for topological spaces an absolute notion?

asked Mar 16, 2014 at 6:57

18 votes

3 answers

2k views

Scott-Solovay unpublished paper on ``Boolean valued models of set theory''

asked Mar 11, 2015 at 11:59

17 votes

0 answers

908 views

Souslin trees and weakly compact cardinals

asked Mar 30, 2014 at 11:28

17 votes

1 answer

985 views

Can two-point sets be Borel?

asked Jun 19, 2017 at 4:37

17 votes

0 answers

558 views

Gitik's work on Shelah's weak hypothesis

asked Apr 30, 2018 at 5:46

17 votes

1 answer

411 views

Topos extensions

asked May 17, 2020 at 12:58

16 votes

1 answer

1k views

Kaplansky's conjecture and Martin's axiom

asked Sep 10, 2013 at 3:03

16 votes

0 answers

772 views

Ideas behind Gitik's solution of PCF conjecture

asked Aug 19, 2014 at 4:24

16 votes

2 answers

1k views

Von Neumann's consistency proof

asked Nov 20, 2014 at 5:35

15 votes

1 answer

408 views

Consistency strength of $\aleph_2$-Souslin hypothesis

asked Apr 1, 2015 at 7:57

15 votes

6 answers

2k views

The origins of forcing in mathematical logic and other branches of mathematics

asked Sep 16, 2013 at 9:37

15 votes

0 answers

1k views

Condensed mathematics and independence results

asked Sep 27, 2021 at 17:04

15 votes

1 answer

1k views

Characterization of Cohen reals

asked Aug 15, 2017 at 7:08

15 votes

3 answers

866 views

Undefinability of $\mathbb{Z}$ in the reals

asked Apr 24, 2017 at 11:25

14 votes

0 answers

353 views

The failure of GCH al $\aleph_\omega$ by nice forcing

asked Nov 30, 2017 at 5:25

14 votes

1 answer

726 views

The axiom $I_0$ in the absence of $AC$

asked Apr 29, 2016 at 14:23

14 votes

2 answers

907 views

$GCH$ and special Aronszajn trees

asked Oct 4, 2016 at 14:49

14 votes

3 answers

933 views

Forcings predicted by core model theory $+$$ZFC$ results proved by the method of core model theory

asked Feb 22, 2018 at 8:58

14 votes

1 answer

417 views

Definability in the field of reals with a predicate for some powers of two

asked Apr 13, 2018 at 15:58

14 votes

0 answers

404 views

O-minimality and forcing

asked Nov 10, 2018 at 4:33

Stack Exchange Network

141 Questions

Producing finite objects by forcing!

Forcing as a replacement of induction and diagonal arguments

Is it possible to define higher cardinal arithmetics

Should axiomatic set theory be translated into graph theory?

On the probability of the truth of the continuum hypothesis

Interactions between (set theory, model theory) and (algebraic geometry, algebraic number theory ,...)

categorical characterization of large cardinals

Philosophical arguments in defense (or against) large cardinals

Applications of set theory in physics

Woodin's unpublished proof of the global failure of GCH

Is the notion of fixed point property for topological spaces an absolute notion?

Scott-Solovay unpublished paper on ``Boolean valued models of set theory''

Souslin trees and weakly compact cardinals

Can two-point sets be Borel?

Gitik's work on Shelah's weak hypothesis

Topos extensions

Kaplansky's conjecture and Martin's axiom

Ideas behind Gitik's solution of PCF conjecture

Von Neumann's consistency proof

Consistency strength of $\aleph_2$-Souslin hypothesis

The origins of forcing in mathematical logic and other branches of mathematics

Condensed mathematics and independence results

Characterization of Cohen reals

Undefinability of $\mathbb{Z}$ in the reals

The failure of GCH al $\aleph_\omega$ by nice forcing

The axiom $I_0$ in the absence of $AC$

$GCH$ and special Aronszajn trees

Forcings predicted by core model theory $+$$ZFC$ results proved by the method of core model theory

Definability in the field of reals with a predicate for some powers of two

O-minimality and forcing