{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:59Z","timestamp":1725662879547},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108542"},{"type":"electronic","value":"9783540387657"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10854-8_38","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:31:04Z","timestamp":1330191064000},"page":"341-349","source":"Crossref","is-referenced-by-count":0,"title":["Elimination of second-order quantifiers for well-founded trees in stationary logic and finitely determinate structures"],"prefix":"10.1007","author":[{"given":"Detlef","family":"Seese","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,28]]},"reference":[{"issue":"2","key":"38_CR1","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0003-4843(78)90003-7","volume":"13","author":"J. Barwise","year":"1978","unstructured":"J. BARWISE, M. KAUFMANN, M. MAKKAI, Stationary Logic, Annals of Mathematical Logic, vol. 13, Nu. 2, March 1978, 171\u2013224.","journal-title":"Annals of Mathematical Logic"},{"key":"38_CR2","unstructured":"A. BAUDISCH, The elementary theory of abelian groups with mchains of pure subgroups, preprint 1978."},{"key":"38_CR3","unstructured":"A. BAUDISCH, D. SEESE, H.P. TUSCHIK, M. WEESE, Decidability and Generalized Quantifiers, Akademie-Verlag Berlin 1980."},{"key":"38_CR4","unstructured":"A. BAUDISCH, D. SEESE, P. TUSCHIK, \u03c9-Trees in Stationary Logic, to appear in Fund. Math."},{"key":"38_CR5","unstructured":"A. BAUDISCH, P. TUSCHIK, L(aa) = L(Q1) for trees, unpublished manuscript, 1979."},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"J.R. B\u00dcCHI, Using Determinacy of Games to Eliminate Quantifiers, Lecture Notes in Computer Science 56, 367\u2013378.","DOI":"10.1007\/978-3-662-40153-8_41"},{"issue":"3","key":"38_CR7","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0003-4843(79)90009-3","volume":"17","author":"P.C. Eklof","year":"1979","unstructured":"P.C. EKLOF, A.H. MEKLER, Stationary Logic of Finitely Determinate Structures, Annals of Mathematical Logic, vol. 17, Nu. 3, 1979, 227\u2013269.","journal-title":"Annals of Mathematical Logic"},{"key":"38_CR8","unstructured":"H. HERRE, Remarks and Problems Concerning the Elimination of Generalized Quantifiers, unpublished manuscript 1980."},{"key":"38_CR9","unstructured":"M. KAUFMANN, Some results in stationary logic, Ph. D. Dissertation, University of Wisconsin, 1978."},{"key":"38_CR10","volume-title":"Some aspects of generalized quantifiers","author":"L.D. Lipner","year":"1970","unstructured":"L.D. LIPNER, Some aspects of generalized quantifiers, Doctoral Dissertation, Univ. of California, Berkeley, 1970."},{"key":"38_CR11","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0003-4843(77)90010-9","volume":"11","author":"D.W. Keker","year":"1977","unstructured":"D.W. KEKER, Countable approximations and L\u00f6wenheim-Skolem Theorems, Ann. of Math. Logic, 11 (1977) 57\u2013104.","journal-title":"Ann. of Math. Logic"},{"key":"38_CR12","unstructured":"A.H. MEKLER, The Stationary Logic of Ordinals, preprint 1979."},{"key":"38_CR13","unstructured":"A.H. MEKLER, Another linear order which is not finitely determinate, notes, 1979."},{"key":"38_CR14","doi-asserted-by":"crossref","unstructured":"D.SEESE, Decidability of \u03c9-Trees with Bounded Sets \u2014 A Surcey, Lecture Notes in Computer Science 56, Berlin 1977, 511\u2013515.","DOI":"10.1007\/978-3-662-40153-8_59"},{"key":"38_CR15","unstructured":"D.G. SEESE, Station\u00e4re Logik \u2014 Beschr\u00e4nkte Mengen \u2014 Entscheid-barkeit, Dissertation B, Berlin 1980."},{"issue":"1","key":"38_CR16","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1090\/S0002-9947-1981-0590414-4","volume":"263","author":"D. Seese","year":"1981","unstructured":"D. SEESE, Stationary Logic and Ordinals, Transactions of the AMS, vol. 263, Nu. 1, January 1981, 111\u2013124.","journal-title":"Transactions of the AMS"},{"key":"38_CR17","doi-asserted-by":"crossref","unstructured":"D. SEESE, P. TUSCHIK, Construction of nice trees, Lecture Notes in Mathematics 619, Berlin 1977, 257\u2013271.","DOI":"10.1007\/BFb0067657"},{"key":"38_CR18","unstructured":"D. SEESE, P. TUSCHIK, M. WEESE, Undecidable theories in stationary logic, to appear in Proceedings of the AMS."},{"key":"38_CR19","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1090\/S0002-9947-1975-0376334-6","volume":"204","author":"S. Shelah","year":"1975","unstructured":"S. SHELAH, Generalized quantifiers and compact logic, Transactions of the AMS, vol. 204, 1975, 342\u2013364.","journal-title":"Transactions of the AMS"},{"key":"38_CR20","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/BF02790755","volume":"12","author":"S. Vinner","year":"1972","unstructured":"S. VINNER, A generalization of Ehrenfeucht's game and some applications, Israel J. Math. 12, 1972, 279\u2013298.","journal-title":"Israel J. Math."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10854-8_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:51Z","timestamp":1605643431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10854-8_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108542","9783540387657"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-10854-8_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}