{"entities":{"Q2641295":{"pageid":2652038,"ns":120,"title":"Item:Q2641295","lastrevid":49468528,"modified":"2026-01-07T05:18:01Z","type":"item","id":"Q2641295","labels":{"en":{"language":"en","value":"Constructivizable models with a linear structure of algebraic reducibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4189715"}},"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":"Q2641295$60B641FE-E4AB-4D62-8E33-0467F89BB354","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0aaa3b8c5d2763ba5d0d3e157bba0aa2061a0d8c","datavalue":{"value":{"text":"Constructivizable models with a linear structure of algebraic reducibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2641295$94DA66F5-EE73-4CF0-A202-B18E38D91CFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9428b067ee278cc13bc9008af21aeb12c2aa064","datavalue":{"value":"0722.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641295$FF16E34F-A4DB-4465-BAFD-DAC03F1E100D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b3c3eec68489bdfa07237c45330b87e3d07e2d6","datavalue":{"value":"10.1007/BF01240268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641295$792152EB-6EB2-4180-9890-C4B44A6A5635","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2404ba21d9e98830850d8d41d290cb89a17f858","datavalue":{"value":{"entity-type":"item","numeric-id":810497,"id":"Q810497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641295$EEF817C9-EA19-45F8-A4E6-3CD1DF901D5E","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":"Q2641295$8EBCF200-2A1F-46CB-AC6F-45A81A08113F","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":"Q2641295$8017937C-B7BC-4D34-B37E-F9281749FD39","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7f47d52f0437c9a0609c1ab5a4ec639159464124","datavalue":{"value":"Let \\({\\mathfrak A}\\) be a model. The surjection \\(\\nu\\) : \\(\\omega\\to {\\mathfrak A}\\) is said to be a constructivization of \\({\\mathfrak A}\\) if, given a quantifier- free formula \\(\\theta (x_ 1,...,x_ n)\\) and natural numbers \\(m_ 1,...,m_ n\\), one can effectively decide whether \\({\\mathfrak A}\\vDash \\theta (m_ 1,...,m_ n)\\). Constructivization \\(\\nu\\) algebraically reduces to \\(\\mu\\) (\\(\\nu\\leq \\mu)\\) if any relation on \\({\\mathfrak A}\\) that is stable with respect to automorphisms and recursive with respect to \\(\\mu\\), is recursive with respect to \\(\\nu\\). The relation \\(\\leq\\) is a quasi-order. Factorizing it with respect to the equivalence relation ``\\(\\nu\\leq \\mu\\) and \\(\\mu\\leq \\nu ''\\), we get an algebraic reducibility structure L(\\({\\mathfrak A})\\) that is an order. The author proves that for any \\(n\\geq 3\\) there exists a model \\({\\mathfrak A}\\) such that L(\\({\\mathfrak A})\\) is an n-element linear order.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641295$73ACD776-3C15-4C74-AB3D-8730970D341A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641295$D1D6102B-EA5C-4BC0-BA38-61512AB7D625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641295$F7B0AF38-3D32-4AB8-A51B-C2C680496B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641295$5ED0A165-570F-4C88-98AA-5C53D3B4152D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ec72a6814ec7249ae05f317cee2be81bcb95a38","datavalue":{"value":"4189715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641295$1EBE4DB7-3830-473B-91C5-80FB67B57BB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b11d01f155b9d799c8ffe1fc5e6a1e5d8ab6a63","datavalue":{"value":"recursive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641295$030C7E44-1892-4F6F-998F-07BA868A7CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1d247931a35a8a53e4fee9c3ae644b6746211b7","datavalue":{"value":"constructivization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641295$13A81209-457F-4357-B979-4340F41B542E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45ab62c3ae442fdcd7e7e32270bc2329479368d","datavalue":{"value":"algebraic reducibility structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641295$11D55A01-F033-4F53-8B27-0E2508F94829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641295$32B7DF01-E65C-43D6-A273-B6BD40D883EB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641295$7B922A5A-6631-4F05-BB11-1C7149175395","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":"Q2641295$3410B406-393F-4AE5-9F18-6DC0F74F2C2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7326762699e9101e0f0b14c3d6655cb2b160cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3931264,"id":"Q3931264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641295$F95C8B8D-929D-4F10-86ED-62AC8D721690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee85f15db819554c5cddfac8ba3f64f52efb0bd","datavalue":{"value":{"entity-type":"item","numeric-id":3958432,"id":"Q3958432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641295$1BDCE4F1-34B2-44AB-978C-2389F5DFF421","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80eb611b4ede9886a7bd6a39b989f33754e306e7","datavalue":{"value":{"entity-type":"item","numeric-id":810499,"id":"Q810499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0945702ab363667a1c0b9d748a33dcf0a69c20d8","datavalue":{"value":{"amount":"+0.8106025457382202","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":"Q2641295$3FB2DBBE-01C8-44E5-8563-16044380A88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0721cfcff40a087d7bf6b51a7edb73a6d6c0bbfb","datavalue":{"value":{"entity-type":"item","numeric-id":3491531,"id":"Q3491531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feaccc06993a2aba3f1655be4d0cbf2507c76304","datavalue":{"value":{"amount":"+0.7803915739059448","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":"Q2641295$55CAE721-CF83-434F-95B6-DCC95AC54ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb49ab97a910d675730f9a2bdba7ae6c08889ed8","datavalue":{"value":{"entity-type":"item","numeric-id":1335930,"id":"Q1335930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da9443a10d7c863c1af34210f5d3f15d0c711dc","datavalue":{"value":{"amount":"+0.779050886631012","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":"Q2641295$3FE5C9C4-3FCF-4868-B4F1-217830992C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0597c619cc4f74d481f2e8d20699c7af5eb6ea1f","datavalue":{"value":{"entity-type":"item","numeric-id":3820590,"id":"Q3820590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da9443a10d7c863c1af34210f5d3f15d0c711dc","datavalue":{"value":{"amount":"+0.779050886631012","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":"Q2641295$12AF8C4E-2115-4013-ABD4-621A982879E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"102a52c9692844f4122d91a409b3d7ea0bc4dd5e","datavalue":{"value":{"entity-type":"item","numeric-id":1346921,"id":"Q1346921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d798bf5ccb10f97d92e2ac36e27cd0818f2cb69","datavalue":{"value":{"amount":"+0.7789524793624878","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":"Q2641295$2751E418-AEF7-41BE-9AE7-13E5059AA4ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2641295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2641295"}}}}}