{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T16:31:21Z","timestamp":1767198681644,"version":"build-2238731810"},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":13798,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1976,6]]},"abstract":"<jats:p>The generic structures introduced by Abraham Robinson are now well established in model theory. Anyone who works with these structures soon begins to feel that, in some sense, the infinite generic structures are large and the finite generic structures are small. Here \u2018large\u2019 and \u2018small\u2019 do not refer to the cardinality of the structures but are used in the way we describe saturated structures as large and atomic structures as small. In this paper I isolate what I consider to be the large and small existentially closed (e.c.) structures and attempt to determine their role in the class of all e.c. structures.<\/jats:p>\n                  <jats:p>\n                    In the usual context of model theory we are concerned with elementary embeddings and all formulas. E.c. structures are concerned with all embeddings and \u2203\n                    <jats:sub>1<\/jats:sub>\n                    -formulas. Thus we need to look at \u2203\n                    <jats:sub>1<\/jats:sub>\n                    -analogues of saturated and atomic structures. These \u2203\n                    <jats:sub>1<\/jats:sub>\n                    -saturated structures have been around for some time; they are just the existentially universal structures. The corresponding \u2203\n                    <jats:sub>1<\/jats:sub>\n                    -atomic structures are not new here (they appear in [8]) but I believe that this paper will add much to the understanding of them.\n                  <\/jats:p>\n                  <jats:p>\n                    The bulk of this paper is in \u00a7\u00a72 and 4. \u00a72 deals with \u2203\n                    <jats:sub>1<\/jats:sub>\n                    -atomic structures, and \u00a74 is concerned with the \u2203\n                    <jats:sub>1<\/jats:sub>\n                    -analogues of several results in Vaught's paper [12].\n                  <\/jats:p>\n                  <jats:p>A similar program has been carried out by Pouzet in [6], [7], [8]; however, there the significance of e.c. and e.c. structures is not realized and consequently some of the simplicity of the situation is lost.<\/jats:p>","DOI":"10.2307\/2272237","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T17:41:13Z","timestamp":1146937273000},"page":"379-390","source":"Crossref","is-referenced-by-count":9,"title":["Large and small existentially closed structures"],"prefix":"10.1017","volume":"41","author":[{"given":"H.","family":"Simmons","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200051446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,23]],"date-time":"2023-03-23T23:10:19Z","timestamp":1679613019000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200051446\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976,6]]},"references-count":0,"aliases":["10.1017\/s0022481200051446"],"journal-issue":{"issue":"2","published-print":{"date-parts":[[1976,6]]}},"alternative-id":["S0022481200051446"],"URL":"https:\/\/doi.org\/10.2307\/2272237","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1976,6]]}}}