New posts in Higher Order Logic

Topos theory and higher-order logic

Relationship between propositional logic, first-order logic, second-order logic higher-order logic, and type theory

are there non-standard models of arithmetic in second order arithmetic?

Why are higher-order logics less well-behaved?