Links: - RCF Academy Research Fellowships: https://www.aka.fi/en/research-funding/funding-opportunities2/spark-funding/academy-research-fellowship/ - Modal logic of forcing: https://uryaar.com/Digital-garden/Definitions+and+Facts/Modal+Logic+of+Forcing - Inner models from extended logics: https://uryaar.com/Digital-garden/Definitions+and+Facts/Set+theory/Inner+models+from+extended+logics