{"entities":{"Q5233980":{"pageid":7263548,"ns":120,"title":"Item:Q5233980","lastrevid":53523683,"modified":"2026-01-25T03:58:12Z","type":"item","id":"Q5233980","labels":{"en":{"language":"en","value":"The Urysohn lemma is independent of ZF + countable choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7102564"}},"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":"Q5233980$126CCDAA-49E9-49C9-AEE3-63CE4293CD47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f530234fa1cd09709c40e869741c837794fe26f4","datavalue":{"value":{"text":"The Urysohn Lemma is independent of ZF + Countable Choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5233980$F5AC7A12-3FFB-44FC-A0C7-8A161E4A33B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd7f4d8b466c4a952631d8695a99e0d5f497fb75","datavalue":{"value":"1484.03104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233980$B49F276F-ACE9-4095-864F-EF10B19FE93C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50f303799cab122deffb07d136620bb6246c179e","datavalue":{"value":{"entity-type":"item","numeric-id":283107,"id":"Q283107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233980$7CA6CDB6-4105-4326-8F94-95E6D2C7A37F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233980$810409B5-A016-4D3D-BDBC-7343BB907307","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eee588dd98fe3d439eeb0f9a9b009c3cd6a554c1","datavalue":{"value":{"time":"+2019-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5233980$0769125C-1444-4A5B-9F0C-975244B52DA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233980$858E00A1-24C0-42B9-A58B-A5DDFA7A4B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233980$7DC5354E-F37D-4FEF-AB69-1C721A869489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2193e4c351a5ae8a19e08e563c2540f53af0e96","datavalue":{"value":"54D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233980$29F4D5F6-C94D-4337-8D05-736A98937540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f0d5addb2d30fca390d5d0949dbf8c7e9c67e06","datavalue":{"value":"54D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233980$9CA1C49D-B419-4032-B086-9E3ED239D597","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebab142bdb1b71c7a88075f23938ddbd89c5839e","datavalue":{"value":"7102564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233980$D451BBF4-24B3-49D5-A0F6-286B48DFC857","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5233980$1E91A101-57A9-4DF8-AAA0-47BCF1723D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6f748e78029eacf7b7d6a8597b93806218d72b","datavalue":{"value":"axiom of countable choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5233980$229C94E2-A8C4-4E9F-BCB0-D1F3FAD6EA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636a6232cda4121c7317585691b64acd702e9ad0","datavalue":{"value":"Urysohn lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5233980$20D1F250-015F-44BD-9B0E-B9A542E9113B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c6eead3d65be611992f5c0c9cf4bbd70357765c","datavalue":{"value":"Tietze extension theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5233980$7188BCAC-3DF3-478A-B479-82F2A446E4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6597cacd2753d5a0859e5611d325f18a30e50aa5","datavalue":{"value":"Dedekind-finite set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5233980$50B8E125-815F-4EA6-99D1-A9BEC219A0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75dd63bb944e7b9e662ec3c36a9e50c2a689306f","datavalue":{"value":"Fraenkel-Mostowski permutation model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5233980$4AD129C9-F133-4DC0-87CF-3859D2952A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17129d81b6e4633b4c4a75def33af1b4956b2b5a","datavalue":{"value":"L\u00e4uchli's model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5233980$2C2C83D9-CA17-4B92-B114-1F580D586960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd30b7f8c6d2a986b2c47e1cd3bcfbdfdd87533a","datavalue":{"value":"Pincus' transfer theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5233980$7C59CA61-D371-42A3-8DDF-F4D2ABFD39E8","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":"Q5233980$31031C1F-5AA0-42BC-9341-5EEB17795CCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a83ea74b770e6965d7af9b84a5f6e84645614c5","datavalue":{"value":"https://doi.org/10.1090/proc/14590","type":"string"},"datatype":"url"},"type":"statement","id":"Q5233980$FF029BBB-AF04-4C67-8794-88FD55853E72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1445f27afdd0d2c619a894a7daf900d66d7f5b9","datavalue":{"value":"W2915932454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233980$C89B2F4C-1ACB-4C3F-A0BC-58070C6E8FE6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0b1bedf2379ee91a842ef519481ffecc2b81594e","datavalue":{"value":"Q124988827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233980$7B9934C8-33D5-4113-921B-0FB7566A21C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb7d51ea028911877d256ae60269f520e76abec","datavalue":{"value":{"entity-type":"item","numeric-id":3861380,"id":"Q3861380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233980$CAE0F371-C0E0-48BB-91CF-086415A87C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b0e01b36c56fe63df03a5f9614f2fe753a72e34","datavalue":{"value":{"entity-type":"item","numeric-id":3685641,"id":"Q3685641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233980$035FEA2F-1F25-4710-AF69-BE612E5E853C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2de44d14a4938ea6d6186cc4cf18e94015dd2b","datavalue":{"value":{"entity-type":"item","numeric-id":1892171,"id":"Q1892171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233980$40EA17F6-2B2B-41AA-A026-A63FCAFF01EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf0efc982a1be76190a3889763ade27582596d3","datavalue":{"value":{"entity-type":"item","numeric-id":4210840,"id":"Q4210840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233980$CE7E2424-14AE-4568-85A2-9FCBC7E5BFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6084574919df1fabb6811a7478d7ce895596b0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4210469,"id":"Q4210469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233980$E9CE66E1-2081-4E89-9F88-ED9BB099C914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233980$3559C100-9ACE-4CCA-9A7F-44678F6DE392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8758d3acb4432d108e056667f7f4f653622fb086","datavalue":{"value":{"entity-type":"item","numeric-id":1738929,"id":"Q1738929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233980$7F9F9DE5-168A-4C07-8C94-B73A07AE1CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff60177dc64163099c4d2c820c0f9788431a2836","datavalue":{"value":{"entity-type":"item","numeric-id":1130511,"id":"Q1130511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233980$1FB8A026-A079-40E2-B8D7-82B447D9D729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320be0100130068b2dc0b1290f4357d23b143166","datavalue":{"value":{"entity-type":"item","numeric-id":4064159,"id":"Q4064159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233980$0E7FBC7D-87CC-4418-BC7B-89D480FDC0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c083cd2ec081a5b4d238527538b4190de97732","datavalue":{"value":{"entity-type":"item","numeric-id":5684668,"id":"Q5684668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233980$DA25108A-0F0C-499B-9432-C31A551296D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b6edefd2573c72f35b5a551d230f48e1db6b4b","datavalue":{"value":{"entity-type":"item","numeric-id":4141247,"id":"Q4141247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233980$B899342C-1992-4E73-928A-70FC1A7FC2D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88e14e819858953395b10b924bf051317eaac11b","datavalue":{"value":"10.1090/PROC/14590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233980$4F14ED48-67BB-42B6-AEF7-388F5A897973","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03be6d12a5344511ea9188b58ff1ff10ca526d1","datavalue":{"value":{"entity-type":"item","numeric-id":4376666,"id":"Q4376666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86f83773fb9ca6bd7ff5b4ed30a37acb5b0cb5b","datavalue":{"value":{"amount":"+0.8230944275856018","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":"Q5233980$8F5375B8-4740-4D40-ADDC-4BE49395B374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e158e9fb09428410319eef432084bd79f3772ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3066670,"id":"Q3066670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316059a616d4737f615793bcbc719e78f0ecb50d","datavalue":{"value":{"amount":"+0.8230940699577332","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":"Q5233980$D7534E57-1082-4940-8F7B-9C4F9FD60873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24c8d233ba45001fdeee73080b26b16d4e63aa45","datavalue":{"value":{"entity-type":"item","numeric-id":2120286,"id":"Q2120286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd181b97f309da91ba2d7327a95d293071799709","datavalue":{"value":{"amount":"+0.8222039937973022","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":"Q5233980$23C3952E-CFD2-4F9E-8235-04FFC17BE69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a62b109fcb6ad8d2c4ce63c7a811b6f481b3441","datavalue":{"value":{"entity-type":"item","numeric-id":2049538,"id":"Q2049538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51582e4d23b88f763aad6cae5e7c748cbbc66b24","datavalue":{"value":{"amount":"+0.8116326332092285","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":"Q5233980$2BD1D434-5964-4E12-9D2A-C48F5081E734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3644def9de997daaba21659297941238ae26d4e2","datavalue":{"value":{"entity-type":"item","numeric-id":3420105,"id":"Q3420105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5e73bee3a1390cff0cbc0d429870bee70aa93d","datavalue":{"value":{"amount":"+0.7684769034385681","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":"Q5233980$65B0DB1A-DB19-4B3D-A0C2-F44F4A0EDE36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5233980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5233980"}}}}}