{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T18:40:38Z","timestamp":1726425638932},"reference-count":88,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,9,5]],"date-time":"2014-09-05T00:00:00Z","timestamp":1409875200000},"content-version":"unspecified","delay-in-days":369,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log"],"published-print":{"date-parts":[[2013,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper we isolate a notion that we call \u201cformalism freeness\u201d from G\u00f6del's 1946 Princeton Bicentennial Lecture, which asks for a transfer of the Turing analysis of computability to the cases of definability and provability. We suggest an implementation of G\u00f6del's idea in the case of definability, via versions of the constructible hierarchy based on fragments of second order logic. We also trace the notion of formalism freeness in the very wide context of developments in mathematical logic in the 20th century.<\/jats:p>","DOI":"10.1017\/s1079898600010684","type":"journal-article","created":{"date-parts":[[2016,7,28]],"date-time":"2016-07-28T04:31:15Z","timestamp":1469680275000},"page":"351-393","source":"Crossref","is-referenced-by-count":6,"title":["On Formalism Freeness: Implementing G\u00f6del's 1946 Princeton Bicentennial Lecture"],"prefix":"10.1017","volume":"19","author":[{"given":"Juliette","family":"Kennedy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,9,5]]},"reference":[{"key":"S1079898600010684_ref080","first-page":"504","volume":"7","author":"V\u00e4\u00e4n\u00e4nen","year":"2001","journal-title":"Second-order logic and foundations of mathematics"},{"key":"S1079898600010684_ref072","doi-asserted-by":"publisher","DOI":"10.2307\/2273152"},{"key":"S1079898600010684_ref055","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2008.07.002"},{"key":"S1079898600010684_ref017","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/1.1.24"},{"key":"S1079898600010684_ref084","first-page":"495","article-title":"The notion of effective sets and a new proof of the consistency of the axiom of choice (abstract)","volume":"33","author":"Vopenka","year":"1968","journal-title":"The Journal of Symbolic Logic"},{"volume-title":"The Oxford handbook of the history of analytic philosophy","year":"2013","author":"Floyd","key":"S1079898600010684_ref024"},{"key":"S1079898600010684_ref022","doi-asserted-by":"publisher","DOI":"10.1017\/S0022481200051756"},{"volume-title":"Brouwer's Cambridge lectures on intuitionism","year":"1981","author":"Brouwer","key":"S1079898600010684_ref012"},{"key":"S1079898600010684_ref047","first-page":"1","article-title":"Logic with the quantifier \u201cthere exist uncountably many\u201d","volume":"1","author":"Keisler","year":"1970","journal-title":"Annals of Pure and Applied Logic"},{"key":"S1079898600010684_ref077","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-2011-00712-1"},{"volume-title":"Collected Works","year":"2003","author":"G\u00f6del","key":"S1079898600010684_ref038"},{"key":"S1079898600010684_ref058","first-page":"1572","article-title":"Sur les ensembles projectifs de M. Henri Lebesgue","volume":"180","author":"Luzin","year":"1925","journal-title":"Comptes Rendus de l'Acad\u00e9mie des Sciences. Paris"},{"key":"S1079898600010684_ref067","doi-asserted-by":"publisher","DOI":"10.4159\/harvard.9780674063013"},{"key":"S1079898600010684_ref007","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(72)90002-2"},{"key":"S1079898600010684_ref076","volume-title":"Classification Theory for Abstract Elementary Classes 2","volume":"20","author":"Shelah","year":"2009"},{"volume-title":"The higher infinite","year":"2009","author":"Kanamori","key":"S1079898600010684_ref044"},{"volume-title":"Foundations of constructive analysis","year":"1967","author":"Bishop","key":"S1079898600010684_ref010"},{"key":"S1079898600010684_ref087","doi-asserted-by":"publisher","DOI":"10.1515\/9783110213171"},{"key":"S1079898600010684_ref008","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(74)90016-3"},{"key":"S1079898600010684_ref062","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199596188.001.0001"},{"key":"S1079898600010684_ref052","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-008-0093-3"},{"key":"S1079898600010684_ref001","doi-asserted-by":"publisher","DOI":"10.1142\/S0219061309000823"},{"volume-title":"The undecidable","year":"2004","author":"Davis","key":"S1079898600010684_ref016"},{"key":"S1079898600010684_ref060","first-page":"17","article-title":"Some naturalistic reflections on set theoretic method","volume":"20","author":"Maddy","year":"2001","journal-title":"Topoi. An International Review of Philosophy"},{"volume-title":"Interpreting G\u00f6del","author":"Franks","key":"S1079898600010684_ref027"},{"key":"S1079898600010684_ref069","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1984-15249-2"},{"key":"S1079898600010684_ref056","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1969.tb00356.x"},{"volume-title":"A logical journey","year":"1996","author":"Wang","key":"S1079898600010684_ref085"},{"key":"S1079898600010684_ref045","doi-asserted-by":"publisher","DOI":"10.2307\/2273546"},{"key":"S1079898600010684_ref082","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8926-8_15"},{"key":"S1079898600010684_ref028","first-page":"55","volume-title":"The universal Turing machine: a half-century survey","author":"Gandy","year":"1988"},{"key":"S1079898600010684_ref081","first-page":"91","volume":"18","author":"V\u00e4\u00e4n\u00e4nen","year":"2012","journal-title":"Second-order logic or set theory?"},{"key":"S1079898600010684_ref042","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-96-00180-4"},{"key":"S1079898600010684_ref019","first-page":"1","article-title":"Purity of methods","volume":"11","author":"Detlefsen","year":"2011","journal-title":"Philosophers' Imprint"},{"key":"S1079898600010684_ref032","doi-asserted-by":"publisher","DOI":"10.2307\/2304666"},{"volume-title":"Second philosophy","year":"2009","author":"Maddy","key":"S1079898600010684_ref061"},{"key":"S1079898600010684_ref020","volume-title":"Large infinitary languages","volume":"83","author":"Dickmann","year":"1975"},{"key":"S1079898600010684_ref049","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974236.008"},{"key":"S1079898600010684_ref066","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/013.1\/0281603"},{"key":"S1079898600010684_ref048","doi-asserted-by":"crossref","first-page":"91","DOI":"10.21711\/231766362003\/rmc245","article-title":"On embedding models of arithmetic into reduced powers","volume":"24","author":"Kennedy","year":"2003","journal-title":"Matem\u00e1tica Contempor\u00e2nea"},{"key":"S1079898600010684_ref004","unstructured":"Baldwin John T. , Completeness and categoricity (in power): Formalization without foundationalism, preprint."},{"key":"S1079898600010684_ref065","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/5.2.97"},{"key":"S1079898600010684_ref078","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/nkj005"},{"key":"S1079898600010684_ref054","doi-asserted-by":"publisher","DOI":"10.2307\/2272975"},{"volume-title":"Computability and unsolvability","year":"1958","author":"Davis","key":"S1079898600010684_ref015"},{"key":"S1079898600010684_ref086","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.85.18.6587"},{"key":"S1079898600010684_ref046","unstructured":"Kazhdan D. , Lecture notes in motivic integration, available online at www.ma.huji.ac.il\/~kazhdan\/."},{"volume-title":"Intuitionism: An introduction","year":"1966","author":"Heyting","key":"S1079898600010684_ref039"},{"volume-title":"On the metamathematics of algebra","year":"1951","author":"Robinson","key":"S1079898600010684_ref071"},{"key":"S1079898600010684_ref050","unstructured":"Kennedy Juliette , Magidor Menachem , and V\u00e4\u00e4n\u00e4nen Jouko , Inner models from extended logics, preprint."},{"key":"S1079898600010684_ref003","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020312000263"},{"key":"S1079898600010684_ref013","unstructured":"Burgess John , Putting structuralismin its place, retrieved from www.princeton.edu\/~jburgess\/anecdota.htm, 2009."},{"key":"S1079898600010684_ref018","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/9.1.37"},{"key":"S1079898600010684_ref026","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511642098"},{"volume-title":"Collected Works. II","year":"1990","author":"G\u00f6del","key":"S1079898600010684_ref031"},{"volume-title":"Collected Works. I","year":"1986","author":"G\u00f6del","key":"S1079898600010684_ref034"},{"key":"S1079898600010684_ref011","doi-asserted-by":"publisher","DOI":"10.2307\/2305937"},{"key":"S1079898600010684_ref040","volume-title":"Grundlagen der Geometrie","volume":"6","author":"Hilbert","year":"1999"},{"key":"S1079898600010684_ref030","doi-asserted-by":"crossref","DOI":"10.1515\/9781400881635","volume-title":"The Consistency of the Continuum Hypothesis","author":"G\u00f6del","year":"1940"},{"volume-title":"Collected Works. II","year":"1990","author":"G\u00f6del","key":"S1079898600010684_ref035"},{"key":"S1079898600010684_ref051","first-page":"1","article-title":"Recursive functionals and quantifiers of finite types. I","volume":"91","author":"Kleene","year":"1959","journal-title":"Transactions of the American Mathematical Society"},{"volume-title":"Foundations of set theory","year":"1958","author":"Fraenkel","key":"S1079898600010684_ref025"},{"key":"S1079898600010684_ref059","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0090167"},{"key":"S1079898600010684_ref088","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/380\/07118"},{"key":"S1079898600010684_ref068","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1515\/9783110323542.153","volume-title":"Reference, rationality, and phenomenology: Themes from Follesdal","volume":"2","author":"Parsons","year":"2013"},{"key":"S1079898600010684_ref023","doi-asserted-by":"publisher","DOI":"10.4064\/fm-49-1-35-92"},{"key":"S1079898600010684_ref029","doi-asserted-by":"publisher","DOI":"10.1007\/BF01696781"},{"key":"S1079898600010684_ref053","first-page":"138","volume-title":"Proceedings of the International Colloquium in the Philosophy of Science","volume":"1","author":"Kreisel"},{"key":"S1079898600010684_ref075","volume-title":"Classification Theory for Abstract Elementary Classes","volume":"18","author":"Shelah","year":"2009"},{"key":"S1079898600010684_ref073","first-page":"235","volume-title":"Infinitistic Methods","author":"Scott","year":"1961"},{"key":"S1079898600010684_ref005","first-page":"1","article-title":"Beyond first order logic: From number of structures to structure of numbers part I","volume":"39","author":"Baldwin","year":"2013","journal-title":"Bulletin of the Iranian Mathematical Society"},{"key":"S1079898600010684_ref043","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90031-G"},{"key":"S1079898600010684_ref002","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020312000020"},{"key":"S1079898600010684_ref006","first-page":"27","article-title":"Beyond first order logic: From number of structures to structure of numbers part II","volume":"39","author":"Baldwin","year":"2013","journal-title":"Bulletin of the Iranian Mathematical Society"},{"key":"S1079898600010684_ref057","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0081119","volume-title":"Infinitary logic: in memoriam Carol Karp","volume":"492","author":"L\u00f3pez-Escobar","year":"1975"},{"volume-title":"Collected Works. IV","year":"2003","author":"G\u00f6del","key":"S1079898600010684_ref037"},{"volume-title":"Collected Works. III","year":"1995","author":"G\u00f6del","key":"S1079898600010684_ref036"},{"key":"S1079898600010684_ref070","doi-asserted-by":"crossref","DOI":"10.4159\/9780674042445","volume-title":"Philosophy of logic","author":"Quine","year":"1986"},{"key":"S1079898600010684_ref083","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1986-15468-6"},{"key":"S1079898600010684_ref079","first-page":"410","volume-title":"Reflections on the foundations of mathematics","volume":"15","author":"Tait","year":"2002"},{"volume-title":"From Brouwer to Hilbert","year":"1998","author":"Mancosu","key":"S1079898600010684_ref063"},{"key":"S1079898600010684_ref014","first-page":"169","volume":"7","author":"Buss","year":"2001","journal-title":"The prospects for mathematical logic in the twenty-first century"},{"key":"S1079898600010684_ref021","first-page":"25","volume-title":"Model-theoretic logics","author":"Ebbinghaus","year":"1985"},{"key":"S1079898600010684_ref033","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.1958.tb01464.x"},{"key":"S1079898600010684_ref074","doi-asserted-by":"publisher","DOI":"10.1093\/0195148770.001.0001"},{"key":"S1079898600010684_ref041","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/19.3.209"},{"key":"S1079898600010684_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(78)90003-7"},{"key":"S1079898600010684_ref064","first-page":"449","article-title":"Consistency results about ordinal definability","volume":"2","author":"McAloon","year":"1970","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["The Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600010684","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,18]],"date-time":"2024-06-18T10:40:22Z","timestamp":1718707222000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600010684\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":88,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["S1079898600010684"],"URL":"https:\/\/doi.org\/10.1017\/s1079898600010684","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"type":"print","value":"1079-8986"},{"type":"electronic","value":"1943-5894"}],"subject":[],"published":{"date-parts":[[2013,9]]}}}