{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T15:35:07Z","timestamp":1747150507658,"version":"3.40.5"},"reference-count":11,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2021,4,3]],"date-time":"2021-04-03T00:00:00Z","timestamp":1617408000000},"content-version":"vor","delay-in-days":61,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2021,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Audrito and Viale introduced the new large cardinal notion of an (\u03b1)\u2010uplifting cardinal (for an ordinal \u03b1). We shall show that this notion cannot be defined (or expressed) in the standard first\u2010order language of set theory for every tranfinite \u03b1.<\/jats:p>","DOI":"10.1002\/malq.201800050","type":"journal-article","created":{"date-parts":[[2021,4,3]],"date-time":"2021-04-03T09:13:11Z","timestamp":1617441191000},"page":"105-115","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["First\u2010order undefinability of the notion of transfinitely uplifting cardinals"],"prefix":"10.1002","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4830-5861","authenticated-orcid":false,"given":"Kentaro","family":"Fujimoto","sequence":"first","affiliation":[{"name":"University of Bristol School of Mathematics  Fry Building, Woodland Road Bristol BS8 1UG England"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2021,4,3]]},"reference":[{"journal-title":"Rev. Symb. Log","article-title":"Universism and extensions of V","author":"Antos C.","key":"e_1_2_6_2_1"},{"key":"e_1_2_6_3_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0219061317500052"},{"key":"e_1_2_6_4_1","unstructured":"A.Enayat Set theory with a proper class of indiscernibles ArXiv e\u2010prints (2020) https:\/\/arxiv.org\/abs\/2008.07706."},{"key":"e_1_2_6_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2017.75"},{"key":"e_1_2_6_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2011.12.006"},{"key":"e_1_2_6_7_1","first-page":"121","volume-title":"Foundations of Mathematics, Logic at Harvard, Essays in Honor of Hugh Woodin's 60th Birthday","author":"Gitman V.","year":"2016"},{"journal-title":"J. Symb. Log","article-title":"The exact strength of the class forcing theorem","author":"Gitman V.","key":"e_1_2_6_8_1"},{"key":"e_1_2_6_9_1","unstructured":"J. D.HamkinsandW. H.Woodin Open class determinacy is preserved by forcing preprint (2018) arXiv:1806.11180."},{"key":"e_1_2_6_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-014-0374-y"},{"key":"e_1_2_6_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4190-4"},{"key":"e_1_2_6_12_1","first-page":"161","volume-title":"Contemporary Mathematics Vol. 690","author":"Welch P.","year":"2016"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.201800050","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full-xml\/10.1002\/malq.201800050","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.201800050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T13:15:38Z","timestamp":1693401338000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.201800050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["10.1002\/malq.201800050"],"URL":"https:\/\/doi.org\/10.1002\/malq.201800050","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"type":"print","value":"0942-5616"},{"type":"electronic","value":"1521-3870"}],"subject":[],"published":{"date-parts":[[2021,2]]},"assertion":[{"value":"2018-08-02","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-12-24","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-04-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}