Many-Sorted Logic

by A. Bernhard Zeidler

Many sorted languages are the natural way how to formalize mathematical theories. This text provides an introduction to many-sorted logic and models. Our main focus is to formulate and prove the most important theorems of mathematical logic: The Correctness, Completeness and Compactness Theorems. We will also present examples of common many-sorted languages along the way, including the language of modules over rings, of ring-extensions and that of sets and classes.Contents:1. What do we have...