Кеннет Кунен

• Кеннет Кунен — американский математик, известный своими работами в области теории множеств. 
• Он работал над неассоциативными алгебраическими системами и использовал компьютерное программное обеспечение для вывода теорем. 
• Кунен доказал постоянство нормального и ℵ2-насыщенного идеала на ℵ1. 
• Он представил метод повторяющихся сверхмощностей для доказательства существования внутренних моделей теории множеств с определенными измеримыми кардиналами. 
• Кунен доказал теорему о непоследовательности, которая исключает возможность нетривиального элементарного вложения V → V. 
• Он известен сложными форсинговыми и комбинаторными конструкциями, а также доказал непротиворечивость некоторых аксиом математики.