{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T10:28:13Z","timestamp":1775557693649,"version":"3.50.1"},"reference-count":4,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":9689,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1987,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Let <jats:italic>T<\/jats:italic> be a complete first-order theory over a finite relational language which is axiomatized by universal and existential sentences. It is shown that <jats:italic>T<\/jats:italic> is almost trivial in the sense that the universe of any model of <jats:italic>T<\/jats:italic> can be written <jats:bold><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481200029704_inline1.png\"\/><\/jats:bold>. where <jats:italic>F<\/jats:italic> is finite and <jats:italic>I<\/jats:italic><jats:sub>1<\/jats:sub>, <jats:italic>I<\/jats:italic><jats:sub>2<\/jats:sub>, \u2026, <jats:italic>I<jats:sub>n<\/jats:sub><\/jats:italic> are mutually indiscernible over <jats:italic>F<\/jats:italic>. Some results about complete theories with \u2203\u2200-axioms over a finite relational language are also mentioned.<\/jats:p>","DOI":"10.2307\/2274358","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:22:39Z","timestamp":1146954159000},"page":"698-711","source":"Crossref","is-referenced-by-count":7,"title":["Complete theories with only universal and existential axioms"],"prefix":"10.1017","volume":"52","author":[{"given":"A. H.","family":"Lachlan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200029704_bib004","volume-title":"Classification theory and the number of non-isomorphic models","author":"Shelah","year":"1978"},{"key":"S0022481200029704_bib002","doi-asserted-by":"publisher","DOI":"10.1016\/0095-8956(86)90046-8"},{"key":"S0022481200029704_bib001","author":"Hodkinson","journal-title":"Relational structures determined by their finite induced substructures"},{"key":"S0022481200029704_bib003","doi-asserted-by":"publisher","DOI":"10.1007\/BF01215230"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200029704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,22]],"date-time":"2023-03-22T10:38:53Z","timestamp":1679481533000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200029704\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,9]]},"references-count":4,"aliases":["10.1017\/s0022481200029704"],"journal-issue":{"issue":"3","published-print":{"date-parts":[[1987,9]]}},"alternative-id":["S0022481200029704"],"URL":"https:\/\/doi.org\/10.2307\/2274358","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,9]]}}}