{"entities":{"Q1192349":{"pageid":1203098,"ns":120,"title":"Item:Q1192349","lastrevid":66819159,"modified":"2026-04-12T13:04:02Z","type":"item","id":"Q1192349","labels":{"en":{"language":"en","value":"Polynomial-time analogues of isolatedness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 60750"}},"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":"Q1192349$A26BEDBD-0E9C-46D3-B4C0-5A871CE2F88A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3b987eeffd1319c2dc98274deccc629b48a72e3","datavalue":{"value":{"text":"Polynomial-time analogues of isolatedness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1192349$E565BAFB-67F1-409A-ABAF-BD6420F9A3B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5a079af470ccf0be2248be60d7edfb0bece512f","datavalue":{"value":"0773.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192349$70B617ED-1D94-43E2-80A4-633D1EFA9046","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc4e99bb0ab208117699ad56c948ca5f59987194","datavalue":{"value":"10.1016/0168-0072(92)90072-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192349$20A1DF7E-4066-4BF9-9F3F-C5D8BE19D7EA","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":"Q1192349$9A551ADB-7782-45DE-A460-87724C45DD44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1192349$83B19E1F-C579-4E29-93C5-3ACAB34E7445","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d86955dbf52853290c2a1aeeebdc2c42a32c6b0","datavalue":{"value":"Classical recursive equivalence types are defined as analogues of equipollence classes using only partial recursive functions: we say \\(A\\) is recursive equivalent to \\(B\\) if there is a partial recursive injective function \\(f\\) with \\(f(A)=B\\). Under this definition, Dedekind finite sets are called isolated sets. The study of these objects and the extent to which arithmetic can be lifted was the center of a lot of elegant research. \\textit{A. Nerode} and \\textit{J. B. Remmel} extended such studies to the situation where \\(f\\) is polynomial time [Lect. Notes Math. 1432, 323- 362 (1989; Zbl 0705.03024)]. This leads to various interpretations of the notion of ``Dedekind \\(p\\)-finite'', and in the present paper the author explores the connections between these definitions, and the extent to which cancellation laws hold.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192349$63002EEA-039F-401A-912E-C8B489E15110","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"260afbe1b3239d93b958cf33fd25ae0afca15a09","datavalue":{"value":"03D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192349$89B72DEE-5C75-4384-AD1D-693798D17F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192349$CBF0E497-6C1C-4FD2-9555-2BD8D5EE77E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1963173f983b8e2d51072c840811a0f4efdbef29","datavalue":{"value":"60750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192349$D61FD5E0-5532-4FD5-90CF-C6B83A46BA4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba8334430b895e5c05e92ddb79f1f502bb39da90","datavalue":{"value":"recursive equivalence types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192349$C9887952-2FCA-4C64-8306-50947942826A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf97e0b255f53a1f530029d70ee864c8db6d7c12","datavalue":{"value":"equipollence classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192349$1FD690F2-9D8C-4839-91F9-FB7071EC5C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84be346d5b2e3007dfca566cae60632b5f37519c","datavalue":{"value":"partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192349$742A28B4-EAF1-41AF-AA29-DCF8D0C51A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02fc2998b40879b86fd6a9d3b15b78c7e1cde58","datavalue":{"value":"Dedekind finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192349$EAF74507-2F2C-4374-9A74-E06222161C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb712367d2fb88a6c6e768563ecd37e4df6d3d0","datavalue":{"value":"isolated sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192349$479824B0-A442-485A-B0A5-34153D5D7812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ccfaefda42c78e35365d860c0ae36f9a0e5b0de","datavalue":{"value":"cancellation laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192349$BD6AB92B-B9AE-492F-847F-3086D9872703","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ee3a7b89cf20737a434ee35ff199ce25a1f7b87","datavalue":{"value":{"entity-type":"item","numeric-id":588764,"id":"Q588764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192349$B732E817-AEFD-49A4-B58D-02CCC3829B71","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8055ef4c08baf7aae068108b5a3771ed10ad54de","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192349$57B1EF9B-747A-4B0E-A35C-B87D5AE26EA6","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":"Q1192349$CC5EB997-7FAB-4B0F-BD91-B0FB61F30189","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37d8e794be7696960feaf12558b752d243993eff","datavalue":{"value":"https://doi.org/10.1016/0168-0072(92)90072-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1192349$10C68F3D-A98B-4C34-B211-B885BC141B99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"289ba320614e193988279ee2512e93c21c196307","datavalue":{"value":"W1965999006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192349$8D26CEE6-7B2A-4ADE-A548-B3CEFE99D7E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f19aa4fd1980c42e72e804cd73989e33caf19ae","datavalue":{"value":{"entity-type":"item","numeric-id":3478393,"id":"Q3478393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192349$D9BD439C-97A7-4A2E-BEA4-45FFD80C3262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a3ed9b65502150f66cbd5dd53c8204ff69ef36","datavalue":{"value":{"entity-type":"item","numeric-id":3484825,"id":"Q3484825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192349$E01A43C9-5B0C-46FF-A58B-A85454AF90B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b38698410b10d1b605e95efd4de66bd5ba470a8","datavalue":{"value":{"entity-type":"item","numeric-id":3484825,"id":"Q3484825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7639e5f8f8126504de8675e9f71542965a359d2","datavalue":{"value":{"amount":"+0.8691542148590088","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":"Q1192349$EC3F3C8A-CDE9-4E8C-A2E0-21EC94F333B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49479e38f956caec1527d00c42d09ac9bfc5351a","datavalue":{"value":{"entity-type":"item","numeric-id":1192348,"id":"Q1192348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce64f73205990e13f3c7e11355988c4278d7d37","datavalue":{"value":{"amount":"+0.8151631355285645","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":"Q1192349$ABF531EB-B60F-4D47-9B5A-5B79966CC84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66f1c42ec50da1e041b4d58519a022ade366fe31","datavalue":{"value":{"entity-type":"item","numeric-id":1182471,"id":"Q1182471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95cb5b1018edb42e8a2f99844c07577e39ebf95","datavalue":{"value":{"amount":"+0.8150011897087097","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":"Q1192349$6C9758D2-DC1E-4F61-8347-DED35592F443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e568226254bc4437dc54e195a2cb4ce152fbe85","datavalue":{"value":{"entity-type":"item","numeric-id":3478393,"id":"Q3478393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e186c9028079365455d975c0fe556f6176b5821f","datavalue":{"value":{"amount":"+0.78204745054245","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":"Q1192349$A459A213-FA09-4EC8-BEC3-947F5F265561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b24adf230cc494fb31962e485ea8ad0deebc5ac5","datavalue":{"value":{"entity-type":"item","numeric-id":1407537,"id":"Q1407537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74305618c826560f41cf936b01db296b5eeeeac7","datavalue":{"value":{"amount":"+0.7166565656661987","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":"Q1192349$66C0F3FD-9871-40A7-AD02-CB2A12788A64","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192349$6099B5EE-2877-44A0-81D0-0F84A903A6E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial-time analogues of isolatedness","badges":[]}}}}}