{"entities":{"Q1803012":{"pageid":1813754,"ns":120,"title":"Item:Q1803012","lastrevid":72990681,"modified":"2026-04-14T09:14:13Z","type":"item","id":"Q1803012","labels":{"en":{"language":"en","value":"Models of arithmetic in \\(A\\)-isols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 220164"}},"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":"Q1803012$D314EB80-F00F-4F9A-B026-3193C196A5D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53e9c988cda5a6e0f81ad17cfeb9875f4b854fc2","datavalue":{"value":{"text":"Models of arithmetic in \\(A\\)-isols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1803012$5BCDF8B9-69F7-4540-B7B1-96AC402A8C5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8355b2602de59b6af009e72561fd557ef3faf88f","datavalue":{"value":"0790.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803012$042234B6-9B6C-49E0-BF5F-12E141F34B8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56352e67395a7c4847f73a777e3ab9d3ab5c3095","datavalue":{"value":"10.1007/BF01978832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803012$C9DF58B2-9069-4AFD-8DBA-E79EE7058B83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62716074b999c51f66f4923b81eb7b7438f5bafd","datavalue":{"value":{"entity-type":"item","numeric-id":1175482,"id":"Q1175482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803012$8679ED95-E9DD-4779-B18B-720F5965B1B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803012$A6DF1208-6ED9-404B-BD24-FEBC5E85CEF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1803012$0571A90E-5391-42D7-9E17-8D0008505F7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"21d19e1eb964022b64bd1c5e2cfc5a6965facf87","datavalue":{"value":"Nerode showed that each countable Diophantine correct nonstandard model of arithmetic \\({\\mathcal N}=\\langle N;+,\\cdot\\rangle\\) is embedded in a set of isols. Continuing the process of transferring concepts from isols to arithmetic isols (\\(A\\)-isols), taken by \\textit{A. Nerode} [Proc. Symp. Pure Math. 5, 105-116 (1962; Zbl 0178.319)], let us introduce new concepts from the theory of isols and regressive isols and show that in the set of \\(A\\)-isols one can distinguish subsets, the extension on which of the set \\({\\mathcal A}\\) of all arithmetic functions and the set \\({\\mathcal R}({\\mathcal A})\\) of all arithmetic relations has the same elementary theory as the arithmetic \\({\\mathcal N}_ A=\\langle N;{\\mathcal A},{\\mathcal R}({\\mathcal A})\\rangle\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803012$0B247CB2-BC8A-4C2D-9075-6602E53D37F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"260afbe1b3239d93b958cf33fd25ae0afca15a09","datavalue":{"value":"03D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803012$9C83BA08-DBFD-446D-AC91-35F995BCE1EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6fd0323f22ca027786294f1a784c99e7f6da5b7","datavalue":{"value":"220164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803012$1B2B2193-96A8-43A8-BDD3-1485CDF680C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856363b153b3fe752a8ce3dd777356e158216c77","datavalue":{"value":"Nerode extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803012$20F5B261-E09B-4D79-9CE8-2292FEE18694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d37cc03c18508798f338807d0d13bb84d1bb050","datavalue":{"value":"arithmetic isols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803012$CFEF07A8-6F08-42CE-BBDC-3EF9B97E69C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351307adad8c4049490b05fa723ec1049903fbf0","datavalue":{"value":"regressive isols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803012$88097D3B-4883-4A8A-B510-21845C26FA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07519b95deb5eb94314d68617da7490fb34cd29b","datavalue":{"value":"arithmetic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803012$ECFC5E3C-29C0-43F6-A2E0-A5B53A3DB02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ccb2eb8de67eef0eb9f67b6d00636c3ae20707d","datavalue":{"value":"arithmetic relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803012$EC451F86-F57E-4B8F-89DB-48548382AC88","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f1c7d6689d0b52438bf5455c154225ce1608d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":535144,"id":"Q535144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803012$3721E61B-BB23-4F3A-8B54-5FB32D84C08F","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":"Q1803012$EAEF6259-D365-47D1-8F3F-E5353E251A3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab97de3dfbac30616407624213ad4bd18c9f6bea","datavalue":{"value":{"entity-type":"item","numeric-id":2626678,"id":"Q2626678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803012$1E8C3798-8B5B-4227-B13F-3751D0C7FC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58531e950a189e9a2e0667005f101f684ad586c8","datavalue":{"value":{"entity-type":"item","numeric-id":3214914,"id":"Q3214914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803012$7FF669D5-CFE8-4EF9-BAF8-0106A0C984F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58248e1e8fb4daee814b9393745d4580c1aec2c","datavalue":{"value":{"entity-type":"item","numeric-id":3968917,"id":"Q3968917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803012$90AE9913-953D-47A7-9F34-AAA3961652D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c24813f0cc61f873bd6cb8b7372f6ae1aa55f8","datavalue":{"value":{"entity-type":"item","numeric-id":774266,"id":"Q774266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803012$A641353F-478F-4CAD-8F1C-887E6EE5C5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055b41260a898f8922c278aea9c9ee821640ae8a","datavalue":{"value":{"entity-type":"item","numeric-id":5567853,"id":"Q5567853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803012$C543A90E-0A7C-4F0D-9472-137181CC93B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f6b6184fc006afeed0195ce76ff4e48835658d","datavalue":{"value":{"entity-type":"item","numeric-id":2527825,"id":"Q2527825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803012$B4FB2A1A-B79A-484B-B025-8410E5B2362E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803012$6F07CE54-F446-4556-AF00-11F56FE36382","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"636c37de663dbf2644f9f3c19b598edeb78a4024","datavalue":{"value":"https://doi.org/10.1007/bf01978832","type":"string"},"datatype":"url"},"type":"statement","id":"Q1803012$38DB11E9-E687-4561-A691-72806F631A76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81de50dc7c318f13e5f86c11b60ab8f4493196ee","datavalue":{"value":"W2005820631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803012$9EA82D3E-644B-446E-870E-365BE0D20176","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da458ae08134fe59a4ef1d3a59c444c79944e629","datavalue":{"value":{"entity-type":"item","numeric-id":3370752,"id":"Q3370752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68cb7fc12a08000035901b436fb71d97e545e07","datavalue":{"value":{"amount":"+0.91651905","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":"Q1803012$3E9E1460-F6F1-4B07-BBEF-C9900AA44E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c838fd3cd458f921faf9873ddffd33d30044162","datavalue":{"value":{"entity-type":"item","numeric-id":1311429,"id":"Q1311429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca64d068d6f40c6a9d127afaad6ef4f8e6f073c8","datavalue":{"value":{"amount":"+0.9135075","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":"Q1803012$780F6D7C-9590-41D3-9B83-8364766C3A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4884317eadf090800bfad5869533bea71d06d75b","datavalue":{"value":{"entity-type":"item","numeric-id":3487326,"id":"Q3487326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd400761246aa46a44a47241f78db75990db1b4b","datavalue":{"value":{"amount":"+0.91262126","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":"Q1803012$CDEBFF5E-B931-4047-9030-F2792A9329D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a280b4df9bfb42ae19b5f3aadf559bfd8997d03","datavalue":{"value":{"entity-type":"item","numeric-id":1913628,"id":"Q1913628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b144a9d60231dd7bf78d283110acffa343d26c","datavalue":{"value":{"amount":"+0.91120493","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":"Q1803012$EAD0BA0F-CB78-4BEA-8998-4B94F3C91197","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":"ab7b2e3cde846614dc5b29d0ed730e85cf609b23","datavalue":{"value":{"amount":"+0.9089996","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":"Q1803012$671181F3-8B7B-4038-ACCB-9746F481BDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad939fadf0db44f06c22946a3c86aadaca08e286","datavalue":{"value":{"entity-type":"item","numeric-id":1097274,"id":"Q1097274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec5a4fec95324243f86a88850bee48822bbfd049","datavalue":{"value":{"amount":"+0.9048866","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":"Q1803012$DE388FFD-F72C-416B-B0CA-2E9A65FC942F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5163a827293768332d0de49092eb375740de60d5","datavalue":{"value":{"entity-type":"item","numeric-id":3509169,"id":"Q3509169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5631f7f9c60375a8628253696a2e44580d524a5c","datavalue":{"value":{"amount":"+0.9046323","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":"Q1803012$CB0F6003-640A-4FCD-B436-5F2545038900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48bc64bb0f7ebf905e20cba0dac02c05a1701629","datavalue":{"value":{"entity-type":"item","numeric-id":3128124,"id":"Q3128124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0efd2fe05e89bdb3fc8870ea0734899a02ed753","datavalue":{"value":{"amount":"+0.90323085","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":"Q1803012$2833C94E-51AB-4159-9913-8F7B7A25F89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a145a0e30c1cd7a72852d395e474dfef401d50e8","datavalue":{"value":{"entity-type":"item","numeric-id":866555,"id":"Q866555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7460a59a0aea6f91bf8f5974f9013ba92aef590e","datavalue":{"value":{"amount":"+0.8999655","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":"Q1803012$0F00BC9A-4FAF-4CBA-AC61-138574644B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7596894d88ec46ce3a873e8dab13a4b5ab8082a","datavalue":{"value":{"entity-type":"item","numeric-id":1123890,"id":"Q1123890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f45ecdd3339465fcce7e5114be7444a5db7805a","datavalue":{"value":{"amount":"+0.8990177","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":"Q1803012$0653A150-8B13-4EED-BB95-FAF206806046","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Models of arithmetic in \\(A\\)-isols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Models_of_arithmetic_in_%5C(A%5C)-isols"}}}}}