Can someone explain in layman's terms or at least give a summary of the key differences of approaches between Woodin and Sy Friedman regarding settheoretic truths?
After this great debate, are there any progress being made?

5$\begingroup$ At the moment this question is getting close votes. With a little editing I think it could be a good question. Mainly, it would be helpful to add a bit of background about the debate and Woodin/S.Friedman’s positions, to make the question more selfcontained. $\endgroup$ – Peter LeFanu Lumsdaine Sep 22 '17 at 12:51

4$\begingroup$ I agree with @PeterLeFanuLumsdaine 's comment. The subject seems interesting, but without further metainformation, the "great debate" link provided is pretty much impossible to follow (e.g., who is writing to whom about what?). $\endgroup$ – GroTsen Sep 22 '17 at 14:28

1$\begingroup$ The following seem required background reading: W. Hugh Woodin: Speculations on nature of set theoretic truth: A thesis in 4 parts followed by 4 conjectures. Talk, September 21, 2011, and SyDavid Friedman: Evidence for SetTheoretic Truth and the Hyperuniverse Programme. Journal of Logics and their Applications, Vol. 3, Iss. 4, 2016, and [...] $\endgroup$ – Peter Heinig Sep 22 '17 at 18:37

$\begingroup$ [...] Carolin Antos, SyDavid Friedman, Radek Honzik, Claudio Ternullo: Multiverse conceptions in set theory. Synthese, Vol, 192 (8), pp. 2463–2488: , the latter being an overview readable by anyone, with a publication date is more or less simultaneous with the "debate" linked by the OP. The question should be reformulated by someone knowing much about this, to make it more focused, and answerable only by those who are really involved in this. And the term "layman" should perhaps be replaced with something more neutral. $\endgroup$ – Peter Heinig Sep 22 '17 at 18:38

$\begingroup$ I think one difference is that while most people just consider set forcing extensions in defining their multiverse version, Sy Friedman also considers class forcing extensions. $\endgroup$ – Mohammad Golshani Sep 23 '17 at 6:43
It is only a halfjoke to say that for a layman, there is no difference between their approaches. Take the following question for example: Does there exist an uncountable subset of $\mathbb R$ that cannot be put into bijection with $\mathbb R$? Both Friedman and Woodin would say that this is a question that might admit a definite yesorno answer, but that the jury is still out and we need to do a whole lot more technical settheoretic work before we will be in a position to say whether it does admit a definite answer, and if so, whether the answer is yes or no. This already sets them aside from many others, e.g.,
formalists who say that the question does not admit a definite yesorno answer, or
platonists who say that the question has a definite answer but who also say that we already know that we will never know the answer.
To even state the differences between their approaches requires considerable technical machinery. Friedman's approach is called the "Hyperuniverse Program." Roughly speaking, his "hyperuniverse" is the space of all countable transitive models of ZFC, and the idea is that these universes are not all on an equal footing; e.g., some models are in a sense "maximal" and this clues us to which settheoretic statements are true. Woodin on the other hand may be thought of as taking the inner model program as a starting point and arguing that the mathematical evidence points towards something called $\Omega$logic as a natural foundation for settheoretic truth. I do not think that too many further details can really be accurately described in "layman's terms" because the technical prerequisites are considerable.
As for whether there has been "progress," both approaches lead to a plethora of technical mathematical questions, and although I do not follow this area, I expect that progress has been made in the same way that any subfield of mathematics makes progress. But if that's what you mean by progress then again I am not sure that it is possible to summarize it "for a layman." On the other hand, a layman could perhaps follow some of the philosophical debates about truth, but then it is less clear (at least for most mathematicians) what "progress" means in the philosophical realm.

2$\begingroup$ Maybe it's worth mentioning that Woodin changed his mind not too long ago on what the answer is to the question "Does there exist an uncountable subset of R that cannot be put into bijection with R?" This may or may not be seen as "progress". $\endgroup$ – David Roberts Sep 23 '17 at 6:17

3$\begingroup$ Uh, I’m a Platonist, and I’m hardly sure of the second part of (2). I believe Gödel, in “What is Cantor’s Continuum Problem,” expressed hope that it might turn out to be false, but my copy is thousands of miles away. So which Platonists do believe 2.2? $\endgroup$ – Flash Sheridan Sep 23 '17 at 13:11

$\begingroup$ Following up on what David Roberts said, my understanding was that Sargsyan's thesis had damaged Woodin's $\Omega$logic idea (although I don't know the details). $\endgroup$ – Noah Schweber Sep 23 '17 at 14:03

2$\begingroup$ @FlashSheridan : My list was not meant to be comprehensive and I did not mean to imply that all platonists fall into category 2. On the other hand, back in Goedel's day, it seemed that large cardinals might suffice to settle CH, but the LevySolovay theorem about the behavior of large cardinals under forcing makes that seem unlikely. I think that many Platonists who are only prepared to accept new settheoretic axioms that seem "obviously true" are pessimistic about finding any such axioms that would settle CH. $\endgroup$ – Timothy Chow Sep 23 '17 at 19:28