{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T09:06:49Z","timestamp":1773738409794,"version":"3.50.1"},"reference-count":23,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,9,5]],"date-time":"2014-09-05T00:00:00Z","timestamp":1409875200000},"content-version":"unspecified","delay-in-days":553,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log"],"published-print":{"date-parts":[[2013,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The <jats:italic>Hyperuniverse Program<\/jats:italic> is a new approach to set-theoretic truth which is based on justifiable principles and leads to the resolution of many questions independent from ZFC. The purpose of this paper is to present this program, to illustrate its mathematical content and implications, and to discuss its philosophical assumptions.<\/jats:p>","DOI":"10.2178\/bsl.1901030","type":"journal-article","created":{"date-parts":[[2013,5,16]],"date-time":"2013-05-16T15:07:49Z","timestamp":1368716869000},"page":"77-96","source":"Crossref","is-referenced-by-count":31,"title":["The hyperuniverse program"],"prefix":"10.1017","volume":"19","author":[{"given":"Tatiana","family":"Arrigoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sy-David","family":"Friedman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,9,5]]},"reference":[{"key":"S1079898600009069_ref002","first-page":"43","volume-title":"Logic, methodology and philosophy of science. Proceedings of the twelfth international congress","author":"Bagaria","year":"2005"},{"key":"S1079898600009069_ref014","volume-title":"Model theory for infinitary logic","author":"Keisler","year":"1971"},{"key":"S1079898600009069_ref007","first-page":"591","volume":"12","author":"Friedman","year":"2006","journal-title":"Internal consistency and the inner model hypothesis"},{"key":"S1079898600009069_ref015","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2008.09.007"},{"key":"S1079898600009069_ref010","first-page":"470","volume-title":"Philosophy of mathematics. Selected readings","author":"G\u00f6del","year":"1964"},{"key":"S1079898600009069_ref013","volume-title":"The higher infinite","author":"Kanamori","year":"2003"},{"key":"S1079898600009069_ref019","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-03-00981-9"},{"key":"S1079898600009069_ref005","first-page":"129","volume-title":"Models, algebra and proofs","author":"Friedman","year":"1999"},{"key":"S1079898600009069_ref003","volume-title":"Philosophy of mathematics. Selected readings","author":"Benacerraf","year":"1983"},{"key":"S1079898600009069_ref008","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1208359050"},{"key":"S1079898600009069_ref009","doi-asserted-by":"publisher","DOI":"10.2307\/2304666"},{"key":"S1079898600009069_ref021","first-page":"181","volume-title":"From mathematics to philosophy","author":"Wang","year":"1974"},{"key":"S1079898600009069_ref006","doi-asserted-by":"publisher","DOI":"10.1515\/9783110809114"},{"key":"S1079898600009069_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2012.01.009"},{"key":"S1079898600009069_ref012","first-page":"393","volume":"1","author":"Jensen","year":"1995","journal-title":"Inner models and large cardinals"},{"key":"S1079898600009069_ref018","first-page":"1","volume-title":"Set theory of the reals","volume":"6","author":"Shelah","year":"1991"},{"key":"S1079898600009069_ref022","first-page":"681","article-title":"The Continuum Hypothesis, I\u2013II","volume":"48","author":"Woodin","year":"2001","journal-title":"Notices of the American Mathematical Society"},{"key":"S1079898600009069_ref023","first-page":"89","volume-title":"Infinity. New research frontiers","author":"Woodin","year":"2009"},{"key":"S1079898600009069_ref016","doi-asserted-by":"publisher","DOI":"10.2307\/2274569"},{"key":"S1079898600009069_ref017","doi-asserted-by":"publisher","DOI":"10.1007\/BF02771565"},{"key":"S1079898600009069_ref011","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020311000359"},{"key":"S1079898600009069_ref004","volume-title":"Kurt G\u00f6del. Collected works, volume II","author":"Feferman","year":"1990"},{"key":"S1079898600009069_ref020","first-page":"422","volume":"6","author":"Steel","year":"2000","journal-title":"Mathematics needs new axioms"}],"container-title":["The Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600009069","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T19:21:55Z","timestamp":1556133715000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600009069\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["S1079898600009069"],"URL":"https:\/\/doi.org\/10.2178\/bsl.1901030","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3]]}}}