How far can LCM prove?

Answer: pretty much many!

Answer: pretty much many!

lTransfers from Reverse Mathematics to LCM

•Many theorems in
Reverse Mathematics are proved without or with very weak
classical reasoning, and we can transfer their proofs nearly automatically
into LCM-proofs.

•An example: Completeness theorem of the first order predicate
logic.

lThis is not an coincidence. Reverse math. and LCM are deeply
related. (Next slide)