Difference between revisions of "MAT4423/MAT5443"
Jump to navigation
Jump to search
Jose.iovino (talk | contribs) (Created page with "'''Catalog description''' ''Prerequisites'': MAT 1214 and MAT 3013. ''Content'': Axiomatizations of propositional logic, axiomatizations of first-order logic, completeness...") |
Jose.iovino (talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | + | == Catalog entry == | |
''Prerequisites'': MAT 1214 and MAT 3013. | ''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. | ''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. | ||
Revision as of 22:09, 25 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.
