{"entities":{"Q922533":{"pageid":924381,"ns":120,"title":"Item:Q922533","lastrevid":65434668,"modified":"2026-04-12T02:33:59Z","type":"item","id":"Q922533","labels":{"en":{"language":"en","value":"When is arithmetic possible?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4168667"}},"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":"Q922533$20A58A3C-C544-4C46-A756-A287EC185392","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc8aa1c1146c5c5dc01fde441bd0bd7436f60a0d","datavalue":{"value":{"text":"When is arithmetic possible?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q922533$6E105094-50E2-42EC-B838-E017D3117840","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b935a1e7621f1826a9eba7740ec9084a2b2a3bc6","datavalue":{"value":"0711.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922533$2750D997-EFA3-4CD2-9959-D428067E4822","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9f7a0897e6d34c671c40342c95d053637507e30","datavalue":{"value":"10.1016/0168-0072(90)90053-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922533$5E2758B9-DE09-402C-8377-DEE83817DF58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$49C102C6-4539-4020-9B81-CEAC240EB8EC","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":"Q922533$2C69F7F2-D3E1-4AE5-BF66-232904E5D279","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5980f475e735fb8550db1390868e696293660ccb","datavalue":{"value":"When a structure or class of structures admits an unbounded induction, arithmetic can be done on the stages of that induction; if only bounded inductions are admitted, then every inductively definable relation can be defined by a finite explicit expression. This article presents evidence that the converse is true, and investigates a combinatorial property equivalent to ``all \\(L^{<\\omega}_{\\infty \\omega}\\)-definable relations are elementary''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q922533$8F219701-7AA0-462B-8F17-ACD583DB5943","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922533$B4F57B2D-A038-483F-8FFE-736F8F04C649","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9e55846cdb79ee6ccc65d843695eea3893fc02a","datavalue":{"value":"4168667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922533$1020018B-2E13-4DE4-BF65-37AC7BFB1196","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c71ea0a54982ef351f7981d7952b275f5753d5","datavalue":{"value":"expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q922533$BF2DE4E9-936D-4420-BA41-BEC532818638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4072003da230510b1fd84722eb7ef0b5222d4fed","datavalue":{"value":"parametrization","type":"string"},"datatype":"string"},"type":"statement","id":"Q922533$8A4C8F98-6B5F-4790-8993-CDC1FEA3CEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e724a7d397062e1f609ff79ac7c7d1937116c4c4","datavalue":{"value":"bounded inductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q922533$937671DA-5952-4F89-97DA-56B945698469","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eaa89ddc8f1c02cec0a1d0e7fe6b6f15f5a7ca9","datavalue":{"value":{"entity-type":"item","numeric-id":587174,"id":"Q587174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$FE773BA4-8B37-46FC-8788-6362458B35DE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4c2e453a383fe1e064f27e4ca3ff49f8a1646b9","datavalue":{"value":{"entity-type":"item","numeric-id":587174,"id":"Q587174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$EBA883AA-17CD-427B-95F4-B36F7B3A4402","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":"Q922533$0FCFE562-E2FB-447C-97A7-FB53AD17CF82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a8f0062852f1dc05c1370360b7ac5a7bff9bcf4","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90053-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q922533$00AB0431-02C1-46A0-A8F3-EEC23AC1C82C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6791f10704d9319e7327d4825331868213f05365","datavalue":{"value":"W2010650680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922533$2EEE136D-6EF7-4F2E-9753-C98B3F73214C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bccc04170b12cdfbc782f77a5d15185542badb7","datavalue":{"value":{"entity-type":"item","numeric-id":4143287,"id":"Q4143287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$98E8B3DE-6821-416C-80D7-117DDCAB2044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb13266d6e9cb924de9f33fbd05c2696a4d4948","datavalue":{"value":{"entity-type":"item","numeric-id":3747760,"id":"Q3747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$B4F85E1B-EE99-4DD8-BB23-EB046A9BE0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$A6616E5C-03E2-47FF-930C-8DE8DBA39C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e4af5b5876ff51622383a273f2390072da4ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5338333,"id":"Q5338333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$3259E499-BA10-41FA-B46B-454BB156CDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ed8c1c9b5cf85c3067f46e271b605235d5e997","datavalue":{"value":{"entity-type":"item","numeric-id":5339741,"id":"Q5339741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$8E2C3584-FE8C-458B-87C0-D5B60F6C4315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d639fb9d03ad258814bab0f3f43d6d28e28a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1173404,"id":"Q1173404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$A930D0E5-DB34-4CB6-B102-AA8A86623935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$E119D611-519E-4E16-BE00-C5E528918FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ca8dcdb67380935174b1ad35ce39fd72d2daa4","datavalue":{"value":{"entity-type":"item","numeric-id":3747761,"id":"Q3747761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$24274A83-A891-4D5F-9090-F11EC165354E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf6ff8e87b34c4a31276da47d70f5015de6773b","datavalue":{"value":{"entity-type":"item","numeric-id":3486555,"id":"Q3486555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$49D48D7D-64A7-4AC5-93A6-A8F9C86A6F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77557cbe2f217bdb4ab46ba6f38799e9e9b67d7b","datavalue":{"value":{"entity-type":"item","numeric-id":917545,"id":"Q917545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$5A74D55C-C294-47DE-BADB-091FB653ACBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4985e4ef0163512fd1d0cfdf57496a8130e5fc67","datavalue":{"value":{"entity-type":"item","numeric-id":4295241,"id":"Q4295241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$6BA57841-E14D-4D75-81F5-8D721ADA98B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$B5449661-C38B-45FD-B1F6-45EF7A81D747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5b813f7d8a3c2627f5c661a61c9efa024187d9","datavalue":{"value":{"entity-type":"item","numeric-id":3734395,"id":"Q3734395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$A7F73043-2696-45C9-9F5B-8FB526C54059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922533$2F836B05-888B-41AB-AC4F-366C829D3C0C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b398d89b3129923d5e36836c6ef13fee93192207","datavalue":{"value":"Q126409177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922533$E22A6121-B659-4947-82D7-EDE205979610","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6a1cb432f4b0fefdb14d573eb549dec9a14a30","datavalue":{"value":{"entity-type":"item","numeric-id":4032864,"id":"Q4032864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7418f90ec20edbddd17c4885fe45f1b92832eb","datavalue":{"value":{"amount":"+0.8497198","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":"Q922533$5F645FAF-B32E-411A-B54C-8A0E42361D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda78e41505ac187223faa2ad3cc8050fd4ea4ca","datavalue":{"value":{"entity-type":"item","numeric-id":4623328,"id":"Q4623328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b923d792d596e9dfd4e0fb247153ac80053c5a9","datavalue":{"value":{"amount":"+0.7905773","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":"Q922533$F7CB9BD8-BAE3-4B04-B59F-D9C649CE73C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3adeed1f6c382582f678208dad7548724e5a32ae","datavalue":{"value":{"entity-type":"item","numeric-id":5034380,"id":"Q5034380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5584016bc0d306c1714b4c0eee24948e546f37bc","datavalue":{"value":{"amount":"+0.780114","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":"Q922533$CB3CE50A-913E-4CBC-96DD-BBF619698BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3f16accab27d6e54a5d0e587a4665621a5a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":4344179,"id":"Q4344179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1abaee336080a3dc2d2d02e30bd2ebcfcb1cb887","datavalue":{"value":{"amount":"+0.77769244","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":"Q922533$8835492E-73C8-43F7-9F99-EC9A4CADDAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f4d0c6258089256b46e875d28cb4f0f9267a10","datavalue":{"value":{"entity-type":"item","numeric-id":2078980,"id":"Q2078980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b018bc87c6e1b806c6138a4d4c891d2c882b0d","datavalue":{"value":{"amount":"+0.7751887","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":"Q922533$655CF51E-8404-4878-8B25-E4C20AD5D406","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"When is arithmetic possible?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/When_is_arithmetic_possible%3F"}}}}}