Model theory of second order logic

2025/08/03 by Jouko Väänänen, Väänänen, Jouko
Computer Science · #03C85 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge

paper · pdf · doi:10.48550/arxiv.2508.01788

openalex publication_date 2025/08/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

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

Citations

• On the categoricity of complete second order theories
• On Second-order Characterizability

Related

• Permutation Models of Second Order
• On the Model Theory of Second-Order Objects
• Boolean-valued second-order logic revisited
• Logic families
• An invitation to model theory and C*-algebras