Uniform short proofs for classical theorems

DOI10.1305/NDJFL/1054837939zbMath1031.03057OpenAlexW2019520691MaRDI QIDQ1409313

Kees Doets

Publication date: 13 October 2003

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1054837939

zbMATH Keywords

interpolationpreservationLindström theoremback-and-forth methodmodel pair

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Basic properties of first-order languages and structures (03C07) Model theory of denumerable and separable structures (03C15) Abstract model theory (03C95)

Cites Work

• Unnamed Item
• Modal languages and bounded fragments of predicate logic
• Interpolation, preservation, and pebble games

This page was built for publication: Uniform short proofs for classical theorems