{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:58:56Z","timestamp":1774947536957,"version":"3.50.1"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[1998,12]]},"DOI":"10.1023\/a:1004220919753","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T13:18:08Z","timestamp":1040476688000},"page":"553-568","source":"Crossref","is-referenced-by-count":25,"title":["The Incompleteness of Theories of Games"],"prefix":"10.1007","volume":"27","author":[{"given":"Marcelo","family":"Tsuji","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Newton C. A.","family":"da Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco A.","family":"Doria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"149636_CR1","doi-asserted-by":"crossref","unstructured":"Bacharach, M. and Mongin, P. (eds), Theory and Decision, special issue 37(1994).","DOI":"10.1007\/BF01079203"},{"key":"149636_CR2","unstructured":"Casti, J. L. and Traub, J. F., \u2018On limits\u2019, Santa Fe Institute Publications\n94\u201310-056(1994)."},{"key":"149636_CR3","unstructured":"Casti, J. L. and Karlqvist, A. (eds), Boundaries and Barriers, Addison-Wesley (1996)."},{"key":"149636_CR4","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF00166367","volume":"29","author":"N. C. A. da Costa","year":"1988","unstructured":"da Costa, N. C. A. and Chuaqui, R., \u2018On Suppes' Set-Theoretical Predicates\u2019, Erkenntnis\n29 (1988), 95\u2013112.","journal-title":"Erkenntnis"},{"key":"149636_CR5","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1007\/BF00671484","volume":"30","author":"N. C. A. da Costa","year":"1991","unstructured":"da Costa, N. C. A. and Doria, F. A., \u2018Undecidability and Incompleteness inClassical Mechanics\u2019, International Journal of Theoretical Physics\n30 (1991), 1041\u20131073.","journal-title":"International Journal of Theoretical Physics"},{"key":"149636_CR6","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/BF00665895","volume":"4","author":"N. C. A. daCosta","year":"1991","unstructured":"daCosta, N. C. A. and Doria, F. A., \u2018Classical Physics and Penrose's Thesis\u2019, Foundations of Physics Letters\n4 (1991), 363\u2013373.","journal-title":"Foundations of Physics Letters"},{"key":"149636_CR7","doi-asserted-by":"crossref","unstructured":"da Costa, N. C. A. and Doria, F. A., \u2018Suppes Predicates and theConstruction of Unsolvable Problems in the Axiomatized Sciences\u2019, in P. Hunmpreys (ed.), Patrick Suppes, Scientific Philosopher, Vol. II, Kluwer (1994), 151\u2013191.","DOI":"10.1007\/978-94-011-0776-1_7"},{"key":"149636_CR8","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1002\/cplx.6130010312","volume":"1","author":"N. C. A. da Costa","year":"1995","unstructured":"da Costa, N. C. A. and Doria, F. A.,\u2018G\u00f6del Incompleteness, Explicit Expressions for Complete Degrees and Applications\u2019, Complexity\n1 (1995), 40\u201355.","journal-title":"Complexity"},{"key":"149636_CR9","unstructured":"da Costa, N. C. A. and Doria, F. A., \u2018Independence of WPH for the SatisfiabilityProblem from the Axioms of Set Theory,\u2019 11th Brazilian Symposium on Artificial Intelligence, Curitiba (PR, Brazil, 1996)."},{"key":"149636_CR10","doi-asserted-by":"crossref","first-page":"2187","DOI":"10.1007\/BF00675030","volume":"32","author":"N. C. A. da Costa","year":"1993","unstructured":"da Costa, N. C. A., Doria, F. A. and Furtado do Amaral, A. F., \u2018A Dynamical Systemwhere proving Chaos is equivalent to proving Fermat's Conjecture,\u2019 International Journal of Theoretical Physics\n32 (1993), 2187\u20132206.","journal-title":"International Journal of Theoretical Physics"},{"key":"149636_CR11","first-page":"56","volume":"24","author":"N. C. A. da Costa","year":"1995","unstructured":"da Costa, N. C. A., Doria, F. A. and Tsuji, M., \u2018The Undecidabilityof Formal Definitions in the Theory of Finite Groups,\u2019 Bulletin of the Section of Logic\n24 (1995), 56\u201363.","journal-title":"Bulletin of the Section of Logic"},{"key":"149636_CR12","unstructured":"Davis, M., \u2018Hilbert's Tenth Problem is Unsolvable,\u2019 in Computability and Unsolvability, 2nd.edition, Dover (1982)."},{"key":"149636_CR13","unstructured":"Doria, F. A., \u2018Some new incompleteness theorems and their import to thefoundations of mathematics,\u2019 Preprint Griffo (1997)."},{"key":"149636_CR14","doi-asserted-by":"crossref","first-page":"549","DOI":"10.2307\/2273588","volume":"47","author":"J. P. Jones","year":"1982","unstructured":"Jones, J. P., \u2018Universal Diophantineequations,\u2019 Journal of Symbolic Logic\n47 (1982), 549\u2013571.","journal-title":"Journal of Symbolic Logic"},{"key":"149636_CR15","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1002\/malq.19610070708","volume":"7","author":"R. Harrop","year":"1961","unstructured":"Harrop, R., Zeitschrift f\u00fcrMathematische Logik und Grundlagen der Mathematik\n7 (1961), 136\u2013140.","journal-title":"Zeitschrift f\u00fcrMathematische Logik und Grundlagen der Mathematik"},{"key":"149636_CR16","unstructured":"Lewis, A. A., \u2018OnTuring Degrees of Walrasian Models and a General Impossibility Result in the Theory of Decision Making,\u2019 Preprint, Univ. of California at Irvine, School of Social Sciences (1991)."},{"key":"149636_CR17","unstructured":"Lewis, A. A. and Inagaki, Y., \u2018On theEffective Content of Theories,\u2019 Preprint, Univ. of California at Irvine, School of Social Sciences (1991)."},{"key":"149636_CR18","first-page":"429","volume":"20","author":"K. Prasad","year":"1991","unstructured":"Prasad, K., \u2018Computability and Randomness of Nash Equilibrium in Infinite Games\u2019, Journal ofMathematical Economics\n20 (1991), 429\u2013442.","journal-title":"Journal ofMathematical Economics"},{"key":"149636_CR19","volume-title":"Main Currents in ModernEconomics","author":"B. B. Seligman","year":"1971","unstructured":"Seligman, B. B., Main Currents in ModernEconomics, I\u2013III, Quadrangle Books, Chicago (1971)."},{"key":"149636_CR20","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1038\/352664a0","volume":"352","author":"I. Stewart","year":"1991","unstructured":"Stewart, I., \u2018Deciding theUndecidable\u2019, Nature\n352 (1991), 664\u2013665.","journal-title":"Nature"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004220919753.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004220919753\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1004220919753","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004220919753.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:44:34Z","timestamp":1752147874000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004220919753"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,12]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1998,12]]}},"alternative-id":["149636"],"URL":"https:\/\/doi.org\/10.1023\/a:1004220919753","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,12]]}}}