Forcing indestructibility of set-theoretic axioms

Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the L´evy collapse. These show in particular that certain applications of forcing axioms require to add generic countable sequences high up in the set-theoretic hierarchy even before

• Type: Journal
• Year: 2007
• Where: JSYML
• Authors: Bernhard König
• Keywords: Generic Countable Sequences, JSYML 2007, Set-theoretic Axioms, Various Theorems