{"entities":{"Q632980":{"pageid":634828,"ns":120,"title":"Item:Q632980","lastrevid":63242778,"modified":"2026-04-11T11:33:26Z","type":"item","id":"Q632980","labels":{"en":{"language":"en","value":"Eventually different functions and inaccessible cardinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5871033"}},"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":"Q632980$66AFF845-84FE-4581-BFFB-50C6DC643C2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acabf6e93aafd2109d612db375f90a17faaaaba2","datavalue":{"value":{"text":"Eventually different functions and inaccessible cardinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q632980$FAFC72E9-4259-4F95-8E24-F2A2183132D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"499cf816b4da199dac5c50bdf489605b3040bc3f","datavalue":{"value":"1215.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q632980$8E2362AC-D621-4A71-8F1F-10EF511347B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"522d86fd2a374cdca0cbc78d1fc86b837c837abc","datavalue":{"value":{"entity-type":"item","numeric-id":386635,"id":"Q386635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632980$E87E4E88-2260-46D5-B9F7-0947DC9F6553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1294aa2c1b7b8075353a8829fe6eed369d61b4a1","datavalue":{"value":{"entity-type":"item","numeric-id":1806279,"id":"Q1806279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632980$95879790-E283-4FA2-911E-1BA4FDD4A667","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":"Q632980$7E07E0E6-15E9-486F-B572-4568DFA04020","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86a51260412b40e5c53c8066fdea67849229bf08","datavalue":{"value":{"time":"+2011-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q632980$E1EAB46D-1991-4BD5-96F7-6962CBD701BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a3ee0e6cfa987b76f14a5f4cf46db3c1a2252ff","datavalue":{"value":"http://www.jstage.jst.go.jp/article/jmath/63/1/63_137/_article","type":"string"},"datatype":"url"},"type":"statement","id":"Q632980$64250E3F-ABF2-4330-BB2A-295369A56EB4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7dcfd9f8a855d65d4139e8896066c12dbcdc55d2","datavalue":{"value":"The conditions of eventually different forcing, denoted by \\textbf{E}, are pairs \\(\\langle s,F \\rangle\\) where \\(s\\) is a finite sequence of natural numbers and \\(F\\) is a finite set of reals. The order is given by \\(\\langle s,F \\rangle \\leq \\langle t, G \\rangle\\) iff \\(t \\subseteq s\\), \\(G \\subseteq F\\) and for all \\(i \\in \\text{dom}(s \\setminus t)\\) and all \\(g \\in G\\), we have \\(s(i) \\neq g(i)\\). This forcing generates a topology \\(\\mathcal E\\), the eventually different topology, and refines the standard topology on Baire spaces.  The authors investigate the Baire property of the eventually different topology. They obtain a characterization of the \\(\\mathcal{E}\\)-Baire property of the \\({\\pmb \\Sigma}^1_2\\) sets by showing (Theorem 7) that the following are equivalent: (i) every \\({\\pmb \\Sigma}^1_2\\) set has the \\(\\mathcal{E}\\)-Baire property (i.e., \\({\\pmb \\Sigma}^1_2({\\mathbf E}))\\), (ii) for every \\(x\\), the set of \\({\\mathbf E}\\)-generics over \\(L[x]\\) is \\(\\mathcal{E}\\)-comeager, and (iii) \\(\\omega_1\\) is inaccessible by reals.  Further on, the authors show: Let \\(G\\) be \\(L\\)-generic for the \\(\\omega_1\\)-stage finite support iteration of Hechler forcing. Then, in \\(L[G]\\), \\({\\pmb \\Delta}^1_2({\\mathbf D})\\) holds while \\({\\pmb \\Delta}^1_2({\\mathbf E})\\) fails.","type":"string"},"datatype":"string"},"type":"statement","id":"Q632980$E07E083A-2213-4D06-9D4C-D88EF01DA214","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":"Q632980$58A076DB-CF62-4398-92EA-5F12057CA80D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q632980$6F8E8C4F-6077-4BFA-B0BD-418A5EFBCDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q632980$6DE3EACC-D70C-44F1-A875-712E72FCB971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q632980$2916CC78-03E1-4FCA-9F01-D3212B4E48EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0abeada8a5e5613e5a10b330fbf923f1efa0be5","datavalue":{"value":"5871033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q632980$29451F10-DCD4-496F-9ACC-0A5A841ED5C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b445fbf5ce14875e40abed1d3a39e6dcdf2c88f3","datavalue":{"value":"Baire property","type":"string"},"datatype":"string"},"type":"statement","id":"Q632980$1D7CFC74-5507-4968-B048-73B4DAC87846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bce6a481d9bb2371ea886722b644772bedccbe4","datavalue":{"value":"eventually different topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q632980$4F7B293D-A3AF-4DBC-A6AC-DF06989E8180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75a3de4a8ef0a9697b595189c7252fde0e6c115d","datavalue":{"value":"projective hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q632980$6E7CE3F7-390A-4D25-BBBF-F2FADF206A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a919b321532a2b647f6eab8de9815d59bf914b6d","datavalue":{"value":"inaccessible by reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q632980$4A5473B9-3F78-49A3-AFAE-22CE8932DDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4f8d26b180b0009c446a403e06a8b55d6063b6","datavalue":{"value":"dominating topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q632980$599762FF-B989-4C05-B0EA-B598D3B42D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6998146164486edd80eeba49e3e688725b3e68fb","datavalue":{"value":"Hechler forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q632980$7CC39E82-3FDC-4D5B-8CB9-60D89E5E41EB","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":"Q632980$48EE6141-6B2B-4BE6-8A28-6BB04C1234BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08073b36e6f510c592b1bb55f78f92142fc1fc00","datavalue":{"value":"W2167819478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q632980$2125D119-DF32-4628-9F90-03C277A365A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c852c34927ad6f9daa359041d66e24d7b7cc63c","datavalue":{"value":{"entity-type":"item","numeric-id":3680824,"id":"Q3680824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632980$9A5ACE20-2CE4-416D-A9D1-4FB7C7B553AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25058edcb26fa9f3365f3e039143c276f9f2533b","datavalue":{"value":{"entity-type":"item","numeric-id":4670309,"id":"Q4670309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632980$7860B181-2885-4205-A0B4-1EEF6D7E0A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3f61905065ea973a09b9fee58c752f2b371318","datavalue":{"value":{"entity-type":"item","numeric-id":4844091,"id":"Q4844091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632980$1DD327E9-D78C-4E3D-BAF2-E955D21B5509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab779d62db97aff0e79425f31af0164a1860ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4934042,"id":"Q4934042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632980$A83E8FFC-67FE-44F7-A8A1-0DA156E1E435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bcbc63edb5983fdb4e7ce4ce2d28d338dcf40c6","datavalue":{"value":{"entity-type":"item","numeric-id":1892933,"id":"Q1892933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632980$DC486853-48BF-417F-A8B6-BF84CBFAE884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292faf3edd003d1fe5e37f54b308959935423250","datavalue":{"value":{"entity-type":"item","numeric-id":861815,"id":"Q861815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632980$00B1EF20-780A-4937-B976-EC7BD88353B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30206e23d8f6df4a3decfd92e498ec4f5ff1ff39","datavalue":{"value":{"entity-type":"item","numeric-id":636331,"id":"Q636331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632980$193397CD-B983-4627-9161-8C6D586C8501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9e2e4273480bf24f60f80f2112ad6a3e52d58b","datavalue":{"value":{"entity-type":"item","numeric-id":1117922,"id":"Q1117922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632980$69F1785F-5466-4F36-AC74-FA857570AC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c56e5f3d04099429d7abf8e0094315eba6ba178","datavalue":{"value":{"entity-type":"item","numeric-id":1332843,"id":"Q1332843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632980$F71630A0-E522-4538-9BC4-5BBA6BCE2C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ebc53b5494cfb00f238c2ab7b8a192a2b392b0","datavalue":{"value":{"entity-type":"item","numeric-id":4361603,"id":"Q4361603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632980$9D87AE40-44FE-48D6-BBA0-B97906250068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f46aa32f98eafbf9c5c230afe14650e1ac2a75c","datavalue":{"value":{"entity-type":"item","numeric-id":3758826,"id":"Q3758826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632980$A028C9A3-05F3-4BDB-9A7E-14A9AA7F21FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q632980$5558FD93-801C-4737-8D9D-18221637D7CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09501e47843e2428869595d40c834569f4c88cc4","datavalue":{"value":"10.2969/JMSJ/06310137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q632980$5D777306-100F-4985-AB78-30C61573ADDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5b3ace2f4bd7db8f36c94fac0ab801d369efdf","datavalue":{"value":{"entity-type":"item","numeric-id":1908811,"id":"Q1908811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801560c18046e9412805fda0f75604a15b32ea8e","datavalue":{"value":{"amount":"+0.7533619403839111","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":"Q632980$2D5CB637-3939-43DF-B468-CD320E0E1A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557b57755b96f2f939424e1c1847cdffa01d66fd","datavalue":{"value":{"entity-type":"item","numeric-id":3971584,"id":"Q3971584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801560c18046e9412805fda0f75604a15b32ea8e","datavalue":{"value":{"amount":"+0.7533619403839111","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":"Q632980$E34011CA-E0F7-416A-887A-177893F3F64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beafc730c0baac7d1aa1497f0a6047a8d806ced2","datavalue":{"value":{"entity-type":"item","numeric-id":1081601,"id":"Q1081601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1651698b9e4d888fb70c020129690f5c193bde0","datavalue":{"value":{"amount":"+0.743742823600769","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":"Q632980$53559D02-9606-4C4B-AFE6-E00EDC9C02D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef45ea79372d6c1e452b566d4c622844d0b13af","datavalue":{"value":{"entity-type":"item","numeric-id":1117922,"id":"Q1117922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eec97fbc3fcfd59bc6092b2364da9fa2d602c2bb","datavalue":{"value":{"amount":"+0.7432817220687866","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":"Q632980$6C1B0D45-5E58-4DD7-9D6E-49688DD16AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8161baf779853050a9e2622440757d643dcb64f2","datavalue":{"value":{"entity-type":"item","numeric-id":3377365,"id":"Q3377365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3961d7156efe5f122982d0343f2c078ed7c2fb00","datavalue":{"value":{"amount":"+0.7421275973320007","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":"Q632980$26222AAA-406B-4ABB-BBD3-9B959E330C2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Eventually different functions and inaccessible cardinals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Eventually_different_functions_and_inaccessible_cardinals"}}}}}