Iterated club shooting and the stationary-logic constructible model
This paper investigates the iteration of the stationary-logic constructible model by proving distributivity and stationary-set preservation for countable iterations of club-shooting forcings using mutually stationary sets, and introducing mutually fat sets to achieve stronger results for uncountable iterations, thereby demonstrating the ability to force models where and where iterated sequences decrease with arbitrarily large order types.