From Department of Mathematics at UTSA
(Redirected from MAT4423/MAT5443)
Jump to navigation Jump to search

Catalog entry

Prerequisites: MAT 1214 and MAT 3013.

Content: Axiomatizations of propositional logic, axiomatizations of first-order logic, completeness and compactness, structures, compactness and the Henkin method of constructing models by constants, ultraproducts, real-valued logic and applications.