{"entities":{"Q2915903":{"pageid":2926623,"ns":120,"title":"Item:Q2915903","lastrevid":51556772,"modified":"2026-01-18T18:49:10Z","type":"item","id":"Q2915903","labels":{"en":{"language":"en","value":"\\(\\Sigma ^{1}_{1}\\)-definability at uncountable regular cardinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083963"}},"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":"Q2915903$9138352C-0A15-460F-92BE-9A82B0A962C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9081d9962e6f1f480b7b4e6857422fd753eca29b","datavalue":{"value":"1257.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915903$A647A687-E1AE-47C3-91C5-FCA286163FDC","rank":"normal"}],"P16":[{"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":"Q2915903$99A193C7-5F51-49E5-B275-E7FC42730B75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e152dd6d247137568b90f2b2f788eb084d247ca","datavalue":{"value":{"time":"+2012-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915903$DC567B20-834F-4642-9BFB-2F3774408EA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df216d2c5564a5d1f83b318c4f177be6a8bd851b","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1344862172","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915903$D7016FB3-03EB-4CDB-9398-65D1C8C07F45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f30902273cf64c52f3474440f1911e4a354b3216","datavalue":{"value":"03E47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915903$190684CF-EB3B-4B15-A98E-630DFF8EA840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915903$10336A55-912C-4200-A736-0D33423A9238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915903$B5088BE4-038E-480A-81CD-F2139F6F6A33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b5e6622dda7b77b7fbb24f78a389e8d9855f1af","datavalue":{"value":"6083963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915903$DA22F477-992E-4D0D-85CB-4C96A8ABD2B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7bd63f5aecd52cf7a838f4917e4d66efe8290e7","datavalue":{"value":"generalized Baire space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915903$DE407E13-2D97-4865-976A-AD52095A792D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915903$0F8949A7-F6CF-4152-BE1A-5F39D65D568D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dbf9cc91f4a43dd5a779552e853de07007536fd","datavalue":{"value":"canonical function coding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915903$08FB6856-4D10-45E7-86E1-1DBCF0FFC924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83890cf4b7fde31c48b6a7e916fe69da781e7d89","datavalue":{"value":"almost disjoint coding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915903$CA25CD05-9DCE-44A0-B670-1C2B19A01D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5d7cf5dbc17dfc5249f239aace88d01f57ab0cb","datavalue":{"value":"generic absoluteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915903$2D68C69D-8B0C-46E8-AE82-8368B91DE423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca41b26d2c0ed70cbd33ae2e2c9336aaeb8ba62","datavalue":{"value":"\\(\\Sigma_1^1\\)-subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915903$BE002C01-398E-487F-89AE-1D314E83EC15","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":"Q2915903$2C434E37-20AA-410D-BD0C-E878334BA733","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1449c4b61ab33883bcc2e226e2d5d5a9439d49f","datavalue":{"value":"W2170135945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915903$7977C53F-94A7-4E7D-8326-D2C3A869CEEC","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":"Q2915903$9C7528CA-CE9B-4A5A-953B-8B694611D745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507e9109ceae36ddd35b527286756dcbd2e2dd74","datavalue":{"value":{"entity-type":"item","numeric-id":5935983,"id":"Q5935983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$E413C46E-6F34-4D33-B0E4-86AC1E6DEB8C","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":"Q2915903$317BABBD-E516-47A4-B5B0-3EB2B827CE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a750bf68aa8a5dd2547087cb0289f5275e8b422","datavalue":{"value":{"entity-type":"item","numeric-id":4694294,"id":"Q4694294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$FB957EDF-99AC-4140-82A8-D2BBB3631DDC","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":"Q2915903$AFFA28B9-3470-4C92-A77C-BCEEA72308AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11553261014a5e0302ec22faa7dac265141daf04","datavalue":{"value":{"entity-type":"item","numeric-id":5387313,"id":"Q5387313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$4A0557C0-69C7-452F-970E-B36C93347E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a13a5d7a25c232c46051b0e10ef5b050d5522cb","datavalue":{"value":{"entity-type":"item","numeric-id":4163208,"id":"Q4163208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$78B9FF14-4FBA-4688-BE27-DC491BFBCA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2874e415bb81c87158e6768b1bd7f259995aaff","datavalue":{"value":{"entity-type":"item","numeric-id":4328827,"id":"Q4328827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$FFEA7DE4-3D53-4C2F-A2BF-E140E99EED59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d3ff55c1e579f3d2ebb1d030feb9effa380f59","datavalue":{"value":{"entity-type":"item","numeric-id":3360170,"id":"Q3360170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$1F66AA81-9BA6-46C6-86B7-F35C0C76B117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7626238177f71a14e0825caa39c09904ffc201","datavalue":{"value":{"entity-type":"item","numeric-id":5656763,"id":"Q5656763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$758BEF69-192E-4732-8347-E1417C3F6603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b925524429d1fe93684c705869e846dbfd40a4dc","datavalue":{"value":{"entity-type":"item","numeric-id":5626664,"id":"Q5626664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$9A958E7A-4BEF-4CBA-9005-75DC2D621FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed207326ec5f4c834fa050653882e901d0e854d","datavalue":{"value":{"entity-type":"item","numeric-id":2461186,"id":"Q2461186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$D26EA0AC-F81F-4671-99BA-846F411FEB03","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":"Q2915903$0F4C18A2-1BDE-410C-9EA5-327231A50098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0348d8fdade03b784ba329136ca58b74ab52f227","datavalue":{"value":{"entity-type":"item","numeric-id":4159036,"id":"Q4159036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$6FE8E147-E87D-4C44-81DB-EE8EAA8393BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64081b78d5b4ed3c09a740b132e94ea5964d849d","datavalue":{"value":{"entity-type":"item","numeric-id":4955952,"id":"Q4955952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$A66E84B1-3020-40F7-8994-3535788A4B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b655b64156e18dc29b00b62c02ad6079b5d686","datavalue":{"value":{"entity-type":"item","numeric-id":4548838,"id":"Q4548838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$B1B49025-8940-413A-B5DB-BB5786BA5F3A","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":"Q2915903$CFC2F13F-077D-4F7B-ABB6-ABAE961FC4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7964b1d0897cc5b8410f53b95cd04e0e559572dc","datavalue":{"value":{"entity-type":"item","numeric-id":3358730,"id":"Q3358730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$9A294F5F-F8C0-4866-AB21-8CBF47423982","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":"Q2915903$490630A9-425F-4242-99FB-02F91180CA65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcdca8a4d70ef3c5b65a850d5784c83230e029d5","datavalue":{"value":"10.2178/JSL/1344862172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915903$1DDC9D32-B3D1-4C06-A5C4-9C7720562EDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5497db7ac4cac13f05c9d10dc612804c442da00c","datavalue":{"value":{"text":"\\(\\Sigma ^{1}_{1}\\)-definability at uncountable regular cardinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915903$43247C8A-2AFF-44F9-8FBA-34B60F78A729","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$7F2D1FE9-A4EC-4397-8187-1CE4FA271279","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d559df95c05b9c0ec5a9c7ce4209214ca4f39d40","datavalue":{"value":"Let \\(\\kappa\\) be an uncountable regular cardinal. The set of all functions \\(f : \\kappa \\rightarrow \\kappa\\) is called the generalized Baire space for \\(\\kappa\\). Let \\(\\kappa\\) be an uncountable regular cardinal with \\(\\kappa = \\kappa^{<\\kappa}\\), \\(A \\subseteq {}^{\\kappa}\\kappa\\). The author shows that there is a \\(<\\kappa\\)-closed forcing \\(\\mathbb{P}\\) that satisfies the \\(\\kappa^+\\)-chain condition and forces \\(A\\) to be a \\(\\Delta_1^1\\)-subset of \\({}^{\\kappa}\\kappa\\) in every \\(\\mathbb{P}\\)-generic extension of \\(V\\).NEWLINENEWLINE The author gives some applications of this result: (1) Given a set \\(x\\), there is a partial order with the above properties that forces \\(x\\) to be an element of \\(L(\\mathcal{P}(\\kappa))\\). (2) There is a partial order with the above properties forcing the existence of a well-ordering of \\({}^{\\kappa}\\kappa\\) whose graph is a \\(\\Delta_2^1\\)-subset of \\({}^{\\kappa}\\kappa \\times {}^{\\kappa}\\kappa\\). (3) The author shows that generic absoluteness for \\(\\Sigma_3^1({}^{\\kappa}\\kappa)\\)-formulae under \\(<\\kappa\\)-closed forcing that satisfy the \\(\\kappa^+\\)-chain condition is inconsistent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915903$7E0AC3F8-A751-4724-ABF5-FDC121B1B400","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915903$7F6FDB1D-50F1-4164-86C8-CAE47A79A603","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba24868f9f546caf21e645eb71e94bb96ba9ef42","datavalue":{"value":{"entity-type":"item","numeric-id":487691,"id":"Q487691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b931b8e52539612fcd86dc744df1063b86a376","datavalue":{"value":{"amount":"+0.8310956954956055","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":"Q2915903$C0F0D897-556C-4073-974C-3CF838830EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4babcc3cfbd16d74c0c0f6dcd12c41ab2ecedaaa","datavalue":{"value":{"entity-type":"item","numeric-id":2339964,"id":"Q2339964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ff54879c0ff8a28914d73367fdd5d2d588ce15","datavalue":{"value":{"amount":"+0.8078406453132629","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":"Q2915903$E1DD18DF-2224-4736-8135-9D222677616C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e657fa41df0854dc4d4ec258eae0bc320542a7c1","datavalue":{"value":{"entity-type":"item","numeric-id":5168575,"id":"Q5168575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8930686837ad35491f22dacd5c551396f5d8dab2","datavalue":{"value":{"amount":"+0.8011393547058105","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":"Q2915903$EE0E51E4-9E9E-4386-8C2F-E3A6322B2B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95e6b492d4c2bff110e6098361adfadaf4f848d0","datavalue":{"value":{"entity-type":"item","numeric-id":5359578,"id":"Q5359578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06917a191f348163f61bcedc159a980b76cb35d4","datavalue":{"value":{"amount":"+0.7823714017868042","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":"Q2915903$DB89CD5E-4DD0-4B64-9A49-26D922E8CB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4d38792060ef245414069d6ad80dd1b82d9598","datavalue":{"value":{"entity-type":"item","numeric-id":4276037,"id":"Q4276037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f583ddd16c592b73a646c2442dcd37e76e12095d","datavalue":{"value":{"amount":"+0.7747527360916138","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":"Q2915903$BD9D8649-2D57-4F4D-99FD-547A8EE3694A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915903"}}}}}