Title: Absoluteness of intuitionistic logic
Subjects: Intuition, Intuitionistic mathematics, Predicate (Logic), Proof theory, Proposition (Logic)