2017-02-02: Johannes Marti (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Johannes Marti (MSP)

MSP 101: First-order logic

Abstract

In this 101 I outline the syntax and semantics of classical first order predicate logic. I try to also mention some of the characteristic properties of first order logic such as compactness, the Löwenheim-Skolem theorem or locality properties in finite model theory.

2017-02-02 14:00:00 UTC
LT1310