Open Access
2001 Uniform Short Proofs for Classical Theorems
Kees Doets
Notre Dame J. Formal Logic 42(2): 121-127 (2001). DOI: 10.1305/ndjfl/1054837939


This note exploits back-and-forth characteristics to construct, using a single method, short proofs for ten classics of first-order and modal logic: interpolation theorems, preservation theorems, and Lindström's theorem.


Download Citation

Kees Doets. "Uniform Short Proofs for Classical Theorems." Notre Dame J. Formal Logic 42 (2) 121 - 127, 2001.


Published: 2001
First available in Project Euclid: 5 June 2003

zbMATH: 1031.03057
MathSciNet: MR1993396
Digital Object Identifier: 10.1305/ndjfl/1054837939

Primary: 03C40
Secondary: 03B45 , 03C15 , 03C95

Keywords: back and forth method , interpolation , Lindstrom theorem , model pair , preservation

Rights: Copyright © 2001 University of Notre Dame

Vol.42 • No. 2 • 2001
Back to Top