Model theory (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Model theory" in English language version.

refsWebsite

Global rank English rank

37doi.org

2^nd place

11archive.org

6^th place

9worldcat.org

5^th place

5semanticscholar.org

11^th place

8^th place

3jstor.org

26^th place

20^th place

2springer.com

274^th place

309^th place

2arxiv.org

69^th place

59^th place

2nih.gov

4^th place

1books.google.com

3^rd place

1stanford.edu

179^th place

183^rd place

1projecteuclid.org

3,707^th place

2,409^th place

1harvard.edu

18^th place

17^th place

1impan.pl

low place

archive.org

Hodges 1993, pp. 31, 92. Hodges, Wilfrid (1993). Model theory. Cambridge University Press. ISBN 0-521-30442-3.
Hodges 1993, p. 280. Hodges, Wilfrid (1993). Model theory. Cambridge University Press. ISBN 0-521-30442-3.
Hodges 1993, p. 333. Hodges, Wilfrid (1993). Model theory. Cambridge University Press. ISBN 0-521-30442-3.
Hodges 1993, p. 451. Hodges, Wilfrid (1993). Model theory. Cambridge University Press. ISBN 0-521-30442-3.
Hodges 1993, p. 492. Hodges, Wilfrid (1993). Model theory. Cambridge University Press. ISBN 0-521-30442-3.
Hodges 1993, p. 450. Hodges, Wilfrid (1993). Model theory. Cambridge University Press. ISBN 0-521-30442-3.
Hodges 1993, p. 452. Hodges, Wilfrid (1993). Model theory. Cambridge University Press. ISBN 0-521-30442-3.
Hodges 1993, p. 494. Hodges, Wilfrid (1993). Model theory. Cambridge University Press. ISBN 0-521-30442-3.
Hodges 1993, pp. 68–69. Hodges, Wilfrid (1993). Model theory. Cambridge University Press. ISBN 0-521-30442-3.
Hodges 1993, p. 475. Hodges, Wilfrid (1993). Model theory. Cambridge University Press. ISBN 0-521-30442-3.
Hodges 1993, p. 272. Hodges, Wilfrid (1993). Model theory. Cambridge University Press. ISBN 0-521-30442-3.

arxiv.org

Shelah, Saharon (2000). "On what I do not understand and have something to say (model theory)". Fundamenta Mathematicae. 166 (1): 1–82. arXiv:math/9910158. doi:10.4064/fm-166-1-2-1-82. ISSN 0016-2736. S2CID 116922041.
CHASE, HUNTER; FREITAG, JAMES (15 February 2019). "Model Theory and Machine Learning". The Bulletin of Symbolic Logic. 25 (3): 319–332. arXiv:1801.06566. doi:10.1017/bsl.2018.71. ISSN 1079-8986. S2CID 119689419.

books.google.com

Chang & Keisler 1990, p. 1. Chang, Chen Chung; Keisler, H. Jerome (1990) [1973]. Model Theory. Studies in Logic and the Foundations of Mathematics (3rd ed.). Elsevier. ISBN 978-0-444-88054-3.

doi.org

Doner, John; Hodges, Wilfrid (1988). "Alfred Tarski and Decidable Theories". The Journal of Symbolic Logic. 53 (1): 20. doi:10.2307/2274425. ISSN 0022-4812. JSTOR 2274425.
Tarski, Alfred (1953), "I: A General Method in Proofs of Undecidability", Undecidable Theories, Studies in Logic and the Foundations of Mathematics, vol. 13, Elsevier, pp. 1–34, doi:10.1016/s0049-237x(09)70292-7, ISBN 9780444533784, retrieved 26 January 2022 {{citation}}: ISBN / Date incompatibility (help)
Morley, Michael (1963). "On theories categorical in uncountable powers". Proceedings of the National Academy of Sciences of the United States of America. 49 (2): 213–216. Bibcode:1963PNAS...49..213M. doi:10.1073/pnas.49.2.213. PMC 299780. PMID 16591050.
Wagner, Frank (2011). Simple theories. Springer. doi:10.1007/978-94-017-3002-0. ISBN 978-90-481-5417-3.
Barwise, J. (2016), Barwise, J; Feferman, S (eds.), "Model-Theoretic Logics: Background and Aims", Model-Theoretic Logics, Cambridge: Cambridge University Press, pp. 3–24, doi:10.1017/9781316717158.004, ISBN 9781316717158, retrieved 15 January 2022
Shelah, Saharon (2000). "On what I do not understand and have something to say (model theory)". Fundamenta Mathematicae. 166 (1): 1–82. arXiv:math/9910158. doi:10.4064/fm-166-1-2-1-82. ISSN 0016-2736. S2CID 116922041.
Buechler, Steven; Lessmann, Olivier (8 October 2002). "Simple homogeneous models". Journal of the American Mathematical Society. 16 (1): 91–121. doi:10.1090/s0894-0347-02-00407-1. ISSN 0894-0347. S2CID 12044966.
Marker, David (2016), "Quasiminimal excellence", Lectures on Infinitary Model Theory, Cambridge: Cambridge University Press, pp. 97–112, doi:10.1017/cbo9781316855560.009, ISBN 9781316855560, retrieved 23 January 2022
Baldwin, John (24 July 2009). Categoricity. University Lecture Series. Vol. 50. Providence, Rhode Island: American Mathematical Society. doi:10.1090/ulect/050. ISBN 9780821848937.
Doner, John; Hodges, Wilfrid (March 1988). "Alfred Tarski and Decidable Theories". The Journal of Symbolic Logic. 53 (1): 20. doi:10.2307/2274425. ISSN 0022-4812. JSTOR 2274425.
Eklof, Paul C. (1977), "Ultraproducts for Algebraists", HANDBOOK OF MATHEMATICAL LOGIC, Studies in Logic and the Foundations of Mathematics, vol. 90, Elsevier, pp. 105–137, doi:10.1016/s0049-237x(08)71099-1, ISBN 9780444863881, retrieved 23 January 2022
Ax, James; Kochen, Simon (1965). "Diophantine Problems Over Local Fields: I.". American Journal of Mathematics. 87 (3): 605–630. doi:10.2307/2373065. JSTOR 2373065.
Cherlin, Greg; Hirschfeld, Joram (1972), "Ultrafilters and Ultraproducts in Non-Standard Analysis", Contributions to Non-Standard Analysis, Studies in Logic and the Foundations of Mathematics, vol. 69, Elsevier, pp. 261–279, doi:10.1016/s0049-237x(08)71563-5, ISBN 9780720420654, retrieved 23 January 2022
Pila, Jonathan (2011). "O-minimality and the André–Oort conjecture for Cⁿ". Annals of Mathematics. 173 (3): 1779–1840. doi:10.4007/annals.2011.173.3.11.
CHASE, HUNTER; FREITAG, JAMES (15 February 2019). "Model Theory and Machine Learning". The Bulletin of Symbolic Logic. 25 (3): 319–332. arXiv:1801.06566. doi:10.1017/bsl.2018.71. ISSN 1079-8986. S2CID 119689419.
Tarski, Alfred (1954). "Contributions to the Theory of Models. I". Indagationes Mathematicae. 57: 572–581. doi:10.1016/S1385-7258(54)50074-0. ISSN 1385-7258.
Wilfrid Hodges (24 May 2018). "Historical Appendix: A short history of model theory". Philosophy and model theory. By Button, Tim; Walsh, Sean. p. 439. doi:10.1093/oso/9780198790396.003.0018.
"All three commentators [i.e. Vaught, van Heijenoort and Dreben] agree that both the completeness and compactness theorems were implicit in Skolem 1923...." [Dawson, J. W. (1993). "The compactness of first-order logic:from Gödel to Lindström". History and Philosophy of Logic. 14: 15–37. doi:10.1080/01445349308837208.]
Baldwin, John T. (19 January 2018). Model Theory and the Philosophy of Mathematical Practice. Cambridge University Press. doi:10.1017/9781316987216. ISBN 978-1-107-18921-8. S2CID 126311148.
Sacks, Gerald (2003). Mathematical logic in the 20th century. Singapore University Press. doi:10.1142/4800. ISBN 981-256-489-6. OCLC 62715985.
Ebbinghaus, Heinz-Dieter; Flum, Jörg (1995). Finite Model Theory. Perspectives in Mathematical Logic. p. v. doi:10.1007/978-3-662-03182-7. ISBN 978-3-662-03184-1.
Ebbinghaus, Heinz-Dieter; Flum, Jörg (1995). "0-1 Laws". Finite Model Theory. Perspectives in Mathematical Logic. doi:10.1007/978-3-662-03182-7. ISBN 978-3-662-03184-1.
Ebbinghaus, Heinz-Dieter; Flum, Jörg (1995). Finite Model Theory. Perspectives in Mathematical Logic. doi:10.1007/978-3-662-03182-7. ISBN 978-3-662-03184-1.
Baldwin, John T. (19 January 2018). "Model theory and set theory". Model Theory and the Philosophy of Mathematical Practice. Cambridge University Press. doi:10.1017/9781316987216. ISBN 978-1-107-18921-8. S2CID 126311148.

dx.doi.org

Doner, John; Hodges, Wilfrid (1988). "Alfred Tarski and Decidable Theories". The Journal of Symbolic Logic. 53 (1): 20. doi:10.2307/2274425. ISSN 0022-4812. JSTOR 2274425.
Tarski, Alfred (1953), "I: A General Method in Proofs of Undecidability", Undecidable Theories, Studies in Logic and the Foundations of Mathematics, vol. 13, Elsevier, pp. 1–34, doi:10.1016/s0049-237x(09)70292-7, ISBN 9780444533784, retrieved 26 January 2022 {{citation}}: ISBN / Date incompatibility (help)
Barwise, J. (2016), Barwise, J; Feferman, S (eds.), "Model-Theoretic Logics: Background and Aims", Model-Theoretic Logics, Cambridge: Cambridge University Press, pp. 3–24, doi:10.1017/9781316717158.004, ISBN 9781316717158, retrieved 15 January 2022
Marker, David (2016), "Quasiminimal excellence", Lectures on Infinitary Model Theory, Cambridge: Cambridge University Press, pp. 97–112, doi:10.1017/cbo9781316855560.009, ISBN 9781316855560, retrieved 23 January 2022
Doner, John; Hodges, Wilfrid (March 1988). "Alfred Tarski and Decidable Theories". The Journal of Symbolic Logic. 53 (1): 20. doi:10.2307/2274425. ISSN 0022-4812. JSTOR 2274425.
Eklof, Paul C. (1977), "Ultraproducts for Algebraists", HANDBOOK OF MATHEMATICAL LOGIC, Studies in Logic and the Foundations of Mathematics, vol. 90, Elsevier, pp. 105–137, doi:10.1016/s0049-237x(08)71099-1, ISBN 9780444863881, retrieved 23 January 2022
Cherlin, Greg; Hirschfeld, Joram (1972), "Ultrafilters and Ultraproducts in Non-Standard Analysis", Contributions to Non-Standard Analysis, Studies in Logic and the Foundations of Mathematics, vol. 69, Elsevier, pp. 261–279, doi:10.1016/s0049-237x(08)71563-5, ISBN 9780720420654, retrieved 23 January 2022
CHASE, HUNTER; FREITAG, JAMES (15 February 2019). "Model Theory and Machine Learning". The Bulletin of Symbolic Logic. 25 (3): 319–332. arXiv:1801.06566. doi:10.1017/bsl.2018.71. ISSN 1079-8986. S2CID 119689419.
Baldwin, John T. (19 January 2018). Model Theory and the Philosophy of Mathematical Practice. Cambridge University Press. doi:10.1017/9781316987216. ISBN 978-1-107-18921-8. S2CID 126311148.
Ebbinghaus, Heinz-Dieter; Flum, Jörg (1995). Finite Model Theory. Perspectives in Mathematical Logic. p. v. doi:10.1007/978-3-662-03182-7. ISBN 978-3-662-03184-1.
Ebbinghaus, Heinz-Dieter; Flum, Jörg (1995). "0-1 Laws". Finite Model Theory. Perspectives in Mathematical Logic. doi:10.1007/978-3-662-03182-7. ISBN 978-3-662-03184-1.
Ebbinghaus, Heinz-Dieter; Flum, Jörg (1995). Finite Model Theory. Perspectives in Mathematical Logic. doi:10.1007/978-3-662-03182-7. ISBN 978-3-662-03184-1.
Baldwin, John T. (19 January 2018). "Model theory and set theory". Model Theory and the Philosophy of Mathematical Practice. Cambridge University Press. doi:10.1017/9781316987216. ISBN 978-1-107-18921-8. S2CID 126311148.

harvard.edu

ui.adsabs.harvard.edu

Morley, Michael (1963). "On theories categorical in uncountable powers". Proceedings of the National Academy of Sciences of the United States of America. 49 (2): 213–216. Bibcode:1963PNAS...49..213M. doi:10.1073/pnas.49.2.213. PMC 299780. PMID 16591050.

impan.pl

Shelah, Saharon (2000). "On what I do not understand and have something to say (model theory)". Fundamenta Mathematicae. 166 (1): 1–82. arXiv:math/9910158. doi:10.4064/fm-166-1-2-1-82. ISSN 0016-2736. S2CID 116922041.

jstor.org

Doner, John; Hodges, Wilfrid (1988). "Alfred Tarski and Decidable Theories". The Journal of Symbolic Logic. 53 (1): 20. doi:10.2307/2274425. ISSN 0022-4812. JSTOR 2274425.
Doner, John; Hodges, Wilfrid (March 1988). "Alfred Tarski and Decidable Theories". The Journal of Symbolic Logic. 53 (1): 20. doi:10.2307/2274425. ISSN 0022-4812. JSTOR 2274425.
Ax, James; Kochen, Simon (1965). "Diophantine Problems Over Local Fields: I.". American Journal of Mathematics. 87 (3): 605–630. doi:10.2307/2373065. JSTOR 2373065.

nih.gov

ncbi.nlm.nih.gov

Morley, Michael (1963). "On theories categorical in uncountable powers". Proceedings of the National Academy of Sciences of the United States of America. 49 (2): 213–216. Bibcode:1963PNAS...49..213M. doi:10.1073/pnas.49.2.213. PMC 299780. PMID 16591050.

pubmed.ncbi.nlm.nih.gov

Morley, Michael (1963). "On theories categorical in uncountable powers". Proceedings of the National Academy of Sciences of the United States of America. 49 (2): 213–216. Bibcode:1963PNAS...49..213M. doi:10.1073/pnas.49.2.213. PMC 299780. PMID 16591050.

projecteuclid.org

Barwise & Feferman 1985, p. 43. Barwise, J.; Feferman, S., eds. (1985). "Model-Theoretic Logics". Perspectives in Logic. 8. ISBN 3540909362.

semanticscholar.org

api.semanticscholar.org

Shelah, Saharon (2000). "On what I do not understand and have something to say (model theory)". Fundamenta Mathematicae. 166 (1): 1–82. arXiv:math/9910158. doi:10.4064/fm-166-1-2-1-82. ISSN 0016-2736. S2CID 116922041.
Buechler, Steven; Lessmann, Olivier (8 October 2002). "Simple homogeneous models". Journal of the American Mathematical Society. 16 (1): 91–121. doi:10.1090/s0894-0347-02-00407-1. ISSN 0894-0347. S2CID 12044966.
CHASE, HUNTER; FREITAG, JAMES (15 February 2019). "Model Theory and Machine Learning". The Bulletin of Symbolic Logic. 25 (3): 319–332. arXiv:1801.06566. doi:10.1017/bsl.2018.71. ISSN 1079-8986. S2CID 119689419.
Baldwin, John T. (19 January 2018). Model Theory and the Philosophy of Mathematical Practice. Cambridge University Press. doi:10.1017/9781316987216. ISBN 978-1-107-18921-8. S2CID 126311148.
Baldwin, John T. (19 January 2018). "Model theory and set theory". Model Theory and the Philosophy of Mathematical Practice. Cambridge University Press. doi:10.1017/9781316987216. ISBN 978-1-107-18921-8. S2CID 126311148.

springer.com

link.springer.com

Dirk van Dalen, (1980; Fifth revision 2013) "Logic and Structure" Springer. (See page 1.)
Wagner, Frank (2011). Simple theories. Springer. doi:10.1007/978-94-017-3002-0. ISBN 978-90-481-5417-3.

stanford.edu

plato.stanford.edu

"Model Theory". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2020.

worldcat.org

search.worldcat.org

Doner, John; Hodges, Wilfrid (1988). "Alfred Tarski and Decidable Theories". The Journal of Symbolic Logic. 53 (1): 20. doi:10.2307/2274425. ISSN 0022-4812. JSTOR 2274425.
Saharon., Shelah (1990). Classification theory and the number of non-isomorphic models. North-Holland. ISBN 0-444-70260-1. OCLC 800472113.
Shelah, Saharon (2000). "On what I do not understand and have something to say (model theory)". Fundamenta Mathematicae. 166 (1): 1–82. arXiv:math/9910158. doi:10.4064/fm-166-1-2-1-82. ISSN 0016-2736. S2CID 116922041.
Buechler, Steven; Lessmann, Olivier (8 October 2002). "Simple homogeneous models". Journal of the American Mathematical Society. 16 (1): 91–121. doi:10.1090/s0894-0347-02-00407-1. ISSN 0894-0347. S2CID 12044966.
Doner, John; Hodges, Wilfrid (March 1988). "Alfred Tarski and Decidable Theories". The Journal of Symbolic Logic. 53 (1): 20. doi:10.2307/2274425. ISSN 0022-4812. JSTOR 2274425.
CHASE, HUNTER; FREITAG, JAMES (15 February 2019). "Model Theory and Machine Learning". The Bulletin of Symbolic Logic. 25 (3): 319–332. arXiv:1801.06566. doi:10.1017/bsl.2018.71. ISSN 1079-8986. S2CID 119689419.
Tarski, Alfred (1954). "Contributions to the Theory of Models. I". Indagationes Mathematicae. 57: 572–581. doi:10.1016/S1385-7258(54)50074-0. ISSN 1385-7258.
Sacks, Gerald (2003). Mathematical logic in the 20th century. Singapore University Press. doi:10.1142/4800. ISBN 981-256-489-6. OCLC 62715985.

worldcat.org

Saharon., Shelah (1990). Classification theory and the number of non-isomorphic models. North-Holland. ISBN 0-444-70260-1. OCLC 800472113.