{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T08:45:26Z","timestamp":1762505126039},"reference-count":92,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":5068,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[2000,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This article presents Tarski's Address at the Princeton Bicentennial Conference on Problems of Mathematics, together with a separate summary. Two accounts of the discussion which followed are also included. The central topic of the Address and of the discussion is decision problems. The introductory note gives information about the Conference, about the background of the subjects discussed in the Address, and about subsequent developments to these subjects.<\/jats:p>","DOI":"10.2307\/421074","type":"journal-article","created":{"date-parts":[[2006,5,7]],"date-time":"2006-05-07T07:13:33Z","timestamp":1146986013000},"page":"1-44","source":"Crossref","is-referenced-by-count":15,"title":["Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17\u201319, 1946), By Alfred Tarski"],"prefix":"10.1017","volume":"6","author":[{"given":"Hourya","family":"Sinaceur","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600006697_ref016","doi-asserted-by":"publisher","DOI":"10.2307\/1970289"},{"key":"S1079898600006697_ref047","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71130-3"},{"key":"S1079898600006697_ref033","doi-asserted-by":"crossref","first-page":"67","DOI":"10.4064\/cm-6-1-67-78","article-title":"Extension of an effectively generated class of functions by enumeration","volume":"6","author":"Kleene","year":"1958","journal-title":"Colloquium Mathematicum"},{"key":"S1079898600006697_ref011","doi-asserted-by":"publisher","DOI":"10.2307\/2269326"},{"key":"S1079898600006697_ref030","volume-title":"Basic algebra","volume":"II","author":"Jacobson","year":"1980"},{"key":"S1079898600006697_ref070","article-title":"\u00dcber einige fundamentale Begriffe der Metamathematik","volume":"XXIII","author":"Tarski","year":"1930","journal-title":"Comptes Rendus de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie"},{"key":"S1079898600006697_ref031","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1943-0007371-8"},{"key":"S1079898600006697_ref025","volume-title":"Collected Works","volume":"II","author":"G\u00f6del","year":"1990"},{"key":"S1079898600006697_ref080","first-page":"77","article-title":"Undecidability of the theories of lattices and projective geometries","volume":"14","author":"Tarski","year":"1949","journal-title":"The Journal of Symbolic Logic"},{"key":"S1079898600006697_ref089","first-page":"154","volume-title":"Proceedings of the Tarski symposium","author":"Vaught","year":"1974"},{"key":"S1079898600006697_ref045","first-page":"65","article-title":"Arithmetical classes and types of well ordered systems","volume":"55","author":"Mostowski","year":"1949","journal-title":"The Bulletin of the American Mathematical Society"},{"key":"S1079898600006697_ref066","doi-asserted-by":"publisher","DOI":"10.2307\/1970860"},{"key":"S1079898600006697_ref027","volume-title":"Abhandlungenaus dem mathematischen Seminar der Hamburgischen Universit\u00e4t 1","author":"Hilbert","year":"1922"},{"key":"S1079898600006697_ref053","first-page":"262","volume-title":"More mathematical people","author":"Reid","year":"1990"},{"key":"S1079898600006697_ref009","volume-title":"A history of formal logic","author":"Boche\u0144ski","year":"1961"},{"key":"S1079898600006697_ref034","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1515\/crll.1887.101.337","article-title":"\u00dcber den Zahlbegriff","volume":"101","author":"Kronecker","year":"1887","journal-title":"Journal f\u00fcr die reine und angewandte Mathematik"},{"key":"S1079898600006697_ref004","first-page":"171","article-title":"Analogies in the Borel, Lusin, and Kleene hierarchies, I and II","volume":"61","author":"Addison","year":"1955","journal-title":"Bulletin of the American Mathematical Society"},{"key":"S1079898600006697_ref062","volume-title":"Corps et mod\u00e8les. Essai sur l' histoire de l' alg\u00e8bre r\u00e9elle","author":"Sinaceur","year":"1991"},{"key":"S1079898600006697_ref014","volume-title":"The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions","author":"Davis","year":"1965"},{"key":"S1079898600006697_ref023","first-page":"27","article-title":"Super-exponential complexity of Presburger arithmetic","volume":"7","author":"Fischer","year":"1974","journal-title":"Complexity of computation, SIAM-AMS proceedings"},{"key":"S1079898600006697_ref022","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4064\/fm-47-1-57-103","article-title":"The first order properties of products of algebraic systems","volume":"47","author":"Feferman","year":"1959","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600006697_ref065","volume-title":"Selected works in logic","author":"Skolem","year":"1970"},{"key":"S1079898600006697_ref012","volume-title":"Introduction to mathematical logic","volume":"I","author":"Church","year":"1956"},{"key":"S1079898600006697_ref048","doi-asserted-by":"publisher","DOI":"10.2307\/2369451"},{"key":"S1079898600006697_ref074","doi-asserted-by":"crossref","first-page":"283","DOI":"10.4064\/fm-26-1-283-301","article-title":"Grundz\u00fcge des Systemenkalk\u00fcls","volume":"26","author":"Tarski","year":"1936","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600006697_ref010","doi-asserted-by":"publisher","DOI":"10.2307\/2371045"},{"key":"S1079898600006697_ref029","volume-title":"Grundz\u00fcge der theoretischen Logik","author":"Hilbert","year":"1928"},{"key":"S1079898600006697_ref055","first-page":"77","article-title":"Undecidability in the arithmetic of integers and rationals and in the theory of fields","volume":"14","author":"Robinson","year":"1949","journal-title":"The Journal of Symbolic Logic"},{"key":"S1079898600006697_ref037","first-page":"50","article-title":"Recursive unsolvability of the deducibility, Tarski's completeness and independence of axioms problems of the propositional calculus","volume":"55","author":"Linial","year":"1949","journal-title":"Bulletin of the American Mathematical Society"},{"key":"S1079898600006697_ref058","volume-title":"The collected works of Julia Robinson","author":"Robinson","year":"1985"},{"key":"S1079898600006697_ref017","doi-asserted-by":"publisher","DOI":"10.1017\/S0022481200028905"},{"key":"S1079898600006697_ref028","volume-title":"Gesammelte Abhandlungen","volume":"III","author":"Hilbert","year":"1935"},{"key":"S1079898600006697_ref079","first-page":"76","article-title":"Undecidability of group theory","volume":"14","author":"Tarski","year":"1949","journal-title":"The Journal of Symbolic Logic"},{"key":"S1079898600006697_ref071","doi-asserted-by":"publisher","DOI":"10.1007\/BF01696782"},{"key":"S1079898600006697_ref081","volume-title":"Proceedings of the international congress of mathematicians","author":"Tarski","year":"1952"},{"key":"S1079898600006697_ref013","volume-title":"Computability and unsolvability","author":"Davis","year":"1958"},{"key":"S1079898600006697_ref083","volume-title":"Collected papers","author":"Tarski","year":"1986"},{"key":"S1079898600006697_ref054","volume-title":"Julia. A life in mathematics","author":"Reid","year":"1996"},{"key":"S1079898600006697_ref040","first-page":"1572","volume-title":"Comptes rendus hebdomadaires des s\u00e9ances de l' Acad\u00e9mie des Sciences","volume":"180","author":"Luzin","year":"1925"},{"key":"S1079898600006697_ref050","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1944-08111-1"},{"key":"S1079898600006697_ref036","volume-title":"Symbolic logic","author":"Lewis","year":"1932"},{"key":"S1079898600006697_ref067","first-page":"88","volume-title":"Comptes rendus hebdomadaires des s\u00e9ances de l' Acad\u00e9mie des Sciences","volume":"164","author":"Suslin","year":"1917"},{"key":"S1079898600006697_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/BF01457985"},{"key":"S1079898600006697_ref049","doi-asserted-by":"publisher","DOI":"10.2307\/2370324"},{"key":"S1079898600006697_ref042","doi-asserted-by":"publisher","DOI":"10.2307\/2267105"},{"key":"S1079898600006697_ref052","volume-title":"The time of my life. An autobiography","author":"Orman Quine","year":"1985"},{"key":"S1079898600006697_ref003","unstructured":"[1954] Addison John W. Jr. , On some points of the theory of recursive functions, Doctoral dissertation, University of Wisconsin, 1954, iv+92 pages."},{"key":"S1079898600006697_ref026","volume-title":"From Frege to G\u00f6del. A source book in mathematical logic 1879\u20131931","author":"Heinjenoort","year":"1967"},{"key":"S1079898600006697_ref021","doi-asserted-by":"crossref","unstructured":"[1999] Feferman Solomon , Tarski and G\u00f6del: Between the lines, 1999, in [Wole\u0144ski and K\u00f6hler, 1999, pp. 53\u201363].","DOI":"10.1007\/978-94-017-0689-6_5"},{"key":"S1079898600006697_ref038","doi-asserted-by":"publisher","DOI":"10.1007\/BF01458217"},{"key":"S1079898600006697_ref076","doi-asserted-by":"publisher","DOI":"10.2307\/2266444"},{"key":"S1079898600006697_ref073","doi-asserted-by":"crossref","first-page":"503","DOI":"10.4064\/fm-25-1-503-526","article-title":"Grundz\u00fcge des Systemenkalk\u00fcls","volume":"25","author":"Tarski","year":"1935","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600006697_ref057","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1969-0244046-8"},{"key":"S1079898600006697_ref086","first-page":"81","article-title":"Arithmetical extensions of relational systems","volume":"13","author":"Tarski","year":"1957","journal-title":"Compositio Mathematica"},{"key":"S1079898600006697_ref060","doi-asserted-by":"publisher","DOI":"10.2307\/2269028"},{"key":"S1079898600006697_ref056","doi-asserted-by":"publisher","DOI":"10.2307\/2266510"},{"key":"S1079898600006697_ref092","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0689-6"},{"key":"S1079898600006697_ref061","volume-title":"Les ensembles projectifs et analytiques","author":"Sierpi\u0144ski","year":"1950"},{"key":"S1079898600006697_ref006","first-page":"622","article-title":"The classification of recursive sets of number-theoretic functions","volume":"12","author":"Barnes","year":"1965","journal-title":"Notices of the American Mathematical Society"},{"key":"S1079898600006697_ref090","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-96-00216-0"},{"key":"S1079898600006697_ref064","article-title":"\u00dcber einige satzfunktionen in der arithmetik","volume":"I","author":"Skolem","year":"1930","journal-title":"Skrifter Videnskapsakademiet i Oslo"},{"key":"S1079898600006697_ref044","doi-asserted-by":"crossref","first-page":"81","DOI":"10.4064\/fm-34-1-81-112","article-title":"On definable sets of positive integers","volume":"34","author":"Mostowski","year":"1947","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600006697_ref002","volume-title":"Solvable cases of the decision problem","author":"Ackermann","year":"1954"},{"key":"S1079898600006697_ref059","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1989-044-8"},{"key":"S1079898600006697_ref069","doi-asserted-by":"crossref","first-page":"203","DOI":"10.4064\/fm-41-2-203-271","article-title":"Elementary properties of Abelian groups","volume":"41","author":"Szmielew","year":"1955","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600006697_ref082","volume-title":"Logic, semantics, metamathematics. Papers from 1923 to 1938","author":"Tarski","year":"1956"},{"key":"S1079898600006697_ref008","doi-asserted-by":"publisher","DOI":"10.2307\/1968621"},{"key":"S1079898600006697_ref078","article-title":"On essential undecidability","volume":"14","author":"Tarski","year":"1949","journal-title":"The Journal of Symbolic Logic"},{"key":"S1079898600006697_ref072","doi-asserted-by":"crossref","first-page":"210","DOI":"10.4064\/fm-17-1-210-239","article-title":"Sur les ensembles d\u00e9finissables de nombres r\u00e9els","volume":"17","author":"Tarski","year":"1931","journal-title":"I, Fundamenta Mathematicae"},{"key":"S1079898600006697_ref020","first-page":"113","volume-title":"The universal Turing machine: A half-century survey","author":"Feferman","year":"1988"},{"key":"S1079898600006697_ref024","doi-asserted-by":"publisher","DOI":"10.1007\/BF03023831"},{"key":"S1079898600006697_ref005","doi-asserted-by":"crossref","first-page":"123","DOI":"10.4064\/fm-46-2-123-135","article-title":"Separation principles in the hierarchies of classical and effective descriptive set theory","volume":"46","author":"Addison","year":"1959","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600006697_ref018","first-page":"309","volume-title":"A century of mathematics in America. History of mathematics","volume":"2","author":"Duren","year":"1989"},{"key":"S1079898600006697_ref032","first-page":"244","article-title":"A symmetric form of G\u00f6del's theorem","volume":"12","author":"Kleene","year":"1950","journal-title":"Indagationes Mathematicae"},{"key":"S1079898600006697_ref019","doi-asserted-by":"publisher","DOI":"10.2307\/2964649"},{"key":"S1079898600006697_ref041","first-page":"441","volume-title":"Kreiseliana. About and around Georg Kreisel","author":"Macintyre","year":"1996"},{"key":"S1079898600006697_ref039","first-page":"30","article-title":"Untersuchungen \u00fcber den Aussagenkalk\u00fcl","volume":"XXIII","author":"\u0141ukasiewicz","year":"1930","journal-title":"Comptes Rendus de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie"},{"key":"S1079898600006697_ref051","first-page":"395","volume-title":"Sprawozdanie z I kongresu matematik\u00f3w kraj\u00f3w slowianskich, (Compte rendus du I congr\u00e8s des math\u00e9maticiens des pays slaves)","author":"Presburger","year":"1930"},{"key":"S1079898600006697_ref001","volume-title":"Problems of mathematics","year":"1947"},{"key":"S1079898600006697_ref077","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A decision method for elementary algebra and geometry","author":"Tarski","year":"1951"},{"key":"S1079898600006697_ref035","doi-asserted-by":"publisher","DOI":"10.2307\/1968390"},{"key":"S1079898600006697_ref091","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8478-4_13"},{"key":"S1079898600006697_ref068","first-page":"763","volume-title":"Proceedings of the Xth international congress of philosophy","author":"Szmielew","year":"1949"},{"key":"S1079898600006697_ref063","first-page":"37","article-title":"Untersuchugen \u00fcber die axiome des klassenkalk\u00fcls une \u00fcber produktions\u2014und summationsprobleme, welche gewisse klassen von aussagen betreffen","volume":"3","author":"Skolem","year":"1919","journal-title":"Skrifter Videnskapsakademiet i Kristiana"},{"key":"S1079898600006697_ref046","first-page":"76","article-title":"Undecidability in the arithmetic of integers and in the theory of rings","volume":"14","author":"Mostowski","year":"1949","journal-title":"The Journal of Symbolic Logic"},{"key":"S1079898600006697_ref015","first-page":"323","volume-title":"Proceedings of symposia in pure mathematics","author":"Davis","year":"1976"},{"key":"S1079898600006697_ref085","volume-title":"Undecidable theories","author":"Tarski","year":"1953"},{"key":"S1079898600006697_ref075","volume-title":"The completeness of elementary algebra and geometry","author":"Tarski","year":"1967"},{"key":"S1079898600006697_ref088","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-45.1.161"},{"key":"S1079898600006697_ref084","doi-asserted-by":"publisher","DOI":"10.1080\/01445348608837096"},{"key":"S1079898600006697_ref087","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"S1079898600006697_ref043","volume-title":"Descriptive set theory","author":"Moschovakis","year":"1980"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600006697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T10:16:39Z","timestamp":1683454599000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600006697\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,3]]},"references-count":92,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,3]]}},"alternative-id":["S1079898600006697"],"URL":"https:\/\/doi.org\/10.2307\/421074","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,3]]}}}