{"entities":{"Q2933679":{"pageid":2944399,"ns":120,"title":"Item:Q2933679","lastrevid":85354826,"modified":"2026-06-03T07:19:06Z","type":"item","id":"Q2933679","labels":{"en":{"language":"en","value":"Interpretations between \\(\\omega\\)-logic and second-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377235"}},"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":"Q2933679$7667998B-ABF9-4304-BF5C-A31EADCE3BC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e86f6cf813a2e2abceee86e5b3602d8a9cc2dd25","datavalue":{"value":{"text":"INTERPRETATIONS BETWEEN<i>\u03c9</i>-LOGIC AND SECOND-ORDER ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2933679$E6426089-A5BA-44BF-BDD6-F861189B9C6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dde4e9a31c45eaa23e2f47cff0f9e201a23a35d","datavalue":{"value":"1353.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933679$61A539F7-1EC4-4991-A763-8352DD626340","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2933679$6A848C8D-AB1A-44FE-AD36-1C9CB980C60E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e356ae8098d8f98b6871525a9837c6a9cfb5ab9a","datavalue":{"value":"http://pure-oai.bham.ac.uk/ws/files/17786900/download.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2933679$7DAF4EF5-0372-42AE-A745-B0249957C8A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933679$C3209041-12D9-4C95-95D3-A2458BA25C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933679$D554B5F2-B2EE-4537-A87F-2F2DA2C37CE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e81fc3c628b703ec8ee21952a3882bfb76d5915c","datavalue":{"value":"6377235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933679$1FDCBC6B-3F1D-48E4-8C77-834567DB5BB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67eac4c0c5665b5d77b9258f647de4b9bf08cca7","datavalue":{"value":"standard cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933679$1E23B12A-E27B-44AD-A5B7-DFE26F60E0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933679$3B713385-36F1-4330-B88E-16C0F94AE288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11bae5b20bd836c1cfcedbce77a2c9381030e51b","datavalue":{"value":"nonstandard models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933679$E06B7F95-6B77-467B-B43D-943383D15F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44624ed27d93594c9d7e63e70f05fe788d938f52","datavalue":{"value":"\\(\\omega\\)-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933679$8ABD040C-F561-40A8-A65F-6CE5A9B0E37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fba6d084f82fc17e5d72303a3f5c34df5f55d1b4","datavalue":{"value":"standard systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933679$632DB425-144F-453D-8EC8-DB9ECEA6D273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e251d40d4a9ee7968f545453b91892d3bbd1cf1e","datavalue":{"value":"transplendent models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933679$DA1D0D59-B955-4F45-9015-50CD4711276D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933679$55CC5DB7-98AB-4C98-8F2C-169CF2BA7E37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e8d3a3341051dfd24b707ce385e6152c2c9cbd","datavalue":{"value":{"entity-type":"item","numeric-id":1762363,"id":"Q1762363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933679$6ABDD360-E0C2-4858-8EFE-97EDA7E4E2E5","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":"Q2933679$9E7E9E88-FC8B-42AC-B1E4-9E4EDF613A16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f1c01ae766ec851dc5b253e2325e15edcc57437","datavalue":{"value":"W2136192803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933679$B9A0A92D-DDDC-4068-9202-77C894A91C0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a03994610330f5467601ffe6f38c3c7516eeda","datavalue":{"value":{"entity-type":"item","numeric-id":4876315,"id":"Q4876315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933679$B7802395-0F21-41B9-A037-A1CC4298D91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933679$8BB74E37-8178-4FE7-8AA4-91410A909EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4edb6168b72a0f919b000fd0f8bd5d48516ef9","datavalue":{"value":{"entity-type":"item","numeric-id":4894728,"id":"Q4894728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933679$F9DFB117-8F0C-4AA0-9481-7EDE0F67774F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933679$A85E82D0-5EB2-4588-A82E-D2DF51B8CE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6989014e34d3a9775035abf0cfcc3b2c1b5a10b","datavalue":{"value":{"entity-type":"item","numeric-id":4110996,"id":"Q4110996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933679$3979649F-7C99-4BB9-9451-6F179BC1B829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933679$F97F2958-0438-410F-85D0-C4C342A7AAF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9998e56ee0c42d142d8e212555f6d4986d63a176","datavalue":{"value":"10.1017/JSL.2013.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933679$73C360D4-BFFC-47D9-961F-EE32A84ECF65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933679$9D04528A-638F-4ED2-BF72-20CD7FDB3C37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ee6aa6d39bba947bf03d81859856833d3fd9d9","datavalue":{"value":{"entity-type":"item","numeric-id":5222082,"id":"Q5222082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f478057cfbfc03db5213631951ebde69f30a797a","datavalue":{"value":{"amount":"+0.7177210450172424","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":"Q2933679$3455A07D-BBC5-4AFC-9D5B-F9084459BBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524e84b423c3797a39985bd11e5e1218a79750a3","datavalue":{"value":{"entity-type":"item","numeric-id":1095138,"id":"Q1095138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd06c5f3652676d064023fe776c2465ce8e36a5","datavalue":{"value":{"amount":"+0.7168034315109253","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":"Q2933679$F94FCFF9-E949-4682-9868-3D77A3877DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26746b6d65bba143035b97d6561c52ac4515ea51","datavalue":{"value":{"entity-type":"item","numeric-id":3786482,"id":"Q3786482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e907ba997af5c493d4c70706a5ff18c80a79aa7e","datavalue":{"value":{"amount":"+0.7089686393737793","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":"Q2933679$3917E70C-1354-4E0C-9CF7-9A1EFD861597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca91620e8c527b025163e48b2fdffcc0e0b531a7","datavalue":{"value":{"entity-type":"item","numeric-id":3216651,"id":"Q3216651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4481028a967dcf0643d54f726f4855f53d0e0d0","datavalue":{"value":{"amount":"+0.70194411277771","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":"Q2933679$A3B4C7CE-86A9-4B0C-B5DC-02CEF6CEC9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e17a63133f658fa2d7ffa3a641966172b2f061b","datavalue":{"value":{"entity-type":"item","numeric-id":3781756,"id":"Q3781756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489a1af13e7dd699b71aecb9b3750105177bc0ce","datavalue":{"value":{"amount":"+0.6936249732971191","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":"Q2933679$34EE195D-2C81-4970-B0F1-AD72E9E0E4FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpretations between \\(\\omega\\)-logic and second-order arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpretations_between_%5C(%5Comega%5C)-logic_and_second-order_arithmetic"}}}}}