{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:29:38Z","timestamp":1762324178116},"reference-count":18,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2017,11,1]],"date-time":"2017-11-01T00:00:00Z","timestamp":1509494400000},"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":[[2017,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This article introduces a new reflection principle. It is based on the idea that whatever is true in all entities of some kind is also true in a set-sized collection of them. Unlike standard reflection principles, it does not re-interpret parameters or predicates. This allows it to be both consistent in all higher-order languages and remarkably strong. For example, I show that in the language of second-order set theory with predicates for a satisfaction relation, it is consistent relative to the existence of a 2-extendible cardinal (Theorem 7.12) and implies the existence of a proper class of 1-extendible cardinals (Theorem 7.9).<\/jats:p>","DOI":"10.1017\/s1755020317000223","type":"journal-article","created":{"date-parts":[[2017,11,1]],"date-time":"2017-11-01T14:53:38Z","timestamp":1509548018000},"page":"651-662","source":"Crossref","is-referenced-by-count":8,"title":["A STRONG REFLECTION PRINCIPLE"],"prefix":"10.1017","volume":"10","author":[{"given":"SAM","family":"ROBERTS","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2017,11,1]]},"reference":[{"key":"S1755020317000223_ref3","doi-asserted-by":"publisher","DOI":"10.5840\/philtopics19891721"},{"key":"S1755020317000223_ref17","volume-title":"Proceedings of the CLMPS, Helsinki 2015","author":"Welch"},{"key":"S1755020317000223_ref18","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199552078.001.0001"},{"key":"S1755020317000223_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2008.09.007"},{"key":"S1755020317000223_ref4","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/12.3.193"},{"key":"S1755020317000223_ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70893-0"},{"key":"S1755020317000223_ref7","volume-title":"The Higher Infinite","author":"Kanamori","year":"2003"},{"key":"S1755020317000223_ref6","unstructured":"Hamkins J. , Gitman V. , & Johnstone T . (2015). Kelley-morse set theory and choice principles for classes. Available at: http:\/\/boolesrings.org\/victoriagitman\/files\/2015\/01\/kelleymorse2.pdf (accessed June 24, 2016)."},{"key":"S1755020317000223_ref16","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/11.1.67"},{"key":"S1755020317000223_ref2","doi-asserted-by":"publisher","DOI":"10.2307\/2026308"},{"key":"S1755020317000223_ref11","doi-asserted-by":"publisher","DOI":"10.2307\/2274862"},{"key":"S1755020317000223_ref13","first-page":"267","volume-title":"Mathematical logic in Latin America","volume":"99","author":"Reinhardt","year":"1980"},{"key":"S1755020317000223_ref5","volume-title":"Handbook of Set Theory","author":"Foreman","year":"2009"},{"key":"S1755020317000223_ref10","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/fzs050"},{"key":"S1755020317000223_ref14","first-page":"469","volume-title":"Philosophy of Mathematics Today","author":"Tait","year":"2003"},{"key":"S1755020317000223_ref9","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/nkl029"},{"key":"S1755020317000223_ref12","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/013.2\/0401475"},{"key":"S1755020317000223_ref15","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1093\/oso\/9780195141924.003.0007","volume-title":"The Provenance of Pure Reason","author":"Tait","year":"2005"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020317000223","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,28]],"date-time":"2024-06-28T06:31:15Z","timestamp":1719556275000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020317000223\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,1]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["S1755020317000223"],"URL":"https:\/\/doi.org\/10.1017\/s1755020317000223","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,1]]}}}