{"entities":{"Q4638982":{"pageid":6668563,"ns":120,"title":"Item:Q4638982","lastrevid":58313496,"modified":"2026-04-04T16:37:15Z","type":"item","id":"Q4638982","labels":{"en":{"language":"en","value":"ZFC proves that the class of ordinals is not weakly compact for definable classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6865719"}},"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":"Q4638982$996A0B81-8B00-4DA8-9310-A032684B9A94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa5ad0c9ae4f8f6215533d144f479e80c42f8eee","datavalue":{"value":{"text":"ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4638982$214FEEE2-9C17-413B-B90F-9B8E043ED8FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c46c46d552b4346bb03a41d1cfdcc38e72c92862","datavalue":{"value":"1447.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638982$046DAF0C-E5D8-43BD-97BF-A2FF14021AF6","rank":"normal"}],"P16":[{"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":"Q4638982$EC2CC8C4-621B-4EEC-9077-453501FECC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c237c0edc686c7e9971d10e201d8b8137b9a6f25","datavalue":{"value":{"entity-type":"item","numeric-id":167886,"id":"Q167886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638982$E879F765-9D10-4A68-8CD5-3684DEA4514B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1679cdff871c3abffb2794c84ff8718bbd0c06a0","datavalue":{"value":{"time":"+2018-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4638982$D79D9FCC-4905-418A-AB7D-9BAB066F25A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2eb8b1ef2c55edf3ee62151d0b9f83149c4f58af","datavalue":{"value":"https://arxiv.org/abs/1610.02729","type":"string"},"datatype":"url"},"type":"statement","id":"Q4638982$D96201C6-B77C-409D-B163-10889FD4A4FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638982$0EAFAD3A-DA8F-4BEF-B26B-17ECFE410B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638982$EBB03B1F-A8A9-40EE-8068-15DE892ADBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638982$83A47EBB-E60E-44AA-ACD2-D5E779A6D966","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7441382f81953352c79f9fc7b563c005f4c1137f","datavalue":{"value":"6865719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638982$6337D431-63FE-4495-A980-C5A5B72E301A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f83b9a23f9d3a7b28b00abcc573d8cf2f8182af","datavalue":{"value":"weakly compact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4638982$050DD627-3302-4BB4-A84E-93DC4051DF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c222d2154c724462abd633657d9386ca4ec975ff","datavalue":{"value":"Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4638982$5ACD7FC4-7E57-4E32-BB76-0037A13B1895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f0c636b140380c5c995cb47c9fe1e7e3b60c0f","datavalue":{"value":"G\u00f6del-Bernays class theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4638982$5D8E2A4F-C42F-4D56-BCF4-A5CA234407D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eecff7672d98ddd92e9f59bf72dece031571efe6","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638982$8D77D0A7-351D-416E-B9FF-61327919DD28","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":"Q4638982$5F319281-ACB8-4B85-9A5B-04194401D385","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bad73052a0c3874e138654cb2806df5bb2b49de","datavalue":{"value":"W2963610041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638982$947A2B3C-6818-4C68-8F32-055B57B7AC7A","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":"Q4638982$AB54722A-8B42-4972-B500-3A42248A44C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638982$4FC0D126-F5AD-4655-BE9E-DA9F7F718598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17bdc056bb3e02e3a14e1c8a5e86c31e8f88f03b","datavalue":{"value":{"entity-type":"item","numeric-id":5611002,"id":"Q5611002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638982$ECCEB981-4761-4010-A871-A923FDB6BC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a8c1fae9e213061e6b712eac5b12967603e4484","datavalue":{"value":{"entity-type":"item","numeric-id":3676140,"id":"Q3676140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638982$66BC3CEB-46AB-4304-8836-ED9F383A984F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c687f12d5a9a8d66013562fee23226c291ad4add","datavalue":{"value":{"entity-type":"item","numeric-id":4328832,"id":"Q4328832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638982$705965E4-A8AD-4A92-BFC3-12A9F2935017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58073a9c8bb931b04969a18e160b992f7714097e","datavalue":{"value":{"entity-type":"item","numeric-id":4656800,"id":"Q4656800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638982$83B13BCD-AC01-40D2-8C2A-E9B80CD92897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972e7530e39d8fc945a4cf299602f0ae6ce6436f","datavalue":{"value":{"entity-type":"item","numeric-id":4108328,"id":"Q4108328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638982$9BF32DEF-0B74-48B9-BA56-EF9ED7EC0DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc68fbc256a340ad9770614b514ab49182f4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5677475,"id":"Q5677475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638982$2C1504D7-E739-455C-89AF-F4FDBC397F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614d2f128abc4b7e8d6c94efa4489a0ef1abf4ee","datavalue":{"value":{"entity-type":"item","numeric-id":3322082,"id":"Q3322082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638982$990440D3-CED3-42C1-9C36-8E22639DFB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89220ab8d602c71315d6ba104b33f57b84a863d5","datavalue":{"value":{"entity-type":"item","numeric-id":790108,"id":"Q790108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638982$BD17AC3C-CD19-4ABE-B018-BADF59429DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4591edefe81244ccf1a6bfdcae56d2ae404e16","datavalue":{"value":{"entity-type":"item","numeric-id":4527920,"id":"Q4527920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638982$BC40640B-245C-4776-9C63-DC794AB2152A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1b7be1aae5ad3da3c7db9ff6561ff70ae344f7","datavalue":{"value":{"entity-type":"item","numeric-id":5798871,"id":"Q5798871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638982$E59D6B20-3DC3-4ADE-B145-BA3E1ABF94F2","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":"Q4638982$79DC5C6F-0932-4D80-9FC4-5FDC564EC93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7ceb5698ee0d4d27e8d083746cab0f1780e9fb","datavalue":{"value":{"entity-type":"item","numeric-id":4876410,"id":"Q4876410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638982$B676D6AA-A1F2-4056-92D9-7550E3B1D1C1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3f99160825d30d9bf70bbc061885defc547ebad5","datavalue":{"value":"Q129898451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638982$E480E20E-F9A5-4A5E-98D5-D56B5E1B6736","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"616cbeda5591c05f8c605d473909bb1c17a7bfe3","datavalue":{"value":"10.1017/JSL.2017.75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638982$4A1F1F55-64B3-4912-8FB4-081FE4BA143C","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":"Q4638982$A7DD8786-0330-44D6-BB54-C28F9A896B1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d6aa42ecffded970c1c95a337a2ae6b9d4a155f","datavalue":{"value":{"entity-type":"item","numeric-id":5101293,"id":"Q5101293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee0d901bfbc7030decb5a9c768818e04a414e08","datavalue":{"value":{"amount":"+0.7412289977073669","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":"Q4638982$C7FC16D5-F223-4F06-8639-623459FD5F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a12e2098c60582d29b852b5296948858eb9ed0a","datavalue":{"value":{"entity-type":"item","numeric-id":3807185,"id":"Q3807185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e846b6ab123e29128975943365f279051b9c96d","datavalue":{"value":{"amount":"+0.7385573387145996","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":"Q4638982$94ED825C-B07B-48BA-BDB9-921F392972BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73ce54e5a16c9de2ca4d72ab1c986a0fa7b52e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4527920,"id":"Q4527920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc89a24b5ac129c5a8e655380d0a1518e4e1dd99","datavalue":{"value":{"amount":"+0.7185564637184143","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":"Q4638982$DF9B2B23-D28C-4812-B136-EF8A4AFDADD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d63cef3648c3bfcb4031efdbbb92cd794ceb1b","datavalue":{"value":{"entity-type":"item","numeric-id":506976,"id":"Q506976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89925a08c8a6b1f4129aa2ff1fcaf5c3045f4c00","datavalue":{"value":{"amount":"+0.7153797745704651","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":"Q4638982$28AB5331-89A3-4EFC-BE08-14EB4800FA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b44812adf2555804cc4ff7b5cef4d3e4e4ed6cef","datavalue":{"value":{"entity-type":"item","numeric-id":4323035,"id":"Q4323035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca78e663a8dad926befc47acffd3617c0cd16a0f","datavalue":{"value":{"amount":"+0.7027392983436584","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":"Q4638982$B09096EB-D1D5-4DE5-B31D-DC7447A884F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4638982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4638982"}}}}}