{"entities":{"Q1818592":{"pageid":1829334,"ns":120,"title":"Item:Q1818592","lastrevid":71357325,"modified":"2026-04-13T21:42:20Z","type":"item","id":"Q1818592","labels":{"en":{"language":"en","value":"Ordinal arithmetic and \\(\\Sigma_1\\)-elementarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1384078"}},"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":"Q1818592$4CA794B0-6CAC-4253-A97E-D88E41D77779","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf4889f4ac3edb98fb33e24e18618fa562f62c65","datavalue":{"value":{"text":"Ordinal arithmetic and \\(\\Sigma_1\\)-elementarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818592$F02C0D7C-321E-4796-93A6-744C01AF0D3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80568d3f02f3d9771df3f5095b6d8be57c9ebded","datavalue":{"value":"0936.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818592$F427D5A0-62D2-46A0-8F6F-93A15951776A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"821bc81eba82135fa316d0ab20f6acb853e34e11","datavalue":{"value":{"entity-type":"item","numeric-id":186022,"id":"Q186022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818592$AD445D70-DCCD-4961-9BD8-3AB41B3474AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818592$2CA1068C-1311-4BC6-9B54-09FD26591647","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab51f0da63d563b6d8e1e1f2adfc1cb2e4c22ff6","datavalue":{"value":{"time":"+2000-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818592$03EF8F3C-0DE9-4262-9A1A-AB3B982A6930","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818592$D283B7D3-ADB8-48F8-93D3-2E880C2C1896","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efda8eb4b7aa0826dd9418ad43623424668521b1","datavalue":{"value":"1384078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818592$C6C9F6CA-45A6-4260-96B7-99AB1E2C1427","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5ec4d598d2a505f6eb6b0f89c2e5fc9601ea770","datavalue":{"value":"partial ordering on the class of ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818592$7593F6AB-BB5F-4B72-A336-5FCFFE41319D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323cbba876bd9daa12d41e37cee779083e3a88dd","datavalue":{"value":"ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818592$10F76131-7141-47FE-8B43-B5F4E7F6FF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79357909a78baf44e3cff111a72e55c144928c06","datavalue":{"value":"formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818592$E4F316BB-66BF-47D3-88FC-C02494BF18BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818592$76E2F168-92DE-4DE6-8FA2-E8566A093C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818592$3680E5CE-3480-406C-9B75-98067B31BB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0de135834904c94f8875f9325086ea7dc21b97a6","datavalue":{"value":"ordinal \\(\\varepsilon_0\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818592$A208DEA1-6F33-47EC-A027-C6410DCBAFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b145e4a5289301cf65d658fc42bf17b1bff0230","datavalue":{"value":"ordinal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818592$D9AAD904-C8BA-4CE2-B1D6-86C697635CBC","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":"Q1818592$2F4A96F6-A8E5-42D4-9486-2A4A8FF9F710","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc6a447a2934a74b3fe4963294dc30cb7dc2fcd3","datavalue":{"value":"https://doi.org/10.1007/s001530050150","type":"string"},"datatype":"url"},"type":"statement","id":"Q1818592$4C1760BC-56EA-43C1-BC0A-CB05C420CDDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75d78b35e8d8941c0e7070cfa25124bccb65c002","datavalue":{"value":"W2031449549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818592$2D7E3F84-DE85-4E60-8175-3DF3F54373DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bfba5341d1cbaacd52402cc34b6a9dadcb62ade","datavalue":{"value":"10.1007/S001530050150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818592$F9B7A499-D376-4A2F-B7E7-4F0D88D3D515","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec9f3dc7d2b30a9362b41d969799ce7365069acb","datavalue":{"value":{"entity-type":"item","numeric-id":866561,"id":"Q866561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b045ca33b7497a13ed0086cf15353e4882a2608","datavalue":{"value":{"amount":"+0.7966792583465576","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":"Q1818592$6958B340-379A-446F-B232-4818D3C73947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb16923af9347154e61a9ef272ad0ed5ce3fab64","datavalue":{"value":{"entity-type":"item","numeric-id":850804,"id":"Q850804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58dadf5715044f550e37a179b94ac6404c491763","datavalue":{"value":{"amount":"+0.7796846628189087","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":"Q1818592$BB8D8EC2-3D1C-4D8D-813D-D7D5BBDC6252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b893d0fe6537bdf6de922ff97b37331fdb5c75b2","datavalue":{"value":{"entity-type":"item","numeric-id":4934566,"id":"Q4934566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ff0f88e1855fe412b29497000cd20e3b2c48fc","datavalue":{"value":{"amount":"+0.7790351510047913","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":"Q1818592$975836B1-3F42-449D-829A-AB7F41BB2CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5162e7b9c961ce820270ebf5ebbd850250b2f360","datavalue":{"value":{"entity-type":"item","numeric-id":5388725,"id":"Q5388725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e574dbafb3658d87a0d0711656e323c1552039","datavalue":{"value":{"amount":"+0.7785470485687256","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":"Q1818592$9A7BD98F-6DE5-4725-ABB8-039026454FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a8b1eee1e64255224e491eec17365165890dba7","datavalue":{"value":{"entity-type":"item","numeric-id":3024338,"id":"Q3024338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21356d6ecb4d00010020c9dff05d32a6e99dc692","datavalue":{"value":{"amount":"+0.7766677141189575","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":"Q1818592$221C3EA7-EC42-481F-8A3D-E977EE92F6D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordinal arithmetic and \\(\\Sigma 1\\)-elementarity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ordinal_arithmetic_and_%5C(%5CSigma_1%5C)-elementarity"}}}}}