This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Second order or set theory

A subject the papers are about. The loosest grouping, and the one to reach for last.

Whether second-order logic is a foundation or set theory in disguise, and what categoricity costs. Reaches computing because separation logic's spatial conjunction is equivalent to second-order logic.

Which mathematical logic is the logic of mathematics?

Jaakko Hintikka (2012) · Logica Universalis

Second order logic or set theory?

Jouko Väänänen (2012) · Bulletin of Symbolic Logic

On Spatial Conjunction as Second-Order Logic

Viktor Kuncak and others (2004) · arXiv

Second-order logic and foundations of mathematics

Jouko Väänänen (2001) · Bulletin of Symbolic Logic

Extensions of first-order logic

Maria Manzano (1996) · Cambridge University Press

Foundations without foundationalism: A case for second-order logic

Stewart Shapiro (1991) · Clarendon Press