Iterated club shooting and the stationary-logic constructible model
Il paper indaga l'iterazione del modello interno basato sulla logica stazionaria, dimostrando come forzare estensioni generiche di per ottenere modelli in cui la sequenza di tali modelli iterati è decrescente di tipo d'ordine arbitrariamente grande, grazie alla prova di proprietà di distributività e preservazione degli insiemi stazionari per iterazioni di forzature di sparo di club su insiemi mutuamente stazionari e alla introduzione del concetto di insiemi mutuamente grassi.