{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:25:36Z","timestamp":1740147936774,"version":"3.37.3"},"reference-count":7,"publisher":"Wiley","issue":"1-2","license":[{"start":{"date-parts":[[2016,2,12]],"date-time":"2016-02-12T00:00:00Z","timestamp":1455235200000},"content-version":"vor","delay-in-days":11,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"funder":[{"DOI":"10.13039\/100000925","name":"John Templeton Foundation","doi-asserted-by":"crossref","award":["35216"],"award-info":[{"award-number":["35216"]}],"id":[{"id":"10.13039\/100000925","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2016,2]]},"abstract":"<jats:p>In this paper we review the most common forms of reflection and introduce a new form which we call <jats:italic>sharp\u2010generated reflection<\/jats:italic>. We argue that sharp\u2010generated reflection is the strongest form of reflection which can be regarded as a natural generalization of the L\u00e9vy reflection theorem. As an application we formulate the principle <jats:italic>sharp\u2010maximality<\/jats:italic> with the corresponding hypothesis <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/malq201400047-math-0001.png\" xlink:title=\"urn:x-wiley:09425616:media:malq201400047:malq201400047-math-0001\"\/>. The statement <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/malq201400047-math-0002.png\" xlink:title=\"urn:x-wiley:09425616:media:malq201400047:malq201400047-math-0002\"\/> is an analogue of the <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/malq201400047-math-0003.png\" xlink:title=\"urn:x-wiley:09425616:media:malq201400047:malq201400047-math-0003\"\/> (Inner Model Hypothesis, introduced in <jats:ext-link xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"#malq201400047-bib-0003\"\/>) which is compatible with the existence of large cardinals.<\/jats:p>","DOI":"10.1002\/malq.201400047","type":"journal-article","created":{"date-parts":[[2016,2,13]],"date-time":"2016-02-13T00:44:10Z","timestamp":1455324250000},"page":"52-58","source":"Crossref","is-referenced-by-count":9,"title":["On strong forms of reflection in set theory"],"prefix":"10.1002","volume":"62","author":[{"given":"Sy\u2010David","family":"Friedman","sequence":"first","affiliation":[{"name":"Kurt G\u00f6del Research Center for Mathematical Logic Universit\u00e4t Wien W\u00e4hringer Strasse 25 1090 Vienna Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radek","family":"Honzik","sequence":"additional","affiliation":[{"name":"Kurt G\u00f6del Research Center for Mathematical Logic Universit\u00e4t Wien W\u00e4hringer Strasse 25 1090 Vienna Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2016,2,12]]},"reference":[{"volume-title":"London Mathematical Society Lecture Note Series Vol. 47","year":"1982","author":"Beller A.","key":"e_1_2_6_2_1"},{"key":"e_1_2_6_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11856-013-0007-x"},{"key":"e_1_2_6_4_1","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1164056808"},{"key":"e_1_2_6_5_1","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1208359050"},{"volume-title":"Springer Monographs in Mathematics","year":"2003","author":"Kanamori A.","key":"e_1_2_6_6_1"},{"key":"e_1_2_6_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2008.09.007"},{"key":"e_1_2_6_8_1","unstructured":"P. D.Welch Global reflection principles to appear in: Exploring the Frontiers of Incompleteness edited byP.Koellner."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201400047","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.201400047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,3]],"date-time":"2023-10-03T20:24:53Z","timestamp":1696364693000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.201400047"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2]]},"references-count":7,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["10.1002\/malq.201400047"],"URL":"https:\/\/doi.org\/10.1002\/malq.201400047","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"type":"print","value":"0942-5616"},{"type":"electronic","value":"1521-3870"}],"subject":[],"published":{"date-parts":[[2016,2]]}}}