Model Theory and Proof Theory
Jon Awbrey <[email protected]>
| Newsgroups | gmane.comp.inquiry,gmane.comp.ai.conceptual-graphs |
|---|---|
| Message-ID | <[email protected]> |
Peircers, The introductory sections of Chang and Keisler's "Model Theory" (1973) provide a very helpful exposition of the relation between model-theoretic and proof-theoretic aspects of logic, especially as applied to mathematics. Here are links to a collection of excerpts that I gathered for the sake of our discussions in the old "Standard Upper Ontology" (SUO) Working Group. For ease of future reference, I had also archived the list of links here: http://stderr.org/pipermail/inquiry/2003-April/000336.html o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o MOD. Model Theory 00. http://suo.ieee.org/ontology/thrd45.html#03985 00. http://suo.ieee.org/ontology/mail32.html#03985 1. Introduction 1.1. What Is Model Theory? 01. http://suo.ieee.org/ontology/msg03985.html 02. http://suo.ieee.org/ontology/msg03986.html 03. http://suo.ieee.org/ontology/msg03987.html 1.2. Model Theory for Sentential Logic 04. http://suo.ieee.org/ontology/msg03988.html 05. http://suo.ieee.org/ontology/msg03989.html 06. http://suo.ieee.org/ontology/msg03991.html 07. http://suo.ieee.org/ontology/msg03992.html 08. http://suo.ieee.org/ontology/msg03993.html 09. http://suo.ieee.org/ontology/msg03994.html 10. http://suo.ieee.org/ontology/msg03995.html 11. http://suo.ieee.org/ontology/msg03996.html 12. http://suo.ieee.org/ontology/msg03997.html 13. http://suo.ieee.org/ontology/msg03999.html 14. http://suo.ieee.org/ontology/msg04000.html 15. http://suo.ieee.org/ontology/msg04001.html 16. http://suo.ieee.org/ontology/msg04002.html 17. http://suo.ieee.org/ontology/msg04003.html 18. http://suo.ieee.org/ontology/msg04004.html 1.3. Languages, Models, and Satisfaction 19. http://suo.ieee.org/ontology/msg04005.html 20. http://suo.ieee.org/ontology/msg04006.html 21. http://suo.ieee.org/ontology/msg04007.html 22. http://suo.ieee.org/ontology/msg04008.html 23. http://suo.ieee.org/ontology/msg04009.html 24. http://suo.ieee.org/ontology/msg04010.html 25. http://suo.ieee.org/ontology/msg04011.html 26. http://suo.ieee.org/ontology/msg04012.html 27. http://suo.ieee.org/ontology/msg04016.html 28. http://suo.ieee.org/ontology/msg04017.html 29. http://suo.ieee.org/ontology/msg04019.html 30. http://suo.ieee.org/ontology/msg04020.html 31. http://suo.ieee.org/ontology/msg04021.html 1.4. Theories and Examples of Theories 32. http://suo.ieee.org/ontology/msg04022.html 33. http://suo.ieee.org/ontology/msg04023.html 34. http://suo.ieee.org/ontology/msg04024.html 35. http://suo.ieee.org/ontology/msg04025.html 36. http://suo.ieee.org/ontology/msg04026.html 37. http://suo.ieee.org/ontology/msg04027.html 38. http://suo.ieee.org/ontology/msg04028.html 1.5. Elimination of Quantifiers 39. http://suo.ieee.org/ontology/msg04029.html The above material is excerpted from: | C.C. Chang and H.J. Keisler, "Model Theory", | North-Holland, Amsterdam, Netherlands, 1973. o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o facebook page: https://www.facebook.com/JonnyCache inquiry list: http://stderr.org/pipermail/inquiry/ mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey knol profile: http://knol.google.com/k/Jon-Awbrey# oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey polmic: www.policymic.com/profiles/1110/Jon-Awbrey