4 ms·
Löwenheim-Skolem doesn't hold for higher order logics such as type theory/Lambda calculus. Basically, it doesn't hold for any constructive logic.
by ukj 6y ago
Löwenheim-Skolem doesn't hold for higher order logics such as type theory/Lambda calculus.
Basically, it doesn't hold for any constructive logic.