{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,27]],"date-time":"2022-12-27T11:10:29Z","timestamp":1672139429412},"reference-count":22,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Math. Log."],"published-print":{"date-parts":[[2008,12]]},"abstract":"<jats:p> We present a decision procedure for the \u2200\u2203 theory of the lattice of \u03a3<jats:sub>1<\/jats:sub> sentences of Peano Arithmetic. <\/jats:p>","DOI":"10.1142\/s0219061308000774","type":"journal-article","created":{"date-parts":[[2010,2,24]],"date-time":"2010-02-24T21:14:11Z","timestamp":1267046051000},"page":"251-280","source":"Crossref","is-referenced-by-count":6,"title":["THE \u2200\u2203 THEORY OF PEANO \u03a3<sub>1<\/sub> SENTENCES"],"prefix":"10.1142","volume":"08","author":[{"given":"PER","family":"LINDSTR\u00d6M","sequence":"first","affiliation":[{"name":"Nijenburg 24, 1081 GG Amsterdam, The Netherlands"}]},{"given":"V. YU.","family":"SHAVRUKOV","sequence":"additional","affiliation":[{"name":"Nijenburg 24, 1081 GG Amsterdam, The Netherlands"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-88514-3"},{"key":"rf2","volume-title":"Distributive Lattices","author":"Balbes R.","year":"1974"},{"key":"rf3","first-page":"217","volume":"46","author":"Ball R. N.","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/4.5.811"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"rf7","volume-title":"General Lattice Theory","author":"Gr\u00e4tzer G.","year":"1998"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1979-0539907-7"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.2307\/2273334"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22156-3"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(98)80022-0"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-68-03513-8"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(78)90020-7"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0099490"},{"key":"rf15","volume-title":"Aspects of Incompleteness","author":"Lindstr\u00f6m P.","year":"2003"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(83)90031-3"},{"key":"rf17","volume-title":"Classical Recursion Theory","author":"Odifreddi P. G.","year":"1999"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.2307\/1969035"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-009-0161-3"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1007\/BF02757006"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/042\/791072"},{"key":"rf23","first-page":"1","volume":"25","author":"Vrancken-Mawet L.","journal-title":"Comment. Math. Univ. Carolinae"}],"container-title":["Journal of Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0219061308000774","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T08:28:06Z","timestamp":1565080086000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0219061308000774"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12]]},"references-count":22,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2008,12]]}},"alternative-id":["10.1142\/S0219061308000774"],"URL":"https:\/\/doi.org\/10.1142\/s0219061308000774","relation":{},"ISSN":["0219-0613","1793-6691"],"issn-type":[{"value":"0219-0613","type":"print"},{"value":"1793-6691","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,12]]}}}