ACCL 2021 #4. Infinitary classical propositional logic: Axiomatization & completeness | Evgeny Zolin

2021.03.17
Completeness of the Infinitary Classical Propositional Logic. + Every derivable formula is derivable in a countable number of steps (its derivation is a sequence of formulas that is orderded as some countable ordinal).

Web-site (including slides & lecture notes):

Advanced Course in Classical Logic:

Dr. Evgeny Zolin.
Department of Mathematical Logic and Theory of Algorithms.
Faculty of Mechanics and Mathematics.
Moscow State University.

[willemesterhuyse]

Timestep 25:09: you can never "reach" omega_1, since you can never reach infinity!