{"entities":{"Q2876534":{"pageid":2887254,"ns":120,"title":"Item:Q2876534","lastrevid":83624417,"modified":"2026-05-07T09:21:43Z","type":"item","id":"Q2876534","labels":{"en":{"language":"en","value":"Non-tame mice from tame failures of the unique branch hypothesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6331503"}},"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":"Q2876534$DD962F24-82D1-4889-A8C8-1532D1C61F76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5285ed37a0df9c95dd73e569d78d57261f403f5b","datavalue":{"value":"1325.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2876534$9151DE29-54C0-4B21-8295-8684A414570D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebf980a427bdabc612a1bd7b9a8a0ef8fd5de8ad","datavalue":{"value":{"entity-type":"item","numeric-id":435195,"id":"Q435195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2876534$606F2835-1D5D-49EB-9434-CCB24365434C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed4d17f75f6aab5c4296701da5c1dffabe108c87","datavalue":{"value":{"entity-type":"item","numeric-id":501846,"id":"Q501846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2876534$2C33F812-5685-4D5E-A258-98455B475476","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"106914d1bfa95e2474b643b3a7576780d3bbbab1","datavalue":{"value":{"entity-type":"item","numeric-id":2715659,"id":"Q2715659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2876534$E95DBE26-10E4-4ABD-BEF3-382192C9153F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b6360c4a63b3fdf6b8c1304b7f7a4d9f52cc124","datavalue":{"value":{"time":"+2014-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2876534$386673E5-0C65-4DF5-9E87-2EF1FC89E749","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13189a9fa1399a766f41cec5cddce26ba989ef53","datavalue":{"value":"https://arxiv.org/abs/1211.0761","type":"string"},"datatype":"url"},"type":"statement","id":"Q2876534$459A2BA3-4ED8-43AB-9810-4F1767138B40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2876534$B2BDF9DE-8F0C-4A7F-A18F-89224FF57502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2876534$92B3419B-7838-4C0B-AE88-38A1268CDB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2876534$E01D168E-007F-4EF3-8F51-0374C1E785DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2876534$184CC170-AD5C-4C33-B87E-32E65CAD59C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edd67e0e1dcb391204e769cec1a57789c3571bf9","datavalue":{"value":"6331503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2876534$8F3B3C9C-7CE3-4107-A259-B4CDCBA92296","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"610f63b7bd6968ca5a91aadf21eed85daf62b7c0","datavalue":{"value":"mouse","type":"string"},"datatype":"string"},"type":"statement","id":"Q2876534$6B97C2AF-4A62-4125-B39E-E8302791E4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6adac174a4d16076991eebfc8ca7c498dc0f74","datavalue":{"value":"inner model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2876534$5447A33E-9690-4FDC-91BA-FBA293E5A841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b12abbcb0a7b047891aaa5ec845e0574a8f7e04","datavalue":{"value":"descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2876534$27260E70-A042-4437-83F6-2AD43018DA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7f6decde16eb6e0b9316f607b90b0f62f76695b","datavalue":{"value":"hod mouse","type":"string"},"datatype":"string"},"type":"statement","id":"Q2876534$3C02FC5E-C9A6-4209-9E30-91B9EC4F860D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a344af6aef6655462635c4482d693f1ad6a4f27","datavalue":{"value":"core model induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2876534$040C3043-FF3B-40D2-B991-A8A7F1D3060E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01e39bf97b94e1a978490fc5a1bc2244ab2ad1e3","datavalue":{"value":"unique branch hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2876534$8D4D9AD6-0F1B-4A8E-A4A4-C06467BD09F3","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":"Q2876534$39A64ECF-BB27-48C5-BADA-2AC6D65E26B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b30e8451842d9cf17300a94f138dddeb1d4213f5","datavalue":{"value":"10.4153/CJM-2013-036-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2876534$74732BEA-9141-4EE3-8058-474689A139A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4dc8ccc43fee6fc8c77a02b5b28bf79f9dac55e","datavalue":{"value":{"text":"Non-tame mice from tame failures of the unique branch hypothesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2876534$1813BF57-893F-492B-9557-C1572A2D5E92","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f3cd9a0af17b29aa3ec62b5b18613356049f5f04","datavalue":{"value":"\\textit{D. A. Martin} and \\textit{J. R. Steel}, in their proof of projective determinacy from Woodin cardinals [J. Am. Math. Soc. 2, No.1, 71-125 (1989; Zbl 0668.03021)], introduced the Unique Branch Hypothesis (UBH). This hypothesis states that every iteration tree that acts on the universe of sets \\(V\\) has at most one cofinal branch. Assuming that there is a proper class of strong cardinals, the authors show that the failure of the unique branch hypothesis for tame trees implies that there is a set generic extension of \\(V\\) in which there is a transitive inner model \\(M\\), containing \\(\\mathbb{R}\\), such that \\(M\\models \\text{AD}^++\\Theta>\\theta_0\\). Here, \\(\\Theta\\) is the supremum of the ordinals that are the surjective image of \\(\\mathbb{R}\\), and \\(\\theta_0\\) is the the supremum of the ordinals that are the surjective image of \\(\\mathbb{R}\\) by an ordinal-definable function. The authors use a core model induction technique, a method discovered by W. H. Woodin that is used to construct models of determinacy.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2876534$5A06DF51-4D15-48AB-8D3F-C18887FF4CD0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"54a3b1c1318415b494c60c8e1b6f94c8b4fece92","datavalue":{"value":{"entity-type":"item","numeric-id":412054,"id":"Q412054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2876534$57A038B2-B749-4722-AAEB-850D41AE630E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec9341b1fbaafa3836a26a95774ce56ffacd8fa2","datavalue":{"value":{"entity-type":"item","numeric-id":2951898,"id":"Q2951898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220ffb240a32d4bf80cdf30c183ac1ecc52cc418","datavalue":{"value":{"amount":"+0.8497644662857056","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":"Q2876534$A5C466E6-79F5-4DDD-8D36-4359B4FD55D2","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":"5fae0e3aed60383da9ba02e9bdee708b56cd7225","datavalue":{"value":{"amount":"+0.790668785572052","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":"Q2876534$E15B172C-52D4-4945-A304-74F215D5FD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc929c83c1e0a39b817a797af81ce55be2d8ad43","datavalue":{"value":{"entity-type":"item","numeric-id":2878780,"id":"Q2878780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9696c1c3c92c60322b6e2ab4d5ec3538f3c75095","datavalue":{"value":{"amount":"+0.7903210520744324","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":"Q2876534$3FF558F2-FE39-49F5-8B82-8D8A8C606331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0066a27265764253f33f494d44de3e6379f36348","datavalue":{"value":{"entity-type":"item","numeric-id":5449698,"id":"Q5449698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e58b65ce3104e44c843c8590c1e1bb127567c5c","datavalue":{"value":{"amount":"+0.7530542016029358","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":"Q2876534$3C05B44A-FFE6-430F-925E-E86981CAB6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfbd1d65e46f55234d189cd32278e1bf2457541","datavalue":{"value":{"entity-type":"item","numeric-id":5486244,"id":"Q5486244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd88197b79c9bd06d1ad1a08ab700ea84fcf913","datavalue":{"value":{"amount":"+0.7338227033615112","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":"Q2876534$6F415ED0-404B-4B77-AF30-3D13EEAE34F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-tame mice from tame failures of the unique branch hypothesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-tame_mice_from_tame_failures_of_the_unique_branch_hypothesis"}}}}}