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 its categoricity costs. Collects the foundational dispute and the results fixing the logic's expressive power. It reaches computing because separation logic's spatial conjunction is equivalent to second-order logic rather than a fragment of it.

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

Lindström theorems for fragments of first-order logic

Balder ten Cate and others (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS) · IEEE

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