{"entities":{"Q5738208":{"pageid":7767761,"ns":120,"title":"Item:Q5738208","lastrevid":101690723,"modified":"2026-06-06T02:33:00Z","type":"item","id":"Q5738208","labels":{"en":{"language":"en","value":"Marginalia on a theorem of Woodin"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6725071"}},"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":"Q5738208$AA3E8948-0B2A-4812-A630-4B308CEFAB51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a8323019b2bd6f7c60b7b84fe5d46b5e617174b","datavalue":{"value":{"text":"MARGINALIA ON A THEOREM OF WOODIN","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738208$E652575B-28DD-42E9-86D7-FAEFBC1C5CC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d04d2cd568fd118a50c942a7bef7b17a36abe67","datavalue":{"value":"1419.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738208$B38A0255-1435-46F8-8DCC-72CA08FED449","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82f22e728e309022b530c6fff737202e5049d390","datavalue":{"value":{"entity-type":"item","numeric-id":5015095,"id":"Q5015095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$C03F52CF-D3A4-4B4A-BE4B-380C9651B15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d91baa7b851119daffbdb37a964d70bc49dc7e61","datavalue":{"value":{"entity-type":"item","numeric-id":204231,"id":"Q204231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$81D2FA72-B18E-45C5-ACAF-2A89BAF43FCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f05e55fe774ba785804e371d0af378710b362012","datavalue":{"value":{"time":"+2017-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738208$F191231E-2241-418A-94CE-B909B747CEF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738208$D914A507-0A50-4A80-BFD0-5723AE16163D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738208$0C06E7AF-D81D-441A-A10B-FE878A982AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738208$C7BBE0D3-B38E-486A-A352-50224499CCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738208$3E62F4C2-9C10-49FB-B8A7-9DD9444D0644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738208$00FDEC8E-AAB0-45BD-893A-E4CFF64D3936","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd7f7e606ef37f527cf7b2d55f5c9b447f0c5e4d","datavalue":{"value":"6725071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738208$7D7F328C-647A-4A21-8ACC-194A54F16673","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738208$9A27A133-9605-417D-8FD7-99CA70C48CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738208$5B89E688-8671-4F09-B571-87D16C649582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11bae5b20bd836c1cfcedbce77a2c9381030e51b","datavalue":{"value":"nonstandard models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738208$7F9123FD-0960-4BB6-9675-D374A36DE549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42eef61b484b53743946ebeae1588cfdeff1c77a","datavalue":{"value":"flexible predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738208$F3D7AEE8-8893-4C19-8DDF-5535D6E2D27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e343c0d066d632a0b869d2dadad72cc8a3999e1","datavalue":{"value":"Kolmogorov complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738208$5B63D30D-7B49-477E-96BC-7095A456F4CB","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":"Q5738208$9931E787-C191-4BA6-8764-D231C089B148","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af8168112e39f8889065480d0ab011354e0b3862","datavalue":{"value":"https://doi.org/10.1017/jsl.2016.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738208$612FE650-CC78-4A31-9378-2DF39B696D64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7227929aaf559bddfb6563dae6c5bf40880047a","datavalue":{"value":"W2599907388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738208$4D87595F-0D65-4132-A6D0-6DF483FE0CD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d06b5f4c703493afa11a35957cdaea722b1351d","datavalue":{"value":{"entity-type":"item","numeric-id":2563983,"id":"Q2563983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$7EC136AF-D8E3-4476-AFD2-26E1454A5F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd53877802138e1f68e602e783385eaa725cff0","datavalue":{"value":{"entity-type":"item","numeric-id":2566065,"id":"Q2566065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$213323EB-01A6-4308-8B7D-FA9B0754CEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$64717E5F-765A-49E4-B95E-6E772D1FD11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecb60cac2850daddabf9a20534e91961ae68e73c","datavalue":{"value":{"entity-type":"item","numeric-id":685068,"id":"Q685068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$A9612989-49FB-40D1-9D4D-0B889DBDB5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7df236be969c8350307b4f4ec3f3cf940656b33","datavalue":{"value":{"entity-type":"item","numeric-id":3753990,"id":"Q3753990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$F3EB3E1C-028C-4DF5-B439-AA49162E7C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01142ade637bad6d7eb3ed3ea1f445399979df8b","datavalue":{"value":{"entity-type":"item","numeric-id":286696,"id":"Q286696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$8CC16F85-B2EE-49CB-B21A-51D3BD9B7127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15b409b75899274128eb741092df9c3a83f6b66","datavalue":{"value":{"entity-type":"item","numeric-id":3206949,"id":"Q3206949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$372ACB54-2E54-498A-BA22-6D2BC1934B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d276bf930ce7be64a132b97986d74f6c4683019d","datavalue":{"value":{"entity-type":"item","numeric-id":3140636,"id":"Q3140636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$A94C2F49-DE9B-43C1-AD72-DD0403500F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$DA9B7B61-8793-433D-9439-3F5068278B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e75044d316131685e93b46f9e6809c0127a85f8","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$77D4F326-0DAD-4202-8EF8-F8374FB4BE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$2BDAC5E0-E5BB-4CE5-89EA-D211F7D81905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$EE818858-5B50-4A65-AC85-48FEE9C5BB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec5fb2fbfad13f9574a876d5815589ca78a8d354","datavalue":{"value":{"entity-type":"item","numeric-id":3845373,"id":"Q3845373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$E504FD55-7C12-4435-8E46-69A742C21728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939bb175e94564ce4bdc5eb26ddf0a3180c8f37d","datavalue":{"value":{"entity-type":"item","numeric-id":4354788,"id":"Q4354788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$7231E02C-B65D-42C1-80FF-5EDAFDFF8220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d443dff038da2fab7824884185234cb39c0bfe31","datavalue":{"value":{"entity-type":"item","numeric-id":3669417,"id":"Q3669417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$2E14F253-06C5-4B4D-A52A-3C2DE8F5E686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1697775dd3a0ffa029813e5b9745779fe16361a","datavalue":{"value":{"entity-type":"item","numeric-id":3792686,"id":"Q3792686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$55FEC57E-143B-4ADC-8C1A-DB4A1A8B5138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$AE2F9BFB-BC7A-43A2-81DB-DFA6B89E6338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$82510252-4A48-473C-89C6-9D251502D900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$827776E6-46C6-4BD4-9B13-57C846390BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967be0e0b49301f7ae3c8806d867a2983a3516e8","datavalue":{"value":{"entity-type":"item","numeric-id":4314671,"id":"Q4314671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$642E3FA7-1DA6-41E7-82F1-314781E95C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cffab0de679f3fff81c8b05c72cff1ea91bf26f8","datavalue":{"value":{"entity-type":"item","numeric-id":3012515,"id":"Q3012515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$8803702F-F4FC-4F4D-8597-3B5882D9D805","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b66b6a514eb028cc7480794f72ca51e4a5137196","datavalue":{"value":"10.1017/JSL.2016.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738208$243E485D-0CB4-4801-B9B3-0C136ADFF6FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738208$1322A0A1-6FA4-49F8-AB1D-21D83739E1B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d1f0602b5110332c775811cdf5b3021a54ed58","datavalue":{"value":{"entity-type":"item","numeric-id":701750,"id":"Q701750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d50d70acdd4193e4b2770fe5a017e2c1f912eaa","datavalue":{"value":{"amount":"+0.765235424041748","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":"Q5738208$F59C1B9F-70B1-441F-BEC7-7248086F8FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68012ce52c0c3efadf4ed419259613d4bca00c5","datavalue":{"value":{"entity-type":"item","numeric-id":1203781,"id":"Q1203781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31347d8aaa5a242b1b66802f75b4ebc4c503a215","datavalue":{"value":{"amount":"+0.7563062906265259","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":"Q5738208$DCE97290-642F-42F9-8CB0-76E7CAAD1E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a80d172741676065dedf65024bce02053cd787","datavalue":{"value":{"entity-type":"item","numeric-id":3971940,"id":"Q3971940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926ea09973566c3b8975c6bb5d9da5c49857fb97","datavalue":{"value":{"amount":"+0.749157726764679","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":"Q5738208$43E18A76-C78F-44BA-B944-ED5C6E88AE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4f86e2ed1f3f9812e2f6e214fc4ef1680972fcd","datavalue":{"value":{"entity-type":"item","numeric-id":403405,"id":"Q403405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f7a1f4c4546212b30006a8f55adc09ddb28dd2","datavalue":{"value":{"amount":"+0.7440866827964783","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":"Q5738208$02736C33-815D-4A79-A36F-AF6EF09A003E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca91620e8c527b025163e48b2fdffcc0e0b531a7","datavalue":{"value":{"entity-type":"item","numeric-id":3216651,"id":"Q3216651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88b7fb5c1dc00ea44f59f9afa01f74e63f60f70","datavalue":{"value":{"amount":"+0.7423028945922852","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":"Q5738208$ACB6785D-FE64-43DF-84D6-01774D06EA2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Marginalia on a theorem of Woodin","badges":[]}}}}}