Difference between revisions of "MAT5443"
Jump to navigation
Jump to search
(Created page with "== Catalog entry == ''Prerequisites'': MAT 1214 and MAT 3013. ''Content'': Axiomatizations of propositional logic, axiomatizations of first-order logic, completeness and co...") |
(No difference)
|
Latest revision as of 09:21, 31 March 2023
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.