{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:52Z","timestamp":1725662872934},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133315"},{"type":"electronic","value":"9783540388562"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13331-3_46","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:01:16Z","timestamp":1330192876000},"page":"270-284","source":"Crossref","is-referenced-by-count":1,"title":["On the solvability of the extended \u2200\u2203 \u2227 \u2203\u2200\u22c6 \u2014 Ackermann class with identity"],"prefix":"10.1007","author":[{"given":"St\u00e5l","family":"Aanderaa","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"638","DOI":"10.1007\/BF01448869","volume":"100","author":"W. Ackermann","year":"1928","unstructured":"Ackermann, Wilhelm 1928 \"\u00dcber die Erf\u00fcllbarkeit gewisser Z\u00e4hla\u00fcsdrucke,\" Math. Ann. V. 100 pp. 638\u2013649","journal-title":"Math. Ann."},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1007\/BF01565424","volume":"112","author":"W. Ackermann","year":"1936","unstructured":"Ackermann, Wilhelm 1936. \"Beitr\u00e4ge zum Entscheidungsproblem der mathematischen Logik\". Math. Ann. V. 112 pp. 414\u2013432.","journal-title":"Math. Ann."},{"key":"17_CR3","volume-title":"Set theory. An introduction to large cardinals","author":"F. R. Drake","year":"1974","unstructured":"Drake, Frank R, 1974 Set theory. An introduction to large cardinals. North-Holland. Amsterdam."},{"key":"17_CR4","volume-title":"Applications of the Herbrand theorem","author":"J. Denton","year":"1963","unstructured":"Denton, John 1963 Applications of the Herbrand theorem. Ph.D. thesis, Harvard University, Cambridge, Mass."},{"key":"17_CR5","first-page":"590","volume":"10","author":"B. Dreben","year":"1963","unstructured":"Dreben, Burten and John Denton 1963 \"Three solvable cases,\" Notices Amer.Math.Soc. V.10 p 590.","journal-title":"Notices Amer.Math.Soc."},{"key":"17_CR6","volume-title":"The decision problem. Solvable classes of quantificational formulas","author":"B. Dreben","year":"1979","unstructured":"Dreben, Burton and Goldfarb, Warren D., 1979. The decision problem. Solvable classes of quantificational formulas. Addison-Wesley Reading, Massachusetts"},{"issue":"106","key":"17_CR7","first-page":"213","volume":"17","author":"V. F. Kostyrko","year":"1962","unstructured":"Kostyrko, V.F. 1962 \"On a case of the decision problem in the restricted predicate calculus\". Uspekhi.Mat.Nauk V.17 (106) p.213.","journal-title":"Uspekhi.Mat.Nauk"},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1112\/plms\/s2-30.1.264","volume":"30","author":"F. P. Ramsey","year":"1930","unstructured":"Ramsey, F.P., 1930 \"On a problem of formal logic\", Proc. London Math. Soc (Ser.2) V.30 pp. 264\u2013286.","journal-title":"Proc. London Math. Soc"}],"container-title":["Lecture Notes in Computer Science","Logic and Machines: Decision Problems and Complexity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13331-3_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:52:37Z","timestamp":1619556757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13331-3_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133315","9783540388562"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-13331-3_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}