{"entities":{"Q1361253":{"pageid":1371992,"ns":120,"title":"Item:Q1361253","lastrevid":43055031,"modified":"2025-07-17T07:12:02Z","type":"item","id":"Q1361253","labels":{"en":{"language":"en","value":"A non-generic real incompatible with \\(0^\\sharp\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1038668"}},"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":"Q1361253$D9A8E9AA-3A93-4429-8172-9C7A9A5484B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acab6d1e13bb25370087610a17dd99e0133d6bed","datavalue":{"value":{"text":"A non-generic real incompatible with \\(0^\\sharp\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1361253$26BC167D-02F8-437F-BFA3-CD3921130DEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58acc693d5fbbaefb5d25b4be9c8628a09e57c18","datavalue":{"value":"0877.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361253$F71A9CB4-374E-4424-87AB-A849DD61B1F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8dff66eed6f5d33e2e2567adcc6897e496cc78c","datavalue":{"value":"10.1016/S0168-0072(96)00033-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361253$42409AC9-7F85-4EE7-B913-47C69AB28E32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe30be52d266dd1412754952e04791a29019c0c8","datavalue":{"value":{"entity-type":"item","numeric-id":208732,"id":"Q208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361253$1753A243-F522-4CB1-A786-CD43C75A55E8","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":"Q1361253$F86088A8-C85E-4704-82B7-F88AACCD6154","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"642c03e106b7580fbefdce7150af6960573fd3b8","datavalue":{"value":{"time":"+1997-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1361253$D07530AA-EE99-4F02-9ADC-5A0EE990E427","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"170d1d88bbb6cb1ea38ce6c6cfedaccb28d96f4c","datavalue":{"value":"Let \\(L\\) be a minimal countable standard transitive model of \\(\\text{ZFC}+{V=L}\\) which means that \\(L=L_\\beta\\), \\(L\\) is a model of ZFC, and for some \\(\\alpha<\\beta\\) the elements of \\(L_\\beta\\) are first-order definable from ordinals less than \\(\\alpha\\). A real \\(x_{\\text{ng}}\\in{}^\\omega2\\) is constructed such that \\(x_{\\text{ng}}\\notin L\\), \\(L[x_{\\text{ng}}]\\) satisfies ZFC, and in a certain sense \\(x_{\\text{ng}}\\) is not generic over any outer model of \\(L\\) containing the same ordinals as \\(L\\). By another result of the author [``Class forcing'', to appear] it follows immediately that there is no outer model \\(V\\), a \\(V\\)-amenable partial ordering \\(\\mathbb P\\) and a filter \\(G\\) on \\(\\mathbb P\\) meeting every \\(\\langle V;{\\mathbb P}\\rangle\\)-definable dense subclass of \\(\\mathbb P\\) such that \\(x_{\\text{ng}}\\in V[G]\\setminus V\\) and \\(\\langle V[G];V,P,G\\rangle\\) satisfies ZFC. For the proof some trees \\(T^n_{k,i}\\) of closed sets of ordinals (uniformly in \\(k\\) and \\(i\\) but not in \\(n\\)) for all \\(n,k\\in\\omega\\) and \\(i=0\\), 1, class orderings \\({\\mathbb P}^n\\) for \\(n\\in\\omega\\) with \\({\\mathbb P}^{n+1}\\subseteq{\\mathbb P}^n\\), and a Shoenfield term \\({\\overset\\circ x}\\) common to the forcing languages of all orderings \\({\\mathbb P}^n\\) are defined in \\(L\\) so that if \\(G\\) is sufficiently \\({\\mathbb P}^n\\)-generic, then \\(x_{\\text{ng}}={\\overset\\circ x}^G\\) codes a suitably generic branch through \\(T^n_{k,i}\\) where \\({\\overset\\circ x}^G(k)=i\\). The coding is based on a simplified version of Jensen coding of generic extension of \\(L\\). The motivation for the main result was a Beller-Jensen-Welch conjecture saying that if \\(x\\) is a real and \\(0^\\sharp\\in L[x]\\), then \\(x\\) is class generic over \\(L\\). The construction of the real \\(x_{\\text{ng}}\\) is incompatible with the existence of \\(0^\\sharp\\) (which implies that \\(L\\) is not minimal). The author formulates a list of open questions on the possibility of constructions of reals from \\(0^\\sharp\\) not being generic in certain sense.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361253$D9A454CF-A8FF-4008-AC1E-84AAB05529DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361253$E4BD07C5-9F91-48D4-BD8D-619C7D063CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361253$28B53F03-A8C5-4B2C-AB5E-AF7DBFA071DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361253$D4B1B7ED-939C-4ED5-BA3B-D01351C640C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f30902273cf64c52f3474440f1911e4a354b3216","datavalue":{"value":"03E47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361253$2B37E70E-907B-4DE9-BE67-AF1B0C451DB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9277861640dbbd4d16cdd73f51916902c5d2cd7","datavalue":{"value":"1038668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361253$4EFBEBA1-74B4-473D-A1EA-FEA536051A52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361253$F1CC7468-B1C1-4340-BADC-15B1DADB13B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f6193621c197eb0262c7fc9a38331f445616aec","datavalue":{"value":"\\(V\\)-amenable structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361253$9C88A0E3-E1C0-41F8-88E3-7E023A277482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de8e4c888f2bc113fc2282cab11f5331133d5ae3","datavalue":{"value":"\\(V\\)-amenably generic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361253$17B84B15-62D0-423D-890E-A6EAB1FB37A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3225a420228606d35789825363f7271a7b208b61","datavalue":{"value":"weakly generic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361253$F458F8D5-8442-4657-A2C5-1CC56A4FF008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb84816a80aa8eeefb9a8a2a4dfc1cd44d209d4","datavalue":{"value":"invisibly generic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361253$A08BC1C6-A7B7-42F4-9D59-E0C7A669C3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8087f38f634a85a26d785fada7e82f0748fda688","datavalue":{"value":"diagonally generic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361253$D116DB8B-72C8-4244-B96F-42599BEA7B03","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":"Q1361253$457A3465-F8B7-47B0-B704-D72387AA0C87","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":"Q1361253$0BB9971B-A89B-4302-841C-3A23608C1D00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccbcfd7e342f92ce474b668987130a65c2b46aa","datavalue":{"value":{"entity-type":"item","numeric-id":3921212,"id":"Q3921212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361253$ECABEFDE-1D51-44E4-B514-353B2C4F469C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a636b011db6c07b64dc1eaa4a319a6ac989ef78","datavalue":{"value":{"entity-type":"item","numeric-id":4302357,"id":"Q4302357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361253$9D295DDB-F0B2-4118-85DE-BE1974B32E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a1c7020e75d5f63eee647b306d39f71ee7e80d","datavalue":{"value":{"entity-type":"item","numeric-id":1901668,"id":"Q1901668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361253$4FEBE9E9-DB15-4008-8BBC-467D150C91FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1221b1bc81cd381a2a63fe0d5a511232d5a63de","datavalue":{"value":{"entity-type":"item","numeric-id":4032656,"id":"Q4032656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361253$A807CE0C-0049-4462-ABA3-19AC9561E830","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"485fb2fae0a542e79221b47d20a4dc6e2e78cf73","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(96)00033-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1361253$8601EC73-254D-4AE3-9CB1-19FC10CCB372","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31af48cb8151ae0857a35f233f7281ff2e0be69a","datavalue":{"value":"W1998478094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361253$04B3CE7E-F1A0-4295-8BE3-4BE31E06E206","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5ba31dd6f20dfac32e1e6fe0e4536be6f2577d","datavalue":{"value":{"entity-type":"item","numeric-id":3218113,"id":"Q3218113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc09fc02f79a9f85a348232c53563d431d232fa","datavalue":{"value":{"amount":"+0.82440555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1361253$2FC6A71A-C7A9-4DBE-AEDD-A9909B780DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c99e21a3ddd7b948b5ed4ec47efaa891bd0e3f3","datavalue":{"value":{"entity-type":"item","numeric-id":1175926,"id":"Q1175926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916e84e9aa2e99789a5adc9ee50af2adbb28aa34","datavalue":{"value":{"amount":"+0.8219681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1361253$5428EAB1-8ECF-4C12-8814-284A4714B790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9fddf6becc3b5129f15eb88ff868a0bdbb4031c","datavalue":{"value":{"entity-type":"item","numeric-id":1676517,"id":"Q1676517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175d2824319d006cf9bf9988ece41a79aad60147","datavalue":{"value":{"amount":"+0.81153053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1361253$CB80265E-8BF7-4CA5-8B7C-07E9D888D947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a1729aa0773947c4cfe72442ade9c866d0496a","datavalue":{"value":{"entity-type":"item","numeric-id":439222,"id":"Q439222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"732a129be1aa01eb08cedccb51061d7aff5b0ab9","datavalue":{"value":{"amount":"+0.8110435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1361253$C335A5D3-BB01-464E-BE04-0FEEE9063A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5acc4062258b0612067b53be93ad8a7b1a73e0f6","datavalue":{"value":{"entity-type":"item","numeric-id":4377336,"id":"Q4377336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a313c5c5f797efaae46e62629460d4b25cfb010d","datavalue":{"value":{"amount":"+0.8014271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1361253$34427129-DDFB-4919-8CD5-04BE54CD4E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4e982f89e7f3f1653a138fa784f5fcebb3dc30","datavalue":{"value":{"entity-type":"item","numeric-id":1104316,"id":"Q1104316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7a8e416326a332f29c40fbeaf97375c38d3425","datavalue":{"value":{"amount":"+0.8001943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1361253$E006DF5C-3371-46F0-9A6B-44F134B96236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74de4610aa034002d5e0f260ff5d107f6f04010","datavalue":{"value":{"entity-type":"item","numeric-id":5966622,"id":"Q5966622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e0facee91537a8da16fbe5dbc9e3b13b9921ba","datavalue":{"value":{"amount":"+0.7964688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1361253$F3AC58E6-9963-47C4-AD1C-2C88B07B6CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e0d7958ffb7c54e3deb8e9913363113db783f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5905457,"id":"Q5905457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e0facee91537a8da16fbe5dbc9e3b13b9921ba","datavalue":{"value":{"amount":"+0.7964688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1361253$A4F1A1AC-9463-4C45-9A93-2BB0593CF4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d242841c44bc543054282c93b1d1acfe7b2b4d","datavalue":{"value":{"entity-type":"item","numeric-id":5952916,"id":"Q5952916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a71a95bc435abf988579833d1e560101032cc97","datavalue":{"value":{"amount":"+0.79572684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1361253$5518BCF6-8C6D-444A-9BF4-85337494052B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be56a481c138b8997e34ae333d15c16cb0b04f03","datavalue":{"value":{"entity-type":"item","numeric-id":5311715,"id":"Q5311715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b66e6b24dfaa0f07cf66ad98b0bddecb9df2275c","datavalue":{"value":{"amount":"+0.79561156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1361253$3C50EBD8-3E79-4886-9CEC-015D18D9852E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1361253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1361253"}}}}}