Example: biology
Mathematical Logic (Math 570) Lecture Notes

Mathematical Logic (Math 570) Lecture Notes

Back to document page

L. At this stage we only say by way of explanation that a model of is a mathematical structure in which all sentences of are true. For example, if is the (in nite) set of axioms for elds of characteristic zero in the language of rings, then a model of is just a eld of characteristic zero. Theorem of L owenheim and Skolem.

  Logic, Mathematical, Mathematical logic

Download Mathematical Logic (Math 570) Lecture Notes


Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Other abuse

Advertisement

Related search queries