{"entities":{"Q807616":{"pageid":809464,"ns":120,"title":"Item:Q807616","lastrevid":64484073,"modified":"2026-04-11T20:11:12Z","type":"item","id":"Q807616","labels":{"en":{"language":"en","value":"Provable forms of Martin's Axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4208068"}},"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":"Q807616$78C14F82-2534-4BBA-82AC-F77A9DF389B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4eef906bf14e6d6e77e2b7d307111c8bedb8b078","datavalue":{"value":{"text":"Provable forms of Martin's Axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q807616$0C752F5F-2A81-4209-869A-9EA2F72386D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af83c705ea3c180c436b7918f2dd54e74392e8cd","datavalue":{"value":"0731.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807616$52AF6AEC-B53E-407E-9FDB-68DBE96FB7EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"542544599789116f88be9d018c3ae87a65e3129f","datavalue":{"value":{"entity-type":"item","numeric-id":807615,"id":"Q807615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807616$A867B423-A8F6-435A-B9D3-45F8790E2CA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807616$D2502D07-1C80-43A2-97CC-7EC07F240FD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q807616$8B5BD968-2D9A-4EA7-8FEB-FAC173CAC0D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1699009439d66b02237a14c3c4244c09d9fd0e5c","datavalue":{"value":"Forms of Martin's Axiom are given by weakening the countable anti-chain condition to a finite anti-chain condition, and restricting to well- orderable sets. These are then shown to be equivalent over ZF to AC or to weak forms of choice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q807616$3CE4BF53-9249-43C4-B472-B26CB69CA7D8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60e1c50a12225fa0425a72d127f818b350eae229","datavalue":{"value":{"entity-type":"item","numeric-id":752714,"id":"Q752714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807616$E315AC16-7AB1-4ED9-B838-BA929CD00A7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807616$52799792-773F-4CEF-A7E1-C30BD20BF658","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcb43ddee6f54254211fc1de3ad03525bd1ebb97","datavalue":{"value":"4208068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807616$2762774F-1AB1-4352-A362-B9F858CC070B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc7b466a4d1a5964a02eb6d2cf2df29dcce62d7","datavalue":{"value":"Martin's Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q807616$A46FC69C-3273-4408-BF3F-1E854D1DE9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17816a45243be3c1ca106537d288a2d4b34f7d3b","datavalue":{"value":"finite anti-chain condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q807616$6F3028FE-02C4-426C-9598-8C4CEB738EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb77a2991ac63d054f76bdffd4b4843ef304f83f","datavalue":{"value":"well-orderable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q807616$0DEAA827-F191-455E-AC90-6867BA211EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e536c1f03b974ce149f13a630af8abada148bb99","datavalue":{"value":"AC","type":"string"},"datatype":"string"},"type":"statement","id":"Q807616$A4EED725-47CF-4387-B156-3557CB67F56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e05f32761d16c69a8cfacf36e41be32164cc5926","datavalue":{"value":"weak forms of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q807616$5CC35E68-C921-44B6-A698-EA870FD5C7C5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8e70759ca05eb9ee6f6fb99e80622bee86e06e8a","datavalue":{"value":"Q114598316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807616$8F1DDBD7-B0F8-4525-B077-035C909F367B","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":"Q807616$C40A2A78-9770-4B49-8176-9266294F1081","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b19ad676b053c7b484537b4987f5b634840291f","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635503","type":"string"},"datatype":"url"},"type":"statement","id":"Q807616$47FFC5D8-79E6-4E16-9FDC-E5409CE532C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed48d5038a2156110b0667b60df0ce56b22acd4c","datavalue":{"value":"W2048532912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807616$A5251BC2-207F-4FED-986B-409EC6BEC77B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01cfbe898ba781a4a2cfcd2ece1a34abc9f98c67","datavalue":{"value":"10.1305/NDJFL/1093635503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807616$A9DF08E6-26FE-4287-962A-044C71A9F2B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b72fb7f148458e3081815799fa7c9333c90689d","datavalue":{"value":{"entity-type":"item","numeric-id":2813673,"id":"Q2813673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09c3104419925ada45fd4eea2166133e9bb4880","datavalue":{"value":{"amount":"+0.8607392311096191","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":"Q807616$1065A9E0-635C-4D30-85DF-A6E21EA49648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d905dd399aa601f3095aabd03b1e5efd4c45d1","datavalue":{"value":{"entity-type":"item","numeric-id":2936226,"id":"Q2936226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b914dd786cce70e974618197119045483fa4fca","datavalue":{"value":{"amount":"+0.8326390981674194","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":"Q807616$3ED5E327-FF8F-4F21-807F-21AD09148B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec76e42ef0896a00bc9b4186c2625c4e348245b5","datavalue":{"value":{"entity-type":"item","numeric-id":3329454,"id":"Q3329454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9172e2f1b440bfc0a057ea2da32cf6e819ff751b","datavalue":{"value":{"amount":"+0.8015260100364685","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":"Q807616$24DEE848-67E5-4401-8937-A5D890B7571E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792cf3c7b663b2c547a2d4bf93ad7a1a49f298f8","datavalue":{"value":{"entity-type":"item","numeric-id":1115430,"id":"Q1115430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616c3adad7ec4e9d1335bbfe2ed863b377670ea3","datavalue":{"value":{"amount":"+0.8010812401771545","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":"Q807616$1670EAEB-AABF-4A1C-9617-005346AAD961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c191ff533d3f521a54c350042ee9c8b977aac7","datavalue":{"value":{"entity-type":"item","numeric-id":3027870,"id":"Q3027870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021879dd45398ce9dcc408b7e796b37ca77efde4","datavalue":{"value":{"amount":"+0.7955891489982605","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":"Q807616$BC994AC6-6988-4079-BEC0-BA0275E51E15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Provable forms of Martin's Axiom","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Provable_forms_of_Martin%27s_Axiom"}}}}}