{"entities":{"Q4814930":{"pageid":6844510,"ns":120,"title":"Item:Q4814930","lastrevid":48329743,"modified":"2026-01-04T09:28:35Z","type":"item","id":"Q4814930","labels":{"en":{"language":"en","value":"Uncountable cardinals have the same monadic \u2200<sub>1</sub><sup>1</sup>positive theory over large sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2092564"}},"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":"Q4814930$77CD9A4D-5A8B-40EC-AF27-DBCCCD8893D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81636087865bfd49d2ed6e6bf9c1fd33ce9049da","datavalue":{"value":{"text":"Uncountable cardinals have the same monadic \u2200<sub>1</sub><sup>1</sup>positive theory over large sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4814930$43387FD3-1F2B-4725-A4F8-9C0C0DDB42AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98b4c58530c409aed243b93766d237e5d13d30d0","datavalue":{"value":"1051.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814930$F553D14F-C054-4B9F-8A87-BCBE95A4BCA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f229160cda5c5550848d5e8f96f3c0c964b6e6c1","datavalue":{"value":{"entity-type":"item","numeric-id":175059,"id":"Q175059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4814930$4958BB1E-A711-4638-A77F-5AC2C2C9FFBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4814930$7F459C90-D879-4CFE-89B0-18156A22810E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dad9e6929b84d2aa86589bcc6be2d26ada8b5576","datavalue":{"value":{"time":"+2004-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4814930$335C34C4-123E-4AC4-967B-E8BE96AC3DC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2de39e16cf7dae2db72d5ff7de2911785ed8e33f","datavalue":{"value":"http://journals.impan.gov.pl/fm/Inf/181-2-3.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4814930$AF393514-2714-4450-9D04-13252DC8171F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814930$C7C45D32-D538-455C-BC67-5E231855003D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814930$2A89D98D-3F95-42E7-8756-1CD4C68D2C91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f34cd9578c2ecda30a0cbbec11d2a6dfdfc113b","datavalue":{"value":"2092564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814930$BABB3553-56EB-4AF0-9096-926C7A0BCE40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b33b65dd7ff07757d6aecd91aa053947659efcba","datavalue":{"value":"monadic second-order logic of order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4814930$61C0BF6B-C6E2-402A-B55F-1463C4ABFFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"212aedb618d44fb5e12677f69eec52959e94b735","datavalue":{"value":"formulas with first-order quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4814930$CF76B20C-C4A7-407C-A1E3-0D6FD6F61504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7924eca8ce19b5a862c8ae0063b5cfbae1bc8dad","datavalue":{"value":"positive formulas with only one set variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4814930$202AB297-07D1-4AB8-A2BA-DCE8D833B976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82d1377d546c6d7afd59b688653f3d89f15f4201","datavalue":{"value":"expressiveness over transfinite cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4814930$0B96A84A-C6BA-48B5-9996-C8219B25DC60","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":"Q4814930$E487A147-6587-4C1D-A102-8B0E64AE2D13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7701bc94e76c2c06bf594b3b0d74dd0564870c5","datavalue":{"value":"W2042528014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814930$E9E9BB95-DC9E-44EF-8A85-CFAC5AC3E945","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74d1d9d543371b052a4590db594fef2f816e0004","datavalue":{"value":"10.4064/FM181-2-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4814930$FE99881D-AB5C-4028-B36F-F312D3DBD2D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfeabf362f6ec97a746c83e413dd5dc708460092","datavalue":{"value":{"entity-type":"item","numeric-id":1190619,"id":"Q1190619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81ff963c7975ce77ffad595d8ae9e728ba06102","datavalue":{"value":{"amount":"+0.7566832900047302","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":"Q4814930$85A69AD0-E1D7-4423-A227-442A604B8DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3fa96245df3c142a61e594a29e7cbef8fd9e28","datavalue":{"value":{"entity-type":"item","numeric-id":5109228,"id":"Q5109228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f373b1b911c9501474e1e4e4092726663f4a2576","datavalue":{"value":{"amount":"+0.7518993616104126","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":"Q4814930$27EDA66D-D934-4F5E-8BF7-A7DB1E0F0F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffefcd9e95e7222a60429ec041127e676645c1aa","datavalue":{"value":{"entity-type":"item","numeric-id":1802772,"id":"Q1802772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d1cdc7b509bb8a4d50f33e73af1c2558fe6fcec","datavalue":{"value":{"amount":"+0.7516599893569946","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":"Q4814930$3D08DD99-34B1-490B-B7EC-3CD83465EA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04ba04b45eb5daa8653447a508232d291c863a6","datavalue":{"value":{"entity-type":"item","numeric-id":3342531,"id":"Q3342531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ca17e46a588f4eb779fd1157140e214f2778d1","datavalue":{"value":{"amount":"+0.7264415621757507","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":"Q4814930$919E992B-959B-47E8-9A03-0CB7689743AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4206b1fa915a0ba4ef0c08e85668951ee6d029a","datavalue":{"value":{"entity-type":"item","numeric-id":3011122,"id":"Q3011122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48c4cdb2e3f9ffc9a02ede1565d8316842e38108","datavalue":{"value":{"amount":"+0.7213951349258423","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":"Q4814930$C8E181E8-5CCC-4DB9-BB11-693EB4C37655","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4814930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4814930"}}}}}