Uniform Short Proofs for Classical Theorems
| Autor: | Kees Doets |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2001 |
| Předmět: |
Discrete mathematics
model pair back and forth method Logic Back-and-forth method preservation Mathematical proof interpolation Algebra 03C15 TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Lindstrom theorem Computer Science::Logic in Computer Science 03C40 03C95 03B45 Mathematics Interpolation |
| Zdroj: | Notre Dame J. Formal Logic 42, no. 2 (2001), 121-127 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|