{"entities":{"Q1298032":{"pageid":1308782,"ns":120,"title":"Item:Q1298032","lastrevid":46659126,"modified":"2025-12-25T08:42:45Z","type":"item","id":"Q1298032","labels":{"en":{"language":"en","value":"The first derived limit and compactly \\(F_\\sigma\\) sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1336895"}},"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":"Q1298032$074ED711-B8C9-4445-A896-B0194DE2375D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e87b6786125701bbfb6c943836de22302d60587","datavalue":{"value":{"text":"The first derived limit and compactly \\(F_\\sigma\\) sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1298032$73692480-5B0A-401C-B352-6577206A9929","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad4e5a144fc68cfdfb081e412deabe47fa3d636f","datavalue":{"value":"0930.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1298032$3B5D9DE2-000E-40D7-BD15-0BEC00F06B22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1298032$90792CC7-B8C3-499C-ADA6-384D41D33DE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1298032$9B40B686-1780-4CD3-B117-273270A7DB51","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"093dbcf7e4a2d60aa18cbc627d83fd83ed4d8785","datavalue":{"value":"For a~sequence \\(a=\\{a(n)\\}\\) of integers (a~member of~\\(\\mathbf N^{\\mathbf N}\\)) let \\(A_a\\) be the group of all functions from the set \\(D_a=\\{(m,n):n\\leq a(m)\\}\\) in~\\(\\mathbf Z\\) which are equal to~\\(0\\) on all but finitely many pairs \\((m,n)\\in D_a\\), i.e., \\(A_a= \\bigoplus_{m=1}^\\infty \\bigoplus_{n=1}^{a(m)}\\mathbf Z\\). The set \\(\\mathbf N^{\\mathbf N}\\) is directed with the ordering defined by \\(a\\leq b\\) if and only if \\(a(n)\\leq b(n)\\) for all~\\(n\\). For \\(a\\leq b\\) in \\(\\mathbf N^{\\mathbf N}\\) let \\(\\pi^b_a:A_b\\to A_a\\) be the natural projection. The author shows some connections of the first derived limit \\(\\varprojlim^{(1)}\\mathcal A\\) of the inverse system \\(\\mathcal A= \\langle A_a,\\pi^b_a,\\mathbf N^{\\mathbf N}\\rangle\\) with descriptive set theory. He proves: (1)~If \\(\\varprojlim^{(1)}\\mathcal A\\neq 0\\) then there is a~subset \\(X\\) of \\(\\mathbf R\\setminus\\mathbf Q\\) which is not analytic but its intersection with every compact subset of \\(\\mathbf R\\setminus\\mathbf Q\\) is~\\(F_\\sigma\\); and (2) PFA implies that there exists a \\(\\sigma\\)-closed poset which adds no new subsets of \\(\\omega_1\\) and which forces \\(\\varprojlim^{(1)}\\mathcal A\\neq 0\\). Therefore Martin's axiom together with negation of CH does not imply that a subset of \\(\\mathbf R\\setminus\\mathbf Q\\) is Borel if its intersection with every compact subset of \\(\\mathbf R\\setminus\\mathbf Q\\) is Borel.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298032$A1157269-5D36-41D4-8061-05BCE335B47C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24f8d16b2be3be7c389bb7bc4bfcdf6adc672a29","datavalue":{"value":{"entity-type":"item","numeric-id":173771,"id":"Q173771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1298032$7BC6E2BC-C613-4E34-ACB8-3ACE458461E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1298032$AFC58915-B2EA-4A03-BEF8-9DDC0F7CD2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1298032$C7B4F4CB-78D9-4D3E-9208-BD0A058A72AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ab82a73b1a87efe2ffd619938c9fe2897943f8b","datavalue":{"value":"18G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1298032$E67D0135-443F-4128-A27D-139976A5F9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ef4689b633ee6ae9d67146255f9e821eb053616","datavalue":{"value":"57T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1298032$B1C85DBE-3977-4704-B9AD-B93BDE69C9F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10efc496012c7f8892dbaa3c4d7fc4df22667d6a","datavalue":{"value":"1336895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1298032$5393FF71-E4C2-4746-9FE3-C78AA4F2DD86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3944b95af7ff766b58d9899fbd94c4c79871d7f","datavalue":{"value":"\u010cech's cohomology groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298032$C7F74924-BEB8-4BBA-BAF5-473A933C47A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e532f43c4e3076aa614a9c9af6ca9ff5e727d730","datavalue":{"value":"inverse system of Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298032$B9FC56E8-F6F1-4360-A20D-3BAC876290FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9c5bf8585c0c2976a2cf34bea3e911b084c4ff0","datavalue":{"value":"\\(F_\\sigma\\)-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298032$8AFC5F95-1417-4B8C-A9DC-AFB6A00709A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52862bf577eba59e2b36d75922fcb2ab5640edf0","datavalue":{"value":"compact sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298032$3F7CFFE2-1E31-41A9-B1A3-1EAE587F8695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b12abbcb0a7b047891aaa5ec845e0574a8f7e04","datavalue":{"value":"descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298032$A802821F-ADF8-42F9-AA56-1912DF9F928B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c6c31ec43218662a954d1edc2c3c26c723c9f8","datavalue":{"value":"Martin's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298032$4D3E3068-5A84-4DBA-AF85-44405F6344EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9949f81dd2ae3f5e04be24e561e8cb01307f2d45","datavalue":{"value":"proper forcing axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1298032$8DF15A9D-C64A-4BD3-B499-CAFDB46AF033","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c95457eed31152736b3fcc97aee8818e00189b1","datavalue":{"value":{"entity-type":"item","numeric-id":171182,"id":"Q171182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1298032$D407AA2E-DCFE-4B45-A064-B0C4FB963029","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":"Q1298032$9BE048E2-5BB0-4BEC-99B5-B8E844B42932","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19fbb3e8707e93692b67f75668378f70676cb2c0","datavalue":{"value":"https://doi.org/10.2969/jmsj/05040831","type":"string"},"datatype":"url"},"type":"statement","id":"Q1298032$24C0262A-5BD1-4DA5-BA35-7C556EA36662","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"889e3d3e1d5b66102f943594b6e9817ba7f314f6","datavalue":{"value":"W2041590141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1298032$3D608C48-4617-48B5-B448-207C0926BB24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b4119df9cf508bb53f041cf69f82f2bfa79e35c","datavalue":{"value":"10.2969/JMSJ/05040831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1298032$E2E6A437-7F43-4EFE-9308-B7429E2FE42C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25fd68d6132b1adc0cd629126afe6663ed061e62","datavalue":{"value":{"entity-type":"item","numeric-id":2836010,"id":"Q2836010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74674a3a0b0ef601e5f4082311d9b7eb44207923","datavalue":{"value":{"amount":"+0.7415812015533447","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":"Q1298032$B3F7BAFF-189A-4B0A-BC0D-48AE37518044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21bc4d6eee85fe1b69500cb571158e8b781cfc61","datavalue":{"value":{"entity-type":"item","numeric-id":1061122,"id":"Q1061122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2119b738d3b9cfe031f54f3cdb9a948b99b29e0","datavalue":{"value":{"amount":"+0.7334102392196655","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":"Q1298032$673D1AC1-EA7C-4446-8673-6D3FA191667E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb8b5e79fea834ca60a09d19bd7582967095b9a","datavalue":{"value":{"entity-type":"item","numeric-id":555805,"id":"Q555805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548eb8d5d60ec79e5ade96517ad87431d487318d","datavalue":{"value":{"amount":"+0.7285023927688599","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":"Q1298032$82D5DBE5-3E48-4E32-A396-C107CEDFC2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6116c92a81f2e2c9b1ddd2eec717b6ca82881df","datavalue":{"value":{"entity-type":"item","numeric-id":1071762,"id":"Q1071762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eda637f978f0c62d98d48ebc02a29a8c4dcff25","datavalue":{"value":{"amount":"+0.7267428040504456","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":"Q1298032$A4F29C29-68D8-4727-9413-E5F5488A1B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad029853ce8a184d6654a20baa713c1f058b5cc1","datavalue":{"value":{"entity-type":"item","numeric-id":5688702,"id":"Q5688702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43a5010c0263443a4c84cca1a320e41c78403cd","datavalue":{"value":{"amount":"+0.7237830758094788","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":"Q1298032$CFB4A868-41FF-4912-9347-BAA75DBF0F57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1298032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1298032"}}}}}