{"entities":{"Q1892098":{"pageid":1902840,"ns":120,"title":"Item:Q1892098","lastrevid":71079318,"modified":"2026-04-13T19:20:31Z","type":"item","id":"Q1892098","labels":{"en":{"language":"en","value":"The real core model and its scales"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 761906"}},"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":"Q1892098$73122D33-FF7B-4A87-BE34-E7F7B9900564","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8231e11180e52200a7e950c072608eabe48b2d07","datavalue":{"value":{"text":"The real core model and its scales","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892098$729699C5-3BBE-4211-9640-28B4C7262BDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ad9b6aa90c1ad4393b261b328c6ad5f2ca9cca8","datavalue":{"value":"0828.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892098$2404D862-C959-4E69-B7A8-F241F63CD81F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef513e00dcbefde7b20afc11d445ff950c3c092e","datavalue":{"value":"10.1016/0168-0072(94)00023-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892098$66703B3C-61FF-4279-AEBE-62C7B578BE0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a80f1f4c099461f511b88fc3d64a1c7c16946618","datavalue":{"value":{"entity-type":"item","numeric-id":412054,"id":"Q412054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$3485D2E1-5E90-4EB6-809B-5E78CB8714DC","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":"Q1892098$880242AB-82E5-482E-AA37-D692DC9F7F87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"943d28705a1658a76b15a0358fa314658866e7c3","datavalue":{"value":{"time":"+1995-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892098$87C4935B-EA6D-4CED-ADE0-E985E1E3BB81","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a23b28bbd448981c92b1c2c3b952ee92c2a54524","datavalue":{"value":"This paper generalizes the theory of the core model \\(K\\) of Dodd and Jensen to the core model over the reals, \\(K(\\mathbb{R})\\). This is done mostly in the context of AD, the axiom of determinacy. A mouse over the reals (or real mouse) is similar to the Dodd-Jensen mouse except that it contains the set of reals as an element and it believes that its measure \\(\\mu\\) is ``\\(\\mathbb{R}\\)-complete'', i.e., \\(\\bigcap A_{x \\in \\mathbb{R}} \\in \\mu\\) for any \\(\\langle A_x \\in \\mu : x \\in \\mathbb{R} \\rangle \\in {\\mathcal M}\\). Real mice need not satisfy the axiom of choice. \\(K (\\mathbb{R})\\) is essentially the union of all sufficiently good real mice. It is shown that if \\({\\mathcal M}\\) is an iterable premouse over the reals which models AD, then the class of sets \\(\\Sigma_1 ({\\mathcal M})\\) has the scale property of Moschovakis. It is also shown that ZF + AD +\\(V = K(\\mathbb{R})\\) implies DC and that Con(ZF + AD +\\(P (\\mathbb{R}) \\nsubseteq L (\\mathbb{R}))\\) implies Con(ZF + AD + DC +\\(\\forall \\alpha < \\omega^2 (\\alpha - \\Pi^1_1) - \\text{AD}_\\mathbb{R})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892098$7F6B6FBD-3F13-44FE-BFCD-D23367295B76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892098$3512DDCC-FD55-4D33-B4D3-7BFE6C69C225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892098$C12D4591-D9E3-42FB-8AF5-40B848986208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892098$399E2D9B-9CD3-4244-BDA5-873F85E264EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ec1a96266436d9749df2b05a9cce8eab3d216e3","datavalue":{"value":"761906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892098$7136EC07-41C7-4E93-AF3F-F35A1F3BA753","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b554279a6b3d2763e31e966664501fdd51a92def","datavalue":{"value":"dependent choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892098$6CDEA6A7-B0B0-4C57-BBA2-1F8617DA49F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55b1aca3b655c601f81792a029056f613695e5ba","datavalue":{"value":"core model over the reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892098$D8BDA9F3-34DE-412B-9961-FA2E76DB3276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d451d48ec6bea33e6f5638bb74e6420fe45f307","datavalue":{"value":"axiom of determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892098$FFC2B53A-CB40-4E17-8CBB-7C82AD7E7568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58579f135b54f67367acabb3b79438504fbf69d7","datavalue":{"value":"real mouse","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892098$6C46A768-7FBB-40FB-A2C4-D1F12D9F7D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b807615315a361babc206f41675e9b748ea02fc","datavalue":{"value":"scale property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892098$060F71D0-988A-4C33-A819-8B24082E586E","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":"Q1892098$242EC3AA-9A1E-4566-9DFB-D45F86D60900","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$9026D1BA-980B-41E0-8125-45DE38016DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b49a28bae557db8a909eb405e69f63328ccc1a","datavalue":{"value":{"entity-type":"item","numeric-id":1295373,"id":"Q1295373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$0439B8D3-374D-43D5-9D64-3D9E9B5D645B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a29d407dcf4b5715a80ab48653b016b2d05ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1243717,"id":"Q1243717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$2D95F895-7512-484B-8D1A-10BA935E20C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34752022760b90335724202ce223f4877729102b","datavalue":{"value":{"entity-type":"item","numeric-id":3929732,"id":"Q3929732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$19088EE7-1547-4383-B611-AF16FCCD2BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fda8da851a3bd922f54f5e11ff004e1ab10a037","datavalue":{"value":{"entity-type":"item","numeric-id":3905272,"id":"Q3905272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$CBF3546B-6C94-47EF-B100-751BCEA2B58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97057d7afbb202523c7b944970819b7821a57458","datavalue":{"value":{"entity-type":"item","numeric-id":3476807,"id":"Q3476807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$230A006C-602F-428A-8D45-C78289360939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$6FD38358-ECD4-4AD9-8D60-6D685D1BAD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69cbde01ed573a95cc040d6c44b2e843ca2b238","datavalue":{"value":{"entity-type":"item","numeric-id":3708796,"id":"Q3708796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$510B73EB-7B3E-44BA-9EBF-30D92AD99222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$EB7387D2-C120-4C4B-9356-AADC09791E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058c9849d1a01c16d1b1868cdad37665faa51283","datavalue":{"value":{"entity-type":"item","numeric-id":5619096,"id":"Q5619096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$D5532F3F-2E1A-46A3-9819-63AE639FE48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1858eeb53b5ea1cb10840d1fca58e2287b31b04a","datavalue":{"value":{"entity-type":"item","numeric-id":2640595,"id":"Q2640595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$6495562A-EE06-4A8F-8774-5377E80D0F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c7a3c73e5d377bddbb52ba7ef774d11d63e268","datavalue":{"value":{"entity-type":"item","numeric-id":3310607,"id":"Q3310607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$8DAD25F0-E8A5-4E35-AC0D-4CF207158B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23f97603286e052a99b33d1c7cd68e1efa4ccf5","datavalue":{"value":{"entity-type":"item","numeric-id":3342564,"id":"Q3342564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$103E2582-AA7C-4EEE-913C-D457706AA202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$0B988E85-DDFE-4F06-B42C-81BB9B0DD554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e527993cecc5c707944b647499a6c43b50acd64a","datavalue":{"value":{"entity-type":"item","numeric-id":5582327,"id":"Q5582327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$51F4E5D9-798A-4758-99DD-6A2EE0F2482B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6425f6d85872bec0865456288282a5e4f6df796","datavalue":{"value":{"entity-type":"item","numeric-id":3503743,"id":"Q3503743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892098$B1679FDC-8CDF-47AD-97F5-BDAD109ADFAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062617cc2724101d02155e14d2aa566204694754","datavalue":{"value":{"entity-type":"item","numeric-id":4227875,"id":"Q4227875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed9d45b780e42efc1e8546864918958be58af6c","datavalue":{"value":{"amount":"+0.8911447525024414","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":"Q1892098$4EC9ED55-3632-4052-A2A0-12F50AAD0AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd32ae9eedf82984f2956ce4f80cf6598f8cd86d","datavalue":{"value":{"entity-type":"item","numeric-id":3597425,"id":"Q3597425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c6bb6ae7a0afd3b98f0e6baee56026c1a1fd16","datavalue":{"value":{"amount":"+0.8872796893119812","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":"Q1892098$BE561887-8512-4859-8ADC-05B44E8B6181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00bdd19043d26efc6adbd7461c7ef4e62540d3a8","datavalue":{"value":{"entity-type":"item","numeric-id":1295373,"id":"Q1295373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea1017796186639cc934e81c09fe93fd46a63ed","datavalue":{"value":{"amount":"+0.8427509665489197","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":"Q1892098$84950DD5-F1E2-4555-80C5-AE0856E12153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94be5e41841e6d7b17c84bac3003104d5cf5b6a7","datavalue":{"value":{"entity-type":"item","numeric-id":412055,"id":"Q412055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27685b1a6ed2a8a663b14bff1a1235303d07ae5f","datavalue":{"value":{"amount":"+0.8424671292304993","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":"Q1892098$902CD65A-DD8E-4FF0-83A2-8ECBDAEFA6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b7bdeba50e3dd577569889f6bbfb7b2d84382b","datavalue":{"value":{"entity-type":"item","numeric-id":4779661,"id":"Q4779661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f85828fa746ac262c83ecced9dc5b7d65b96064","datavalue":{"value":{"amount":"+0.8407572507858276","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":"Q1892098$F624B4A0-66D4-4735-BDA1-3C65BBFBAECB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The real core model and its scales","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_real_core_model_and_its_scales"}}}}}