Model theory of second order logic
Logic
2025-08-05 v1
Authors:
Jouko Väänänen
Abstract
This is a survey of the model theory of second order logic.
Cite
@article{arxiv.2508.01788,
title = {Model theory of second order logic},
author = {Jouko Väänänen},
journal= {arXiv preprint arXiv:2508.01788},
year = {2025}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Deduction modulo theory
Gilles Dowek
2015-01-27
Artificial Intelligence · Computer Science
Towards a Model Theory for Distributed Representations
Ramanathan Guha
2015-02-06
Logic · Mathematics
A sneak preview of proof theory of ordinals
Toshiyasu Arai
2013-04-11
Logic · Mathematics
An invitation to model theory and C*-algebras
Martino Lupini
2017-08-08
Logic · Mathematics
Sort logic and foundations of mathematics
Jouko Väänänen
2023-02-14
Logic · Mathematics
Interpolation in model theory
Jouko Väänänen
2025-07-28
Logic · Mathematics
Logic families
H. Andréka, Z. Gyenis, I. Németi, I. Sain
2026-03-18
Logic · Mathematics
The Pseudofinite Monadic Second Order Theory of Linear Order
Deacon Linkhorn
2021-05-27
Logic in Computer Science · Computer Science
A simple combinatorial proof for small model property of two-variable logic
Yanger Ma, Tony Tan
2020-06-03
Classical Analysis and ODEs · Mathematics
The theory of disconjugacy for a second order linear differential equation
V. Ya. Derr
2008-12-01
Algebraic Geometry · Mathematics
On the theory of 1-motives
L. Barbieri-Viale
2007-06-11
Logic · Mathematics
Multi-sorted logic and logical geometry: some problems
Boris Plotkin, Eugene Plotkin
2014-06-13
Logic in Computer Science · Computer Science
A Second-Order Formulation of Non-Termination
Fred Mesnard, Etienne Payet
2014-12-11
Logic in Computer Science · Computer Science
A Survey on Temporal Logics
Savas Konur
2013-08-06
Logic in Computer Science · Computer Science
A Model-Theoretic Semantics for Defeasible Logic
Michael J. Maher
2007-05-23
Machine Learning · Computer Science
On the computation of counterfactual explanations -- A survey
André Artelt, Barbara Hammer
2019-11-19
Logic in Computer Science · Computer Science
A survey of computability logic
Giorgi Japaridze
2016-12-15
Computers and Society · Computer Science
Logic Modelling
Roger Villemaire
2015-07-19
Artificial Intelligence · Computer Science
On First-Order Model-Based Reasoning
Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
2019-11-22
Dynamical Systems · Mathematics
Spectral theory of dynamical systems
Adam Kanigowski, Mariusz Lemańczyk
2020-06-23
Logic · Mathematics
Simple proof of the completeness theorem for second order classical and intuitionictic logic by reduction to first-order mono-sorted logic
Karim Nour, Christophe Raffalli
2009-05-07
Logic · Mathematics
A model-theoretic characterization of monadic second order logic on infinite words
Silvio Ghilardi, Samuel J. van Gool
2016-05-02
Logic · Mathematics
Proofs that Modify Proofs
Henry Towsner
2024-03-27
Logic · Mathematics
Model theory of finite and pseudofinite groups
Dugald Macpherson
2016-07-25
Logic in Computer Science · Computer Science
Logic and theory of representation
Arnaud Plagnol
2023-07-21