Finite Generators for Countable Group Actions; Finite Index Pairs of Equivalence Relations; Complexity Measures for Recursive Programs
Anush Tserunyan · Bulletin of Symbolic Logic · 2018
change cofinalities or cardinalities ≤ κ.The possible cofinalities for in the P-generic extension depend on the Mitchell order of .Inner model theory tells us that these assumptions are optimal in terms of consistency strength assuming κ ≥ ℵ 2 .(Note: this is joint work with Peter Koepke.)We end with a short discussion on the connection between forcings that change cofinalities of several cardinals simultaneously and mutually stationary sequences of sets.