Mohammad Golshani

Email: golshani.m ''at''   
Post-Doctoral Research Fellow,

School of Mathematics, Institute for Research in Fundamental Sciences (IPM).







PhD thesis

The effects of adding a real to models of set theory.


1- Shelah's strong covering property and CH in V[r], with E. Eslami, Math. Log. Q. 58 (2012), no. 3, 153158.

2- Independence of higher Kurepa hypotheses, with Sy D. Friedman, Arch. Math. Logic 51 (2012), no. 5-6, 621633.

3- Almost Souslin Kurepa trees, Proc. Amer. Math. Soc. 141 (2013), no. 5, 1821-1826.

4- Killing the GCH everywhere with a single real, with Sy D. Friedman, J. Symbolic Logic 78 (2013), no 3, 803-823.

5- Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH, with Sy D. Friedman, Fund. Math. 223 (2013), no 2, 171-193.

6- The foundation axiom and elementary self-embeddings of the universe, with A. S. Daghighi, J. D. Hamkins, and E. Jeřbek,  in: Infinity, Computability, and Metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch (S. Geschke, B. Lwe, and P. Schlicht, eds.), College Publications, London, 2014, pp. 89112.

7- More on almost Souslin Kurepa trees, Proc. Amer. Math. Soc. 142 (2014), no 10, 3631-3634.

8- Adding a lot of Cohen reals by adding a few I, with M. Gitik, Trans. Amer. Math. Soc. 367 (2015), no. 1, 209-229.

9- Adding a lot of Cohen reals by adding a few II, with M. Gitik, Fund. Math. 231 (2015), 209-224.

10- Collapsing the cardinals of HOD, with  J. Cummings and Sy D. Friedman,  J. Math. logic.15 (2015), no. 2, 1550007, 32 pp.

11- On Foreman's maximality principle, with Y. Hayut, J. Symbolic Logic. 81 (2016), no 4, 1344-1356.

12-  On cuts in ultraproducts of linear orders I, with S. Shelah, J. Math. Log. 16 (2016), no. 2, 1650008, 34 pp.

13- HOD, V and the GCH,  J. Symbolic Logic. 82 (2017), no. 1, 224246.

14- An Easton like theorem in the presence of Shelah cardinals, Arch. Math. Logic 56 (2017), no. 3-4, 273287.

15- A Groszek-Laver pair of undistinguishable E0 classes, with V. Kanovei and V. Lyubetsky, Math. Log. Q. 63 (2017), no. 1-2, 19-31.

16- Tree property at successor of a singular limit of measurable cardinals, accepted for  Arch. Math. Logic.

17- On a question of Silver about gap-two cardinal transfer principles, with Sh. Mohsenipour, accepted for  Arch. Math. Logic.

18- The tree property on a countable segment of successors of singular cardinals, with Y. Hayut, accepted for Fund. Math.

19- On cuts in ultraproducts of linear orders II, with S. Shelah, submitted.

20- On a question of Hamkins and Lwe on the modal logic of collapse forcing, with W. Mitchell, submitted.

21- Definable tree property can hold at all uncountable regular cardinals, submitted.

22- Special Aronszajn tree property, with Y. Hayut, submitted.

23- (Weak) diamond can fail at the least inaccessible cardinal, submitted.

24- Tree property at  double successor of singular cardinals of uncountable cofinality, with R. Mohammadpour, submitted.

25- Adding a lot of random reals by adding a few, with M. Gitik, submitted.

26- On the notions of cut, dimension and transcendence degree for models of ZFC, submitted.

27- Tree property at all regular even cardinals, priprint.

Papers in preparation

1- Specializing trees and answer to a question of Williams, with S. Shelah.

2- On Csn(κ) and the Juhasz-Kunen question, with S. Shelah.

3- On slow minimal reals and r.e. degrees, with S. Shelah.


1- Woodin's surgery method.

2- An introduction to forcing.

3- Singular cofinality conjecture and a question of Gorelic.

4- On a question of Zadrozny.

5-  Power set at \aleph_\omega: On a theorem of Woodin.

6- All uncountable regular cardinals can be inaccessible in HOD.

7- Notes on countably generated complete Boolean algebras.

8- Adding many random reals may add many Cohen reals.


1- Rahman Mohammadpour, MSc: ``The Modal Logic of Forcing and Hamkins' Maximality Principle'' (in Farsi), 2015.