1. “Boolean-valued Class Forcing”,  with Sy-David Friedman, Victoria Gitman, submitted.
  2. “Universism and Extensions of V”, with Neil Barton, Sy-David Friedman, Review of Symbolic Logic, revise and resubmit.
  3. “Class Forcing in Class Theory”, In: The hyperuniverse project and maximality, Eds. Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo, Birkh\”auser Basel, 2018. draft on .
  4. “Hyperclass Forcing in Morse-Kelley Class Theory”, with Sy-David Friedman,  Journal of Symbolic Logic, Volume 82, Number 2, (2017), pages 549–575, draft on .
  5. With Sy-David Friedman, Radek Honzik, Claudio Ternullo: “Multiverse Conceptions in Set Theory”, Synthese: Volume 192, Issue 8 (2015), Page 2463-2488 (final draft)