{"entities":{"Q1115864":{"pageid":1126613,"ns":120,"title":"Item:Q1115864","lastrevid":69678276,"modified":"2026-04-13T08:39:31Z","type":"item","id":"Q1115864","labels":{"en":{"language":"en","value":"Local classes and computable indexations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4087653"}},"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":"Q1115864$C3AA2BB5-BF2D-44D9-B778-C06F3DF5AD22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf18817c2be1b7e906fedc05eacab5d9fcbf9a0f","datavalue":{"value":{"text":"Local classes and computable indexations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115864$77AF3B14-92FE-4BF7-B546-B5FF77DC6166","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"121884d8bc4c853d3dadc7a19f8db27b6a68f8fe","datavalue":{"value":"0665.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115864$862A5ED4-C7E0-4120-BACE-383FED3281EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9153b87f8766500d62105dfbf025d1b4ec9cd29f","datavalue":{"value":"10.1007/BF01978387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115864$1F5BE0A7-5A21-4FF7-8F47-2374135558D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1b4277d37189b43b84fb041f9c89ea1503a9168","datavalue":{"value":{"entity-type":"item","numeric-id":580330,"id":"Q580330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115864$D02A4BA7-179D-4787-A417-BEFAA894A456","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":"Q1115864$ADC63665-5CC6-403E-AC7D-99C260D2C6F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1115864$860AF010-9731-4A33-B043-7333884DCEC3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8ad68b14e015f76e3fc3ec9aa0d2a291faf7cb5","datavalue":{"value":"The author investigates some properties of constructive models in the sense of \\textit{Yu. L. Ershov} [Decision problems and constructivizable models (Russian) (1980; Zbl 0495.03009)]. A notion of reducibility \\(\\leq_{\\ell.c.}\\), compatible with local classes, is introduced. The author shows that if a class \\(K^*\\) of constructive models has two computable indexings \\(\\alpha\\) and \\(\\gamma\\) such that \\(\\alpha\\leq_{\\ell.c.}\\gamma\\) then there exists a computable indexing \\(\\tau\\) of the same class so that \\(\\alpha\\) \\(\\nleq_{\\ell.c.}\\tau\\), \\(\\gamma\\) \\(<_{\\ell.c.}\\tau\\) and \\(\\tau\\leq_{\\ell.c.}\\gamma.\\)    A sufficient condition under which a computable class K of constructive models has infinitely many incomparable indexings, is obtained. A number of other results are dispersed throughout the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115864$B0F95269-F2F5-4F64-B5C4-3D44983EE93D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115864$450E4412-3F16-4375-8532-DAC85BDCB500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115864$8FB97CF7-A528-4BF4-865C-650B9DBD319F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1be6f227f7a807bbe53212595372f4032b7156a","datavalue":{"value":"4087653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115864$9F388F57-FC67-403D-AA1D-984B1D03776D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3513ac961084dfa96e695402b9da579649c4e4ec","datavalue":{"value":"constructive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115864$744514E9-4635-44D5-90B9-9A509C8D4952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc1cc50e8d4b517f651118878724606a4faacd","datavalue":{"value":"reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115864$682BADCD-E679-4DF0-A981-74DCAE748A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa03b29f82b4dfc569ae0dadee4f09d18aac6419","datavalue":{"value":"local classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115864$C5AFA081-1C6E-4491-AC4B-0490063A9003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43958c374b2c9c8c7f8861133b75cdefd3409ed9","datavalue":{"value":"computable indexings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115864$741DEDFE-6F41-41D2-9BFF-23EBECEB0E6E","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":"Q1115864$C80CAA21-C593-4003-8E23-5BC1C12D361C","rank":"normal"}],"P223":[{"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":"Q1115864$3D4747C6-1795-4A51-AD2B-30724ED140EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832afdee155e301b25d1482b0989d7b69ae57697","datavalue":{"value":{"entity-type":"item","numeric-id":3322080,"id":"Q3322080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115864$BE53411F-0784-46AC-87FB-E9FF4D7D1ADA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac12d497c991e072b2cda4a43d3b2d489708927b","datavalue":{"value":{"entity-type":"item","numeric-id":1898525,"id":"Q1898525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dca20b0558940899f511bb043077ef073c8d6ff","datavalue":{"value":{"amount":"+0.8624131083488464","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":"Q1115864$ED55DB0D-F20B-4D5C-BA50-32E8944FC43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b979166e877adb08f72ee2e2d03cb71bdaaa62d0","datavalue":{"value":{"entity-type":"item","numeric-id":3789547,"id":"Q3789547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86bb2ff12c25fcc9a9f07b880a6b407fbe527875","datavalue":{"value":{"amount":"+0.8612381815910339","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":"Q1115864$8E29D80F-9D3B-426B-95CA-75DFAEBBE8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b943946b84404a16450a14e9ece144a04d09af01","datavalue":{"value":{"entity-type":"item","numeric-id":3826539,"id":"Q3826539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8c8b1717956439e6b774bd7971922610f21af49","datavalue":{"value":{"amount":"+0.8610161542892456","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":"Q1115864$55F20195-812F-44BD-BDCB-3B243FB6782B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81999455310de9de8637e0d768ae1458ebf65eff","datavalue":{"value":{"entity-type":"item","numeric-id":3775536,"id":"Q3775536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de11cd57160c92a9ae7aaac800c8df5ac47fe640","datavalue":{"value":{"amount":"+0.8546003103256226","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":"Q1115864$D30346EF-D8B9-4B48-9D85-3C81AFBDCEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46014a88ddb0354f42b871044655f9870b865651","datavalue":{"value":{"entity-type":"item","numeric-id":4735182,"id":"Q4735182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a29eff5207201eb56e0f1dc89bb31286a1cc05d","datavalue":{"value":{"amount":"+0.852263867855072","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":"Q1115864$02BDAE0D-A60A-4D86-96A5-3F5889155F09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local classes and computable indexations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_classes_and_computable_indexations"}}}}}