Editing Model theory (section)

== References ==

=== Canonical textbooks ===
* {{Cite book | last1=Chang | author-link=Chen Chung Chang | first1=Chen Chung | last2=Keisler | first2=H. Jerome | author2-link=Howard Jerome Keisler | title=Model Theory | orig-year=1973 | publisher=Elsevier | edition=3rd | series=Studies in Logic and the Foundations of Mathematics | isbn=978-0-444-88054-3 | year=1990 }}
* {{Cite book|last1=Chang|first1=Chen Chung|author1-link=Chen Chung Chang|last2=Keisler|first2=H. Jerome|author2-link=Howard Jerome Keisler|title=Model Theory|year=2012|orig-year=1990|publisher=[[Dover Publications]]|edition=3rd|series=Dover Books on Mathematics|pages=672|isbn=978-0-486-48821-9}}
* {{Cite book | last1=Hodges | first1=Wilfrid | author1-link=Wilfrid Hodges | title=A shorter model theory | publisher= [[Cambridge University Press]]| location=Cambridge | isbn=978-0-521-58713-6 | year=1997 }}
* {{cite book | last1=Kopperman | first1=R. | title=Model Theory and Its Applications | publisher=[[Allyn and Bacon]] | location=Boston | year=1972 }}
* {{cite book | last=Marker | first=David | title= Model Theory: An Introduction | publisher=Springer | year=2002 | isbn=0-387-98760-6| series=[[Graduate Texts in Mathematics]] 217}}

=== Other textbooks ===

* {{cite book | last1=Bell | first1=John L. |last2=Slomson |first2=Alan B. | year=2006 | title=Models and Ultraproducts: An Introduction | edition=reprint of 1974 | orig-year=1969 | publisher=[[Dover Publications]] | isbn=0-486-44979-3 }}
* {{cite book | last=Ebbinghaus | first=Heinz-Dieter | author2=Flum, Jörg | author3=Thomas, Wolfgang | publisher=[[Springer Science+Business Media|Springer]] | title=Mathematical Logic | year=1994 | isbn=0-387-94258-0 | url-access=registration | url=https://archive.org/details/mathematicallogi1996ebbi }}
* {{cite book | author = Hinman, Peter G. | title = Fundamentals of Mathematical Logic | publisher = [[A K Peters, Ltd.|A K Peters]] | year = 2005 | isbn = 1-56881-262-0}}
* {{cite book | last=Hodges | first=Wilfrid | author-link=Wilfrid Hodges | publisher=[[Cambridge University Press]] | title=Model theory | year=1993 | isbn=0-521-30442-3 | url-access=registration | url=https://archive.org/details/modeltheory0000hodg }}
* {{cite book |last=Manzano |first=María |author-link=María Manzano |title=Teoría de modelos|language=es|year=1989 |publisher=[[Alianza Editorial]]|url=https://www.researchgate.net/publication/277269984|
isbn=9788420681269}}
:{{cite book |last=Manzano |first=María |author-link=María Manzano |author-mask=0|title=Model Theory |translator-last=De Queiroz|translator-first=Ruy|year=1999 |orig-year=1989|publisher=[[Oxford University Press]] |series=Oxford Logic Guides |volume=37|isbn=978-0198538516}}
* {{cite book | last=Poizat | first=Bruno | publisher=Springer | title=A Course in Model Theory | year=2000 | isbn=0-387-98655-3 | url-access=registration | url=https://archive.org/details/courseinmodelthe0000poiz }}
* {{cite book | last=Rautenberg | first=Wolfgang | author-link=Wolfgang Rautenberg | doi=10.1007/978-1-4419-1221-3 | title=A Concise Introduction to Mathematical Logic | publisher=[[Springer Science+Business Media]] | location=[[New York City|New York]] | edition=3rd | isbn=978-1-4419-1220-6 | year=2010 }}
* {{cite book | last=Rothmaler | first=Philipp | title=Introduction to Model Theory | publisher=[[Taylor and Francis|Taylor & Francis]] | year=2000 | edition=new | isbn=90-5699-313-5 }}
* {{cite book | last2=Ziegler | first2=Martin |author1=Tent, Katrin |author1-link= Katrin Tent | publisher=[[Cambridge University Press]] | title=A Course in Model Theory | year=2012 | isbn= 9780521763240}}
* {{cite book | author = Kirby, Jonathan | title = An Invitation to Model Theory | publisher = [[Cambridge University Press]] | year = 2019 | isbn = 978-1-107-16388-1}}

===Free online texts===
* {{cite book |last=Chatzidakis |first= Zoé|author-link= Zoé Chatzidakis |year=2001 |title=Introduction to Model Theory |pages=26 pages |url=http://www.math.ens.fr/~zchatzid/papiers/MTluminy.pdf}}
* {{cite book |last=Pillay |first=Anand |title=Lecture Notes – Model Theory |year=2002 |url=https://www3.nd.edu/~apillay/pdf/lecturenotes_modeltheory.pdf |pages=61 pages}}
* {{Springer |title=Model theory |id=p/m064390}}
* [[Wilfrid Hodges|Hodges, Wilfrid]], ''[http://plato.stanford.edu/entries/model-theory/ Model theory]''. The Stanford Encyclopedia Of Philosophy, E. Zalta (ed.).
* [[Wilfrid Hodges|Hodges, Wilfrid]], ''[http://plato.stanford.edu/entries/modeltheory-fo/ First-order Model theory]''. The Stanford Encyclopedia Of Philosophy, E. Zalta (ed.).
* Simmons, Harold (2004), ''[https://web.archive.org/web/20110522083749/http://www.cs.man.ac.uk/~hsimmons/BOOKS/ModelTheory.pdf An introduction to Good old fashioned model theory]''. Notes of an introductory course for postgraduates (with exercises).
* {{cite journal|editor-last1=Barwise|editor-first1=J.|editor-link1=Jon Barwise|editor-last2=Feferman|editor-first2=S.|editor-link2=Solomon Feferman |journal=Perspectives in Logic |volume=8 |year=1985 |title=Model-Theoretic Logics |url=http://projecteuclid.org/euclid.pl/1235417263 |isbn=3540909362}}


{{Areas of mathematics}}
{{Mathematical logic}}

{{Authority control}}

[[Category:Model theory| ]]
[[Category:Mathematical logic| Model]]
[[Category:Mathematical proofs]]