Editing Compactness theorem (section)

==References==

* {{cite book|last=Boolos|first=George|author2=Jeffrey, Richard|author3=Burgess, John|title=''Computability and Logic''|edition=fourth|year=2004|publisher=Cambridge University Press}}
* {{cite book|last=Chang|first=C.C.|author2=Keisler, H. Jerome|author-link2=Howard Jerome Keisler|publisher=Elsevier|title=Model Theory|year=1989|edition=third|isbn=0-7204-0692-7}}
* {{cite journal|last=Dawson|first=John W. junior|title=The compactness of first-order logic: From Gödel to Lindström|journal=History and Philosophy of Logic|year=1993|volume=14|pages=15–37|doi=10.1080/01445349308837208}}
* {{cite book|last=Hodges|first=Wilfrid|author-link=Wilfrid Hodges|publisher=Cambridge University Press|title=Model theory|url=https://archive.org/details/modeltheory0000hodg|url-access=registration|year=1993|isbn=0-521-30442-3}}
* {{cite book|last=Goldblatt|first=Robert|title=Lectures on the Hyperreals|url=https://archive.org/details/lecturesonhyperr00gold_574|url-access=limited|author-link=Robert Goldblatt|year=1998|publisher=Springer Verlag|location=New York|isbn=0-387-98464-X}} <!--{{sfn|Goldblatt|1998|p=}}-->
* {{cite book|last1=Gowers|first1=Timothy|last2=Barrow-Green|first2=June|last3=Leader|first3=Imre|title=The Princeton Companion to Mathematics|publisher=Princeton University Press|publication-place=Princeton|year=2008|isbn=978-1-4008-3039-8|oclc=659590835|pages=635–646}} <!--{{sfn|Gowers|Barrow-Green|Leader|2008|p=}}-->
* {{cite book|last=Marker|first=David|title= Model Theory: An Introduction|publisher=Springer|series=[[Graduate Texts in Mathematics]]|volume=217|year=2002|isbn=978-0-387-98760-6|oclc=49326991}} <!--{{sfn|Marker|2002|p=}}-->
* {{cite journal|last=Robinson|first=J. A.|title=A Machine-Oriented Logic Based on the Resolution Principle|journal=Journal of the ACM|publisher=Association for Computing Machinery (ACM)|volume=12|issue=1|year=1965|issn=0004-5411|doi=10.1145/321250.321253|pages=23–41|s2cid=14389185|doi-access=free}} <!--{{sfn|Robinson|1965|pp=23–41}}-->
* {{cite book|last=Truss|first=John K.|author-link=John Truss|title=Foundations of Mathematical Analysis|year=1997|publisher=Oxford University Press|isbn=0-19-853375-6}}