Second order logic and Set Theory Redux
classification
🧮 math.LO
keywords
ordersecondlogictheoryalongarguedespitefact
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.