Example: air traffic controller
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.

  Model, Stage, 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