{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,11]],"date-time":"2023-10-11T06:10:21Z","timestamp":1697004621832},"reference-count":5,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":3603,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1997,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Recently we gave a finitistic proof of the 0\u20131 law for \u2211<jats:sub>1<\/jats:sub><jats:sup>1<\/jats:sup> (Ackermann) sentences, which relied as much as possible on the original argument of Kolaitis and Vardi. Here we present another version of our proof which, on the contrary, is self\u2010contained. Finitism allows us to use the beautiful probabilistic argument of Kolaitis and Vardi in a simple and intuitive way. Consequently, we obtain a shorter proof.<\/jats:p>","DOI":"10.1002\/malq.19970430314","type":"journal-article","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T15:34:43Z","timestamp":1180452883000},"page":"413-418","source":"Crossref","is-referenced-by-count":0,"title":["A Simplified Proof of the 0\u20131 Law for Existential Second\u2010Order Ackermann Sentences"],"prefix":"10.1002","volume":"43","author":[{"given":"Thierry","family":"Lacoste","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"The Probabilistic Method","author":"Alon N.","year":"1992"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177729330"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.2307\/2272945"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90065-P"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(96)00035-X"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19970430314","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19970430314","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T05:37:38Z","timestamp":1696916258000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19970430314"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":5,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["10.1002\/malq.19970430314"],"URL":"https:\/\/doi.org\/10.1002\/malq.19970430314","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}