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

35doi.org

2^nd place

8worldcat.org

5^th place

5semanticscholar.org

11^th place

8^th place

2books.google.com

3^rd place

2springer.com

274^th place

309^th place

2jstor.org

26^th place

20^th place

2arxiv.org

69^th place

59^th place

2nih.gov

4^th place

1stanford.edu

179^th place

183^rd place

1harvard.edu

18^th place

17^th place

1impan.pl

low place

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 (2019-02-15). "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 and Keisler, p. 1
Chang and Keisler, p. 1

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 2022-01-26
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 2022-01-15
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 (2002-10-08). "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 2022-01-23
Baldwin, John (2009-07-24). 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 2022-01-23
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 2022-01-23
CHASE, HUNTER; FREITAG, JAMES (2019-02-15). "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 (2018-05-24). "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. (2018-01-19). 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. (2018-01-19). "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 2022-01-26
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 2022-01-15
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 2022-01-23
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 2022-01-23
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 2022-01-23
CHASE, HUNTER; FREITAG, JAMES (2019-02-15). "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. (2018-01-19). 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. (2018-01-19). "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.

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.

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 (2002-10-08). "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 (2019-02-15). "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. (2018-01-19). 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. (2018-01-19). "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

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 (2002-10-08). "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 (2019-02-15). "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.