{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T05:40:39Z","timestamp":1698298839468},"reference-count":9,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":4334,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Using only propositional connectives and the provability predicate of a \u03a3<jats:sub>1<\/jats:sub>\u2010sound theory <jats:italic>T<\/jats:italic> containing Peano Arithmetic we define recursively enumerable relations that are complete for specific natural classes of relations, as the class of all r. e. relations, and the class of all strict partial orders. We apply these results to give representations of these classes in <jats:italic>T<\/jats:italic> by means of formulas.<\/jats:p>","DOI":"10.1002\/malq.19950410107","type":"journal-article","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T00:21:10Z","timestamp":1180830070000},"page":"65-72","source":"Crossref","is-referenced-by-count":1,"title":["Complete, Recursively Enumerable Relations in Arithmetic"],"prefix":"10.1002","volume":"41","author":[{"given":"Giovanna","family":"D'Agostino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Magnago","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"Bernardi C. andG.D'Agostino Translating the Hypergame paradox: Remarks on the set of founded elements of a relation. Submitted."},{"key":"e_1_2_1_3_2","doi-asserted-by":"crossref","first-page":"221","DOI":"10.4064\/fm-124-3-221-233","article-title":"Equivalence relations induced by extensional formulae: Classification by means of a new fixed point property","volume":"124","author":"Bernardi C.","year":"1984","journal-title":"Fund. Math."},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.2307\/2273443"},{"key":"e_1_2_1_5_2","volume-title":"The Unprovability of Consistency","author":"Boolos G.","year":"1979"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00284977"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274228"},{"key":"e_1_2_1_8_2","volume-title":"Classical Recursion Theory","author":"Odifreddi P.","year":"1989"},{"key":"e_1_2_1_9_2","article-title":"Subalgebras of diagonalizable algebras of theories containing arithmetic","volume":"323","author":"Shavrukov V. Yu.","year":"1993","journal-title":"Dissertationes Math."},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274587"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19950410107","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19950410107","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T17:58:12Z","timestamp":1698256692000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19950410107"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1002\/malq.19950410107"],"URL":"https:\/\/doi.org\/10.1002\/malq.19950410107","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}