{"entities":{"Q1175483":{"pageid":1186232,"ns":120,"title":"Item:Q1175483","lastrevid":70048098,"modified":"2026-04-13T12:05:16Z","type":"item","id":"Q1175483","labels":{"en":{"language":"en","value":"Ideals in isols containing a set of regressive isols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 11769"}},"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":"Q1175483$239C6AE6-8B1E-4089-8252-0FA1C879D73A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"403131367086a1895f4b50473e917640b8673108","datavalue":{"value":{"text":"Ideals in isols containing a set of regressive isols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1175483$F3AC316C-3BB5-466A-A1DB-6BFEB11E884E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d28ac4ff50406a255287305a7616ef94f23ebac4","datavalue":{"value":"0743.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175483$3BFC3B8B-3D36-42F5-9C57-8BEB0852C662","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9500295e3be8fbd9fa77f012dec898dbb75ae81d","datavalue":{"value":"10.1007/BF01142645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175483$728FEC4E-E237-4254-BC77-DD6BAE103D48","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":"Q1175483$38019602-4E86-445F-BD3A-09BFACEE5D83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175483$4A588B13-95E8-4589-A76F-F43BCF091258","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1175483$48D4BC60-BF2F-405B-B666-94E215D61A0A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5aecc3858a496a2b02e243b7f60c478e0fecfcd1","datavalue":{"value":"Let \\(\\mathbb{N}\\) denote the set of natural numbers, \\(\\Lambda\\), \\(\\Lambda_ R\\) be the sets of isols and regressive isols, respectively. Let \\(\\mathcal K\\) denote the family of all almost combinatorial recursive functions, \\(\\mathcal R\\) the family of all recursive relations, and let  \\[ {\\mathcal K}^{(n)}=\\{f\\in{\\mathcal K}\\mid f: \\mathbb{N}^ n\\to\\mathbb{N}\\},\\qquad{\\mathcal R}^{(n)}=\\{R\\in{\\mathcal R}\\mid R\\subseteq\\mathbb{N}^ n\\}. \\]  A set \\(\\Gamma\\subseteq\\Lambda\\) is called an ideal if 1) \\(A,B\\in\\Gamma\\to A+B\\in\\Gamma\\); 2) \\(A\\subseteq B \\& B\\in\\Gamma\\to A\\in\\Gamma\\); and a \\(\\mathcal K\\)-ideal if in addition 3) \\(A\\in\\Gamma^ n \\& f\\in{\\mathcal K}^{(n)}\\to f_ \\Lambda(A)\\in\\Gamma\\).   Let \\(\\Lambda_ \\omega=\\{Y\\mid \\exists n\\exists X\\in\\Lambda^ n_ R\\) \\((Y=X_ 0+\\cdots+X_{n-1})\\}\\). Theorem 1. \\(\\Lambda_ \\omega\\) is the least ideal containing \\(\\Lambda_ R\\). But \\(\\Lambda_ \\omega\\) is no \\(\\mathcal K\\)-ideal.   The systems \\({\\mathcal N}(\\Lambda_ \\Sigma,{\\mathcal K},{\\mathcal R})\\) and \\({\\mathcal N}(\\Lambda_ p,{\\mathcal K},{\\mathcal R})\\) are defined and the following results proved. Theorem 3. The system \\({\\mathcal N}(\\Lambda_ \\Sigma,{\\mathcal K},{\\mathcal R})\\) is a Nerode extension. Theorem 5. The system \\({\\mathcal N}(\\Lambda_ p,{\\mathcal K},{\\mathcal R})\\) is a total Nerode extension.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175483$920FABB7-12B5-4728-AA5A-CBDEC43F7237","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"260afbe1b3239d93b958cf33fd25ae0afca15a09","datavalue":{"value":"03D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175483$724168AD-562C-4A7D-BD00-50BA29BE7F3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efb2f5862bf698afc04d81e242a71e650816cfa4","datavalue":{"value":"11769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175483$85380530-97EF-4D77-A11A-AEA541127A06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edea3b5e3d66b5ca9535be00d9ce4af1baf14984","datavalue":{"value":"isols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175483$EC36FAFC-CC1C-4C3D-9F2E-B635F1311E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351307adad8c4049490b05fa723ec1049903fbf0","datavalue":{"value":"regressive isols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175483$E97D920E-E75B-46AC-82DF-AB21CACDF5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175483$3047540C-1AD4-4D81-9D1F-0CC5DA95501F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf801f1d32913c6b1afe4a05b2b1a72a44f4d760","datavalue":{"value":"Nerode extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175483$7FE9BF64-EB32-4F77-8E26-DD8A06D7646E","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":"Q1175483$4CA8E0F6-0505-4ACC-8387-BE8519C95312","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":"Q1175483$394D10B2-7760-492A-A7A6-FEB6A808E472","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f27129ae2cebb460149f27fe7ae7a7f4c7c132","datavalue":{"value":{"entity-type":"item","numeric-id":5661491,"id":"Q5661491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175483$A031A893-8131-4F7F-90F5-8DA5C873DDFC","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":"Q1175483$D3A7F316-70F3-4284-83D7-EA83EA39C7B6","rank":"normal"},{"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":"Q1175483$84422B7C-B09D-4A38-A03E-696ECE52C621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed4936a7b043f016c281d779babc3efee9354d85","datavalue":{"value":{"entity-type":"item","numeric-id":4065535,"id":"Q4065535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175483$FD9E78CD-FA12-4B33-A1C0-428D5266B0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090a57ae2a3ab728e7738fd3dcb3fb6af0397f55","datavalue":{"value":{"entity-type":"item","numeric-id":4182495,"id":"Q4182495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175483$E715252D-305E-4DA1-B251-2810DFDFDCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0481eeb31060dbae9fb5ea1107dc104cd99385d1","datavalue":{"value":{"entity-type":"item","numeric-id":1248620,"id":"Q1248620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175483$3FC79ABB-5080-4400-98EB-28E3754E45D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d01909bfebb9e76fb16538d51cece9adf5a5185f","datavalue":{"value":{"entity-type":"item","numeric-id":3256315,"id":"Q3256315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175483$C7C94960-FF79-408D-B43F-3339B8499740","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1ded02fae61ff58ee6915659fb7ff683e491f2d","datavalue":{"value":"https://doi.org/10.1007/bf01142645","type":"string"},"datatype":"url"},"type":"statement","id":"Q1175483$C0C54D14-A2BA-4A5D-A635-0B7E113F028A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95a2b9dccaf431dc5548a952eaf927768ba69cb2","datavalue":{"value":"W1967035208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175483$E90E633E-B2B2-4E04-82A0-B7C26D9D25C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c520e6e79c5604d2c9e6f4fa65f501bee0e975e2","datavalue":{"value":{"entity-type":"item","numeric-id":4495041,"id":"Q4495041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f1c6ee32ba37295a4239dfba19343477ee1572","datavalue":{"value":{"amount":"+0.8785697","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":"Q1175483$AD93BB85-CBE3-45F8-A454-7A1327802FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ade4bd75cfe68919efbfac725c7fecd9ae8e251","datavalue":{"value":{"entity-type":"item","numeric-id":3211299,"id":"Q3211299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c79e157f4505a993e2d03a9adedb8d0f39e617e","datavalue":{"value":{"amount":"+0.86892426","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":"Q1175483$6CA13733-F48B-4CEC-9739-11A302E50B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6f5b20e73bc4eb35db97221f98a41ba40e36b0","datavalue":{"value":{"entity-type":"item","numeric-id":752767,"id":"Q752767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fffd0d4125eed19f47862868792da0725c72464","datavalue":{"value":{"amount":"+0.8627343","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":"Q1175483$56309DCC-22EF-4199-AD5E-32B3E65DDBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f755d8955fb354ed0a30a5a8fe0a24886e2b40e0","datavalue":{"value":{"entity-type":"item","numeric-id":3953993,"id":"Q3953993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40892a11839b3f9240c356fa909dc1c6c85012c","datavalue":{"value":{"amount":"+0.85573304","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":"Q1175483$61E2EAB1-ADD4-4894-A74D-50FFF5EAE443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d9455eed6a5b7c022355df6921d92995392f61","datavalue":{"value":{"entity-type":"item","numeric-id":4224072,"id":"Q4224072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b38973863e5c47e20c06aed84a3327e41f497a7","datavalue":{"value":{"amount":"+0.8541269","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":"Q1175483$5937C55D-76CA-49FE-81AF-E26DA3E27BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c6c1ecbcb892cce1217676af7ab74e792a56da","datavalue":{"value":{"entity-type":"item","numeric-id":4237050,"id":"Q4237050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346bdd16bde9d029b371e089dd01bc7436a58a08","datavalue":{"value":{"amount":"+0.85123855","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":"Q1175483$45BE4516-CDB7-4262-9372-B05460328B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24327e0c013c8e6de3ea09f84092ef2d4b6d167","datavalue":{"value":{"entity-type":"item","numeric-id":2705774,"id":"Q2705774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8fb0762ee5a2df9e788fc578abfb34f0c263531","datavalue":{"value":{"amount":"+0.8490518","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":"Q1175483$62178DAF-3DC9-4EA2-AE8F-CBE178B648FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a7951b9bf2ccd5a5c4423087fc7ea3005791f2","datavalue":{"value":{"entity-type":"item","numeric-id":3510069,"id":"Q3510069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64f2b2a916405ce2cfe0a3cc3c805c4d7f2f6da2","datavalue":{"value":{"amount":"+0.8487816","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":"Q1175483$49038B30-D5B2-4D2D-8D83-AC9652D506BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac965fe54dfdb684fc4923a61f3408c80ca1cd70","datavalue":{"value":{"entity-type":"item","numeric-id":1862891,"id":"Q1862891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ee157ef52d44a90327455bb6d810054cb2ff697","datavalue":{"value":{"amount":"+0.8486255","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":"Q1175483$369AA048-B537-44B9-90D0-BA9E754892ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd6d4f2576fb7df12d5c8d1166a22efa6d440ff1","datavalue":{"value":{"entity-type":"item","numeric-id":5162028,"id":"Q5162028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d43f18c5c1c57ae9ede2414dc64534c9e8cd61","datavalue":{"value":{"amount":"+0.8483814","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":"Q1175483$CAB37E08-4468-43B4-8B6A-9BE00B1B78CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ideals in isols containing a set of regressive isols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ideals_in_isols_containing_a_set_of_regressive_isols"}}}}}