{"entities":{"Q1307385":{"pageid":1318135,"ns":120,"title":"Item:Q1307385","lastrevid":68534556,"modified":"2026-04-13T00:22:59Z","type":"item","id":"Q1307385","labels":{"en":{"language":"en","value":"Mutual generics and perfect free subsets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1354984"}},"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":"Q1307385$A669881B-06BA-4724-BE50-A6968D2A424A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddfb884ae6321b68908694699a69cc56496bbf54","datavalue":{"value":{"text":"Mutual generics and perfect free subsets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1307385$BB0E0A9F-E545-457F-9BDF-2DCADE684D05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69e856cb4fcc1a74702d18d84b2cd2be4e249853","datavalue":{"value":"0924.03096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307385$C0B9A1E9-F946-4743-AF22-606AC96D28F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8255925c8a6f51337a15b5b082eb302605648a5","datavalue":{"value":"10.1023/A:1026458210592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307385$BDE0688D-D44E-47C3-B6FB-8EACCFC3E23C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307385$6C6E4B0F-8AAE-4547-A9A8-90C1F75B17F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd5fe418ce0a2d6da5e54c8707dea6df216e12e0","datavalue":{"value":{"time":"+1999-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1307385$D549CD0C-0256-4670-A4C7-D49AEB480640","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4336d38a1f4c892bbc2ccb51813f630544809865","datavalue":{"value":"https://arxiv.org/abs/math/9407205","type":"string"},"datatype":"url"},"type":"statement","id":"Q1307385$E90243F3-17D4-4A23-8793-EB5E8A3DD4C3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d35016dc5f9c57a012d892bbf0788f542f29ff3f","datavalue":{"value":"In this paper, the author is interested in the existence or non-existence, in certain models of set theory, of perfect sets of reals, the elements of which are independent of each other in some strong sense. Here are two of his main theorems.    Theorem A: Let \\(V,W\\) be models of ZFC with \\(V\\subseteq W\\), assume there is a dominating real over \\(V\\) in \\(W\\), and let \\(r\\) be a random real over \\(W\\). Then there is a perfect set of mutually random reals over \\(V\\) in \\(W[r]\\). (A set \\(S\\subseteq 2^\\omega\\) is said to be a set of mutally random reals over \\(V\\) if for every natural number \\(n\\) and distinct \\(x_0,\\dots,x_n\\in S\\), \\(x_n\\) is random over \\(V[x_0,\\dots,x_{n-1}]\\).)    Theorem B: Let \\(r\\) be random over the constructible universe \\(L\\). Then there is no perfect set of mutually non-constructible reals in \\(L[r]\\). (A set \\(S\\subseteq 2^{\\omega}\\) is said to be a set of mutually non-constructible reals if for every natural number \\(n\\) and distinct \\(x_0,\\dots,x_n\\in S\\), we have \\(x_n\\notin L[x_0,\\dots,x_{n-1}]\\).)    For \\(f: \\mathbb R^n\\to \\mathbb R\\), a set \\(A\\subseteq \\mathbb R\\) is said to be free for \\(f\\) if for all \\((a_0,\\dots,a_{n-1})\\in A^n\\), we have \\(f(a_0,\\dots,a_{n-1})\\in(\\mathbb R\\backslash A)\\cup\\{a_0,\\dots,a_{n-1}\\}\\). In the later part of the paper, the author presents a number of results on the consistency of the existence of perfect free subsets for projective functions \\(f:(\\omega^{\\omega})^n\\to \\omega^{\\omega}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307385$2310BAFB-B13C-4E9E-BD1E-5680122FC714","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307385$3722C076-F5F7-4698-9FA7-0FC872B3A184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307385$4522F968-E701-404B-8DE1-DD7EE303BE2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"933c2f5e4f6f72e7adb6f390a1704f01ebb91159","datavalue":{"value":"1354984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307385$7FCA6D0E-E3DE-4EE3-B4C7-5FE5059FC6FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e8b986a5a2a9de99dc430dfd812af6dc76aa70","datavalue":{"value":"random real","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307385$8A0D137B-45DA-4D7B-96AA-CBC9F3779A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e56cbb9765836425f4c629afb9056adb9927a0","datavalue":{"value":"perfect set of reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307385$099C406F-FB21-4807-962A-B17E2BF9C60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5fe271cfa15fd5940f7cb5bcb23270c005beb84","datavalue":{"value":"free subsets of projective functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307385$2EA6A362-D4EA-4894-B662-2F4D6CBD5D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5206826eb45972dda75ca9d3ed15c259f7dac0ec","datavalue":{"value":"mutually non-constructible reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307385$FE630E0F-7635-42E8-9261-EA7D747B7E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307385$0BE306BE-6520-486F-AA69-8443F0FF2C5E","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":"Q1307385$22E9182F-9994-4DC5-8C4E-7BB65EA2F6A0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e895f7d767724f4ff7f1c864b815a28e2d8e0b38","datavalue":{"value":{"entity-type":"item","numeric-id":916652,"id":"Q916652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307385$3C22ECC2-61EA-4C65-91C3-D1FA1633D41D","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":"Q1307385$1E0B08AB-6031-4526-9B0E-CD4453D7518D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ac2e3944e6adf20502891b7ed8a41ac94e6a97","datavalue":{"value":{"entity-type":"item","numeric-id":690050,"id":"Q690050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472eb06a9df202a3c3009f5af5f041ee79160e5f","datavalue":{"value":{"amount":"+0.793353259563446","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":"Q1307385$F247D0A3-95B7-4EAE-BC71-B43F5110D75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c618d9b0d31ed0b322dfece67382868c5a0f73c","datavalue":{"value":{"entity-type":"item","numeric-id":4212936,"id":"Q4212936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f23105dcc159321745f765b3dd3f1c00ddb129f4","datavalue":{"value":{"amount":"+0.7740695476531982","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":"Q1307385$766BBBBD-3C0D-473E-9D9B-0D7D9B350F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6def2535a8f6b7ad4acb08ef08ee0c265ce1ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3243389,"id":"Q3243389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc68601f32192fcda796b1024ff9d76d7068c33c","datavalue":{"value":{"amount":"+0.7721881866455078","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":"Q1307385$2FC25783-CCCA-4E95-BF93-38F2C158F963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8788b423253654fc68c7d253058b2ab66ce70a62","datavalue":{"value":{"entity-type":"item","numeric-id":3718700,"id":"Q3718700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d07ab3b52f9da442e545225e1206051a282a0b3","datavalue":{"value":{"amount":"+0.7538700699806213","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":"Q1307385$73BF3816-FB3F-4966-AEAE-6297878BA7B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mutual generics and perfect free subsets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mutual_generics_and_perfect_free_subsets"}}}}}