{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T12:01:54Z","timestamp":1722859314385},"reference-count":21,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2015,2,10]],"date-time":"2015-02-10T00:00:00Z","timestamp":1423526400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2015,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The big question at the end of Feferman (2013) is: Is it possible to find a foundation for unlimited category theory? I show that the answer is no by showing that unlimited category theory is inconsistent.<\/jats:p>","DOI":"10.1017\/s1755020314000495","type":"journal-article","created":{"date-parts":[[2015,2,10]],"date-time":"2015-02-10T07:30:17Z","timestamp":1423553417000},"page":"306-327","source":"Crossref","is-referenced-by-count":9,"title":["THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE"],"prefix":"10.1017","volume":"8","author":[{"given":"MICHAEL","family":"ERNST","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2015,2,10]]},"reference":[{"key":"S1755020314000495_ref11","first-page":"1","volume-title":"Proceedings of the La jolla conference on categorical algebra, La Jolla","author":"Lawvere","year":"1966"},{"key":"S1755020314000495_ref21","first-page":"1219","volume-title":"From Kant to Hilbert: A Source Book in the Foundations of Mathematics, 1996","author":"Zermelo","year":"1930"},{"key":"S1755020314000495_ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020312000111"},{"key":"S1755020314000495_ref20","unstructured":"Shulman M. A . (2008). Set theory for category theory. arXiv preprint arXiv:0810.1279 ."},{"key":"S1755020314000495_ref16","doi-asserted-by":"publisher","DOI":"10.2307\/2275291"},{"key":"S1755020314000495_ref7","doi-asserted-by":"publisher","DOI":"10.21236\/AD0705364"},{"key":"S1755020314000495_ref10","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.52.6.1506"},{"key":"S1755020314000495_ref15","doi-asserted-by":"publisher","DOI":"10.2307\/2275472"},{"key":"S1755020314000495_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0080769"},{"key":"S1755020314000495_ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7643-7524-9","volume-title":"Tool and Object","author":"Kr\u00f6mer","year":"2007"},{"key":"S1755020314000495_ref1","doi-asserted-by":"crossref","first-page":"28","DOI":"10.37236\/919","article-title":"Graphs of morphisms of graphs","volume":"15","author":"Brown","year":"2008","journal-title":"Electronic Journal of Combinatorics"},{"key":"S1755020314000495_ref2","doi-asserted-by":"publisher","DOI":"10.1155\/S0161171286000017"},{"key":"S1755020314000495_ref3","first-page":"165","article-title":"Spanning graphs and the axiom of choice","volume":"40","author":"Delhomm\u00e9","year":"2006","journal-title":"Reports on Mathematical Logic"},{"key":"S1755020314000495_ref4","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1945-0013131-6"},{"key":"S1755020314000495_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0059148"},{"key":"S1755020314000495_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0059147"},{"key":"S1755020314000495_ref17","volume-title":"Elementary Categories, Elementary Toposes","author":"McLarty","year":"1995"},{"key":"S1755020314000495_ref19","volume-title":"Mathematics: A Discrete Introduction","author":"Scheinerman","year":"2012"},{"key":"S1755020314000495_ref14","volume-title":"From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory","author":"Marquis","year":"2009"},{"key":"S1755020314000495_ref18","volume-title":"The categories of graphs","author":"Plessas","year":"2011"},{"key":"S1755020314000495_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020314000495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,29]],"date-time":"2020-08-29T21:36:04Z","timestamp":1598736964000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020314000495\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,10]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["S1755020314000495"],"URL":"https:\/\/doi.org\/10.1017\/s1755020314000495","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,2,10]]}}}