Publication Date
4-2022
Advisor(s) - Committee Chair
Thomas Richmond (Director), Dominic Lanphier, Molly Dunkum
Degree Program
Department of Mathematics
Degree Type
Master of Science
Abstract
A constructive proof of the semantic completeness of intuitionistic predicate logic is explored using set-generated complete Heyting Algebra. We work in a constructive set theory that avoids impredicative axioms; for this reason the result is not only intuitionistic but fully constructive. We provide background that makes the thesis accessible to the uninitiated.
Disciplines
Algebra | Arts and Humanities | Logic and Foundations of Mathematics | Mathematics | Philosophy | Physical Sciences and Mathematics
Recommended Citation
Ray, Ian, "Semantic Completeness of Intuitionistic Predicate Logic in a Fully Constructive Meta-Theory" (2022). Masters Theses & Specialist Projects. Paper 3561.
https://digitalcommons.wku.edu/theses/3561