{"entities":{"Q487691":{"pageid":489458,"ns":120,"title":"Item:Q487691","lastrevid":52179074,"modified":"2026-01-21T02:42:25Z","type":"item","id":"Q487691","labels":{"en":{"language":"en","value":"Large cardinals and definable well-orders, without the GCH"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6389867"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$CE19C543-C395-4E9E-B600-A14A8C8BB905","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51c297f2582f754946ed5047d8deab5249a32af5","datavalue":{"value":{"text":"Large cardinals and definable well-orders, without the GCH","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q487691$507918EB-4D4E-4363-A65B-C337795FF310","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1c31f08778387726e3ccec66d93d1b874737d53","datavalue":{"value":"1348.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487691$B8E15E8A-DEBB-46BE-8E95-E27F12F0F050","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7bfc7c1815d9d17bc727832b0a6cf598db7157","datavalue":{"value":{"entity-type":"item","numeric-id":487690,"id":"Q487690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$B89238AF-E3BB-4D85-B9AC-93C3A428AA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"970c20daa80d77ed9e9812fb1ddf4643f6da2619","datavalue":{"value":{"entity-type":"item","numeric-id":412057,"id":"Q412057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$3BB3FC92-54D4-4896-81F1-BD1DFECB4F15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$B70F1107-27F9-4969-958A-34336B8F3013","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"519fe64785e203f4d11f5ae60d7f728bcb27c415","datavalue":{"value":{"time":"+2015-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q487691$668FB13A-332F-4D91-87C7-D9A35D07C999","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a84948901e48027a566b0c308e3745f3929b96c","datavalue":{"value":"Let \\(\\kappa>\\omega\\) be a regular cardinal. The \\textit{generalized Baire space for \\(\\kappa\\)} is the set \\(^\\kappa\\kappa\\) which consists of all functions \\(f:\\kappa\\to\\kappa\\). The authors investigate the definable subsets of this space when \\(\\kappa\\) is a large cardinal. In Theorem 1.1, of the paper, the authors show that there is a class forcing \\(\\mathbb{P}\\) that preserves ZFC, supercompact cardinals, inaccessible cardinals, and preserves the value of \\(2^\\kappa\\) (cardinal exponentiation) for all inaccessible cardinals \\(\\kappa\\). In addition, when \\(\\kappa\\) is an inaccessible cardinal and \\(A\\) is a subset of \\(^\\kappa\\kappa\\), then there is \\(\\mathbb{P}\\)-generic extension \\(V[G]\\) in which \\(A\\) is definable over \\(\\langle H(\\kappa^+),\\in\\rangle\\) by a \\(\\Sigma_1\\)-formula with parameters.  The authors then use Theorem 1.1 to show, without assuming the GCH, that there is a class forcing \\(\\mathbb{P}\\) with the same preservation properties as that of Theorem 1.1 such that \\(\\mathbb{P}\\)-forcing produces a generic extension \\(V[G]\\) in which there is a well-ordering of \\(V[G]\\) whose restriction to \\(H(\\kappa^+)\\), for any uncountable regular cardinal \\(\\kappa\\), is definable over the structure \\(\\langle H(\\kappa^+),\\in\\rangle\\) by a formula with parameters. The paper ends with five related open problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q487691$5A8A1F13-B2E8-4220-9AAA-6925CA300C97","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"54a3b1c1318415b494c60c8e1b6f94c8b4fece92","datavalue":{"value":{"entity-type":"item","numeric-id":412054,"id":"Q412054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$9D12C535-D796-4EC9-90A0-C2C293192214","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487691$9B3D02B6-3189-4A57-8BBD-E03E49B988BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f30902273cf64c52f3474440f1911e4a354b3216","datavalue":{"value":"03E47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487691$EEFD6069-4F1F-4283-B90B-ADD18C6619A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487691$A7F0A3D5-817C-4846-9EC3-32A55DBAEC8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f608b805e25ff8a3060bb45633964ddfbc77ae95","datavalue":{"value":"6389867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487691$9D4E9E5E-D7FF-42F9-B86F-C0A90856A294","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a185a60494eaa3da17cb02bef58fe44cad688b","datavalue":{"value":"class forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q487691$FA571365-8BDF-446F-9FDC-F141A9B4E418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q487691$8AB500E6-140D-40D0-BD05-295EE4DC41B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92366dbfb7479e06b53ec44e0be0492c18c7265e","datavalue":{"value":"definable well-orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q487691$86DC9DE5-C80F-4F85-8823-96F3344D158F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a9e4e30c9e589ff932436d25131e399593ca864","datavalue":{"value":"super compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q487691$FCA6673C-8EA8-4B3D-A5C0-BA705DDCEC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4adaf6c64b7d4e01b3e26f489c7675e46932a342","datavalue":{"value":"large cardinal preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q487691$68D0F256-F29F-46A9-981F-9FF78E4127A9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$EC948EE9-377B-48CD-B066-DF59322869B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ea680f891435f5bb798238770235538620c5d31","datavalue":{"value":"https://doi.org/10.1016/j.apal.2014.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q487691$B7D0746E-0017-4542-BF96-0E06252D59BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80ca196f70917f3fd828db1569a0ff4d8b59a615","datavalue":{"value":"W2019819455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487691$0FE97828-27BA-4445-A5E5-3F2B6ECA4573","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e34379f939c61412e447d48b0b85412623fd4c6","datavalue":{"value":{"entity-type":"item","numeric-id":1001908,"id":"Q1001908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$EC2B0E7C-87D1-48A4-AED4-6538E29B7647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eeeca9398f2dedc7bd177ea648cba4a6eed7bc4","datavalue":{"value":{"entity-type":"item","numeric-id":4899163,"id":"Q4899163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$33B09B46-4CD0-49C1-9F95-D90C8B2EF6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31d16dc4543d3aaea61c049be7122e07d1c2eb5","datavalue":{"value":{"entity-type":"item","numeric-id":3037420,"id":"Q3037420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$7991AF6D-4589-4575-AEB8-AF4FE251C061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c59276e24fbb4fdd06e315edc8af492cce31077","datavalue":{"value":{"entity-type":"item","numeric-id":3053899,"id":"Q3053899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$AB6D89C6-06C7-49F8-93B7-1779D061122A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33b97b9a3baef4db9d0db9b383d7c3ec61ce052","datavalue":{"value":{"entity-type":"item","numeric-id":1575116,"id":"Q1575116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$4F7547B5-1C5E-4971-AA2E-2DAEE097DC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7017f013595b9757068f28de5fb7eaaacc56c83c","datavalue":{"value":{"entity-type":"item","numeric-id":3098907,"id":"Q3098907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$2F02DCF6-7D73-44CD-A5B9-F88745A81479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"123298c76206c6b45a8434b0db49e74cc57b71b8","datavalue":{"value":{"entity-type":"item","numeric-id":1936814,"id":"Q1936814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$EFF84EB6-1964-42FB-9241-C5D602791E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e81484369080ce2f7685ce9ac1cd49f25f8a8f","datavalue":{"value":{"entity-type":"item","numeric-id":2925669,"id":"Q2925669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$3143E39B-4715-42D5-BFDA-A98E230DBD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b22e0b737fa9e96a34d5deba64dae3b11f2886","datavalue":{"value":{"entity-type":"item","numeric-id":636332,"id":"Q636332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$DABB44F1-D571-475A-BED7-2F58D711612F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$2064B86A-7004-48D5-8E61-4BABEDB11851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7eb15f423faa36d0569ab8291b56f8dd2293e6","datavalue":{"value":{"entity-type":"item","numeric-id":4805123,"id":"Q4805123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$437D0FFC-6BCC-454B-B48D-43DBD84528FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b12b8afcd7ce10003fb014a71b600b2bc6250c","datavalue":{"value":{"entity-type":"item","numeric-id":1247322,"id":"Q1247322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$09285A85-27D6-4875-BEC4-B6F141A6851E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f899336e30caea08ec70cbda95c437bd64c783","datavalue":{"value":{"entity-type":"item","numeric-id":4276037,"id":"Q4276037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$34336415-6204-4285-B395-33924C98356F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0df7c827fe41a57598a71717a063873c42078f","datavalue":{"value":{"entity-type":"item","numeric-id":2915903,"id":"Q2915903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$128F4713-4231-4B4A-982E-DE85F9A1A889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94578bc09f15fc9565825cc3765e93aa0ccf4ff","datavalue":{"value":{"entity-type":"item","numeric-id":4078034,"id":"Q4078034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$3706F14F-73D0-4AC3-AED9-0A4C2AEA0F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aacd82bb965a5c006c414d54858077beb0b92b58","datavalue":{"value":{"entity-type":"item","numeric-id":1125057,"id":"Q1125057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$2B967816-AE53-4AE3-81AA-BB9129B2A1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d4e005a92fce1984a6e6d87f7357d3d3c7b46e","datavalue":{"value":{"entity-type":"item","numeric-id":3078324,"id":"Q3078324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$A8796170-7942-452E-A56E-2C44FCFDB9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb1c8ad388c5748126ae418e5b297acf43372184","datavalue":{"value":{"entity-type":"item","numeric-id":4395557,"id":"Q4395557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487691$B29A4AB2-30AD-4558-9689-63AE823CF1A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7552628150892437b70923d6de1153736e4ced5a","datavalue":{"value":"10.1016/J.APAL.2014.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487691$B5A9A7C2-E475-4208-9AB4-27D042BA8E35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2343b92ea18e3e2f82642baf085de943f5a1bd21","datavalue":{"value":{"entity-type":"item","numeric-id":5251369,"id":"Q5251369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d17834f9fa64dad5f54fc013f5ecb0e5002455","datavalue":{"value":{"amount":"+0.9254582524299622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q487691$3498EBA4-5916-4E0E-B6E8-C8530A602E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6255aeafd6533bcfedd22feb6657f2df31a7ed13","datavalue":{"value":{"entity-type":"item","numeric-id":1001908,"id":"Q1001908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a870f137cfc7176bb56b946e970c0d6fc83451f4","datavalue":{"value":{"amount":"+0.893619179725647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q487691$C68EF73D-222B-4829-869E-88FD62262569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f6284205983b59d9b5704ead6346fb6046c12ce","datavalue":{"value":{"entity-type":"item","numeric-id":3630583,"id":"Q3630583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e1897c669cdb67ad84c2669b8642bf021b2126","datavalue":{"value":{"amount":"+0.8649524450302124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q487691$0BAD7EBA-681D-4B20-B370-7B58C30039AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6d16ee11d70541c4bce724b91ef19360182714","datavalue":{"value":{"entity-type":"item","numeric-id":2255735,"id":"Q2255735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc43b56fb9db57022cda31593917a8edf352cb7","datavalue":{"value":{"amount":"+0.8647850751876831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q487691$0DFA92C5-EBC0-4FC8-8948-4076B6CD1305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aae1cdcda6d2a0caa6bb96a32c6b7c8486f46151","datavalue":{"value":{"entity-type":"item","numeric-id":2957265,"id":"Q2957265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70fc7659bdee11b5aca2c5d8f65827240dacabc5","datavalue":{"value":{"amount":"+0.8564841747283936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q487691$2E31A0F4-4695-4186-893F-ADFBC079A7BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:487691","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:487691"}}}}}