paper

Model theory of second order logic

arXiv:2508.01788

Abstract

This is a survey of the model theory of second order logic.