Regularity and non-standard models of arithmetic #PaCE1
Channel: Nikolaj-K
Date: 2022-09-07

Follow-up video: https://youtu.be/7HKnOOvssvs
Discussed text, including all links: https://gist.github.com/Nikolaj-K/101c2712dc832dec4991bf568869abc8
Curt's call: https://youtu.be/V93GQaDtv8w
Timestamps:
00:00:00 Introduction
00:02:55 Wittgenstein and predicates (optional)
00:11:12 Skolems notes on Z
00:14:35 Regularity spelled out (optional)
00:16:03 Sets definitions and basics (optional)
00:21:42 Least Number Principle
00:34:04 Some logical tools (optional)
00:35:12 Robinson arithmetic and its models
00:53:05 Peano arithmetic and forms of its induction
01:02:01 c smaller c means there's no minimal element, contradiction
01:07:35 A PA non-standard model