2023-12-01: Fredrik Nordvall Forsberg (MSP)

Fri, 9 Feb 2024 10:14:47 +0000

Fredrik Nordvall Forsberg (MSP)

MSP 101: Non-standard analysis

Abstract

I will give a basic 101-style introduction to the first-order logic concept of non-standard models. Intuitively, a non-standard model of say Peano Arithmetic PA is a model which contains infinitely large numbers. Yet, by virtue of being a model of PA, such a model still validates all the axioms of PA, including the induction axiom schema! It is an interesting and beautiful feature/bug of first-order classical logic that such models exist.

2023-12-01 14:00:00 UTC
LT711 and Online