{"id":"arxiv/2606.22584","url":"https://arxiv.org/abs/2606.22584","tags":["math.LO"],"score":0,"title":"Second order logic and Set Theory Redux","domain":"math.LO","source":"arxiv","authors":["Jouko Väänänen"],"reviews":0,"subject":"math.LO","summary":"We argue that second order logic is a weaker form of set theory, despite the fact that the former is formalized in a second order langauge and the latter in a first order language. Along the way, we review the history of interactions between second order logic and set theory, as well as some modern trends.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-21","reactions":{}}