{"entities":{"Q914667":{"pageid":916515,"ns":120,"title":"Item:Q914667","lastrevid":65379135,"modified":"2026-04-12T02:11:24Z","type":"item","id":"Q914667","labels":{"en":{"language":"en","value":"Definable forcing axiom: An alternative to Martin's axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150144"}},"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":"Q914667$97DA27B9-59E1-4604-B212-DC4EA5D0C637","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3de4f4fbe1b683aba97fad0f0e3a7b29dff68f4","datavalue":{"value":{"text":"Definable forcing axiom: An alternative to Martin's axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914667$6AED9BE6-7B8D-4BD8-B5F2-6D7C427DB7CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c641a9ec066373fd2f51fd1050e7158260ee697","datavalue":{"value":"0702.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914667$3C6060F9-A11F-4E0A-9C45-67D994DAD1CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a60f08618355780b1b1233441e1f3e6191afaa61","datavalue":{"value":"10.1016/0166-8641(90)90112-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914667$5E3A601B-AAFF-42A1-A2D1-F910CFE5AD41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21b301c82d2cf88ed640c035afe675769b653ba4","datavalue":{"value":{"entity-type":"item","numeric-id":600129,"id":"Q600129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$C07B47A6-A9BB-448F-8F77-E8734B54A6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a37784067e263413610393e6ba0fce1bf5980b","datavalue":{"value":{"entity-type":"item","numeric-id":193633,"id":"Q193633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$403BC56F-E5A8-41AE-9410-95FB8567DCBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$6A5A1131-4F9B-4496-A79C-C772D93E463E","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":"Q914667$3FF48090-E229-4BE0-9D95-C9F898CA8F20","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"caf3db8cd30793faa99f2c296c7dfde0dcd769cd","datavalue":{"value":"In this interesting paper the second-named author describes the ideas that van Douwen and he had about possible alternatives, in the absence of the Continuum Hypothesis, to Martin's Axiom. One such alternative is their Definable Forcing Axiom (DFA), which states that if \\({\\mathbb{P}}\\) is a `definable' ccc poset then there is a family \\(\\{G_{\\alpha}:\\alpha <\\omega_ 1\\}\\) of filters on \\({\\mathbb{P}}\\) such that every dense set D in \\({\\mathbb{P}}\\) meets all but countable many \\(G_{\\alpha}'s.\\)    The conjunction \\(DFA+\\neg CH\\), which is consistent with ZFC, works quite different from \\(MA+\\neg CH\\). Some of its consequences are: the existence of an \\(\\omega_ 1\\)-scale in \\(^{\\omega}\\omega\\), the existence of Luzin and Sierpi\u0144ski sets in \\({\\mathbb{R}}\\) and the existence of an \\(\\omega_ 1\\)- sequence of null sets whose union is \\({\\mathbb{R}}.\\)    There is no consistency proof for DFA in this paper, because, as Fleissner puts it: ``Defining `definable' is messy. Dissatisfaction with this mess is the main reason Eric and I repeatedly postponed revising the preprint of this paper.''    Instead the paper closes with some remarks about more recent developments around Martin's Axiom, and some interesting quotes from the referee's report. Well worth reading.","type":"string"},"datatype":"string"},"type":"statement","id":"Q914667$D74EE80B-4282-4F94-B2E1-93C7BFE76F82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914667$61676BAE-5585-44CC-A278-B03D13E4DEFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0235d7f1630dc337bd77e1615f8250dc9e8add9","datavalue":{"value":"4150144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914667$775350CA-A379-4306-AB10-73EFE1C93F9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q914667$595E36D6-2C3D-4C95-B978-A3FD5C503D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9882af87f5a59a54bb06d437e61b6319b63679a","datavalue":{"value":"Luzin set","type":"string"},"datatype":"string"},"type":"statement","id":"Q914667$689986CE-A82B-46FC-8CFB-57599F6BCFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28ead5c868165ddeece5c009fa7c36cacee754ab","datavalue":{"value":"Continuum Hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q914667$F24A58A8-3D01-4238-9684-BC94FFD1362B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc7b466a4d1a5964a02eb6d2cf2df29dcce62d7","datavalue":{"value":"Martin's Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q914667$7A2F62A2-3A2C-431A-A345-70D2EDC176A6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d28eb8ecdccd9548478567eed94f79da37b8b3ff","datavalue":{"value":"Q114684102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914667$025D0F63-163D-4E1A-BFF0-B48C64E53851","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf76eb1ad6b6800930767644a3f137783ccd42eb","datavalue":{"value":{"entity-type":"item","numeric-id":330038,"id":"Q330038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$99E656A1-A91D-4AF8-BA5D-56A7FE40699A","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":"Q914667$B976F044-C06F-4F2D-AE84-00B9F76DEAE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"810d80698e66a5db102507b3f47c7dc31bd09ecf","datavalue":{"value":{"entity-type":"item","numeric-id":1066892,"id":"Q1066892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$8B0C7BF4-78A4-408A-869F-FEB243AEEDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e3c90ec5a52cd8f2e00abf0d681387141ebe9b","datavalue":{"value":{"entity-type":"item","numeric-id":3932043,"id":"Q3932043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$B72ABBFB-5687-4D8A-85D1-04B81DF2D43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f963758fd12f2cebdaee0735b6c78c4719383e","datavalue":{"value":{"entity-type":"item","numeric-id":4118491,"id":"Q4118491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$3385BF3B-A92B-4951-A2CD-1230FECB5BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e09131a79198353a9e1142e036a0c46b819c092","datavalue":{"value":{"entity-type":"item","numeric-id":3347869,"id":"Q3347869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$2BA4055D-6D7B-4B26-B33D-3E4CD80E4046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf2b852cb33f86ca571b1f718a86f6fe483f27a","datavalue":{"value":{"entity-type":"item","numeric-id":3344197,"id":"Q3344197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$1CEC44FA-8122-4266-8AC0-4F37458412B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49b49ed771b4ebdca70ea9808244362678d34cba","datavalue":{"value":{"entity-type":"item","numeric-id":1258066,"id":"Q1258066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$48AE0CD6-C547-4584-A189-3D8633E1F14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$7F6A7720-B6EA-4F94-980B-6ED30044F547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$D69ACAEC-725A-45BE-8116-69BE6F8DE8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310a1844f8ba61b969327a55f4bec8641d741d25","datavalue":{"value":{"entity-type":"item","numeric-id":5626662,"id":"Q5626662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$71048A5B-E876-4328-BDAD-A0BD5FC3436A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84bf9400d42e94a0309d859b77c31462837dd7f5","datavalue":{"value":{"entity-type":"item","numeric-id":3201042,"id":"Q3201042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$C05C9B23-390D-4D5B-8D7C-DA9A72E263E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009215b7650c74c20c29a99d061f66cdde73f43c","datavalue":{"value":{"entity-type":"item","numeric-id":803123,"id":"Q803123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$8FCAE213-9DFF-4645-BD89-95B8E59C37D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1699e185027d0280159349b2dcec1db607b51484","datavalue":{"value":{"entity-type":"item","numeric-id":3218775,"id":"Q3218775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$1B3262A0-D861-4A29-BDA7-B2073DC930A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb9b90b303e405ff71d0d4a4a14ddc34547aaf6a","datavalue":{"value":{"entity-type":"item","numeric-id":1071015,"id":"Q1071015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$59FC4456-BF5C-40D0-9442-483C308E62CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126eca114faf08e72b7c3dcab5b90cd007f144e7","datavalue":{"value":{"entity-type":"item","numeric-id":3709279,"id":"Q3709279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$5E2A9FAA-9875-4317-A795-04FEAAF40AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"964d0745272d6ef5c5e7166192ddf49242ef3dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1147730,"id":"Q1147730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$C056A98E-8A70-4BBE-99C0-4C8CFB23A6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$0DABD81C-947E-49DB-B497-A6628ED70D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5520df82149b877fa6f48331d45b5c06f827ec3b","datavalue":{"value":{"entity-type":"item","numeric-id":2554696,"id":"Q2554696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$823213A0-1209-4AAD-BF85-8DAB0CBDB678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bd1786bc8aa7a6708416891285a0b42016cf84","datavalue":{"value":{"entity-type":"item","numeric-id":3318767,"id":"Q3318767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$A6BA8737-3AF2-4518-B02C-7D8D675977CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baec4f7c531e17c8d57d214a08df767e44014d3b","datavalue":{"value":{"entity-type":"item","numeric-id":4725304,"id":"Q4725304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$8900BFF5-F5AC-42E0-8790-DC140747A071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e1576aa96c70353d5327023befdd9ad0ced5b6","datavalue":{"value":{"entity-type":"item","numeric-id":3778759,"id":"Q3778759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914667$9B2E8B3F-4B47-40D4-BAE3-2F165B14F460","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50a81b34adf538ed0ba75484bd5860ae571b5c28","datavalue":{"value":"https://doi.org/10.1016/0166-8641(90)90112-f","type":"string"},"datatype":"url"},"type":"statement","id":"Q914667$BAAEC06B-FE46-4418-8982-39A4AEC65114","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b0cf61bd29e1f9fc103d42cbcffa12a89819f68","datavalue":{"value":"W1981512337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914667$6EC28A49-D98E-4E4D-BB55-BA38301428A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6559fddd46653164bcf2b17c960becaa006e34bb","datavalue":{"value":{"entity-type":"item","numeric-id":4039111,"id":"Q4039111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e92efe2d83a35b15d8e321910ea610faed22cd41","datavalue":{"value":{"amount":"+0.8866121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914667$26F80E5D-067F-496E-AAB1-9D7C180B18CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30290b3cd6a687537c6d992c0cf1fc44ea86e28e","datavalue":{"value":{"entity-type":"item","numeric-id":1190614,"id":"Q1190614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb691ff798cb32043d65da1fce50a54615ea808b","datavalue":{"value":{"amount":"+0.8711827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914667$28837170-E27E-47A7-B2BB-CA055F809B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39095959e1b255f38887c31a9aca4e47b49944dc","datavalue":{"value":{"entity-type":"item","numeric-id":1066892,"id":"Q1066892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f34dde9ed18694d65c4fc576a37625f6acc2076","datavalue":{"value":{"amount":"+0.86660105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914667$2F642306-D265-46DE-B9CC-3BAA7A4DAA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eee7caf9b37fe328e14cc646ca25deb7ccf0a31","datavalue":{"value":{"entity-type":"item","numeric-id":5044313,"id":"Q5044313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079aa894b613ca006db1eef0560b0beda3da9a65","datavalue":{"value":{"amount":"+0.8619306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914667$3A11F1F9-826B-44A1-945F-3E77AE93174F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"851f1a0fda0c1d90dba8563a1dd061a5bed55ae7","datavalue":{"value":{"entity-type":"item","numeric-id":2660156,"id":"Q2660156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb894b50e65e590a014a5bf9d262536a12ce71b","datavalue":{"value":{"amount":"+0.86175185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914667$B5298F2C-DC8C-4917-A73E-168E0B706D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acfb9ab1655a05a82cb781bddca9a5ed085b6886","datavalue":{"value":{"entity-type":"item","numeric-id":807616,"id":"Q807616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4395b24dfc582243a669cda3f7a7fe11ecea70c","datavalue":{"value":{"amount":"+0.8573977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914667$66C6F535-4825-407B-A869-2CB544AD8C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6757c3c891f704f4099f1275e5410ab374b4c50b","datavalue":{"value":{"entity-type":"item","numeric-id":3426578,"id":"Q3426578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"770e3ce358970d8f3e959c00f92fbd274af5d4a4","datavalue":{"value":{"amount":"+0.8546319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914667$F351AD54-2140-4B43-A6DE-6C7EFA8EE60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ad12da331ad20dccfc0b8ff2a8ee31fea01463","datavalue":{"value":{"entity-type":"item","numeric-id":2866031,"id":"Q2866031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68bb039f7fdf49b3af5190ba06d06a9b07212a94","datavalue":{"value":{"amount":"+0.85379744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914667$31A7237A-7CF8-4EE7-BB2B-BA795E657FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e1e21f2446f97ff9bb0023cc7abe1f7a49b10c","datavalue":{"value":{"entity-type":"item","numeric-id":3117780,"id":"Q3117780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18a53807366157d5f4e3c95717ab5453190cc3b","datavalue":{"value":{"amount":"+0.8536794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914667$003F189A-86CC-4BC6-A5CD-867E79B5E8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f448d59d253fd5b2b854d27111dc11802eb56298","datavalue":{"value":{"entity-type":"item","numeric-id":5316896,"id":"Q5316896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af33fa55a6be802a09a4a5ab1ea82c8be4afeae","datavalue":{"value":{"amount":"+0.8534398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914667$E6F8C752-A38A-43A5-A1FD-85917733FFE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definable forcing axiom: An alternative to Martin's axiom","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definable_forcing_axiom:_An_alternative_to_Martin%27s_axiom"}}}}}