{"entities":{"Q2871479":{"pageid":2882199,"ns":120,"title":"Item:Q2871479","lastrevid":83601935,"modified":"2026-05-07T09:17:18Z","type":"item","id":"Q2871479","labels":{"en":{"language":"en","value":"Undecidable first-order theories of affine geometries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6243328"}},"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":"Q2871479$1B340C21-879A-4B1F-8A73-66386BD43FE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b71bcdee5b8ee74f2ce418c91ca44b4817015c0d","datavalue":{"value":"1317.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871479$B20BD415-50F9-4413-98D5-59DCDBF5326E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c60ae4eb375bf4733b15d1d00893b130b7ae393","datavalue":{"value":"10.2168/LMCS-9(4:26)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871479$F183047E-3C6E-49ED-9BC7-29D39CE7C622","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871479$72BA93EC-358C-455B-9BDB-0BFF04D40759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4770a71ff8369462e23bf7a8edc8510ef15a5d66","datavalue":{"value":{"entity-type":"item","numeric-id":742475,"id":"Q742475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871479$7EBE86A1-C950-4AC3-AF96-E3D86B4892A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a68336f23ccd8dad5714debd99f0e6466c9d2a","datavalue":{"value":{"entity-type":"item","numeric-id":476185,"id":"Q476185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871479$A3F4BE63-2AFA-498C-9B60-7FE459A31AE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871479$7BCF00DF-9AC1-4E29-AF9D-4E89B86BB675","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd6802d1635af15aceed850b007155490528f75","datavalue":{"value":{"time":"+2014-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871479$8E17983A-9FB5-457F-984A-6DE0593A5819","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40a6f3b895cf6496b2c59d6738e7795a0d740341","datavalue":{"value":"https://arxiv.org/abs/1310.8200","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871479$B65D1277-5D3B-4B64-985A-0C6218D90BF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871479$454C5D27-43E2-49D9-A616-DCA235292D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871479$369173B7-6D65-46CD-B392-6DE776EBAB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871479$2CF5564B-9147-4231-9862-0B453612DCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871479$AD145B88-F0BA-4D9F-AE7E-203B746F9666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f0f3a033ba037e44c92b4ace3a10a2805bf2147","datavalue":{"value":"51G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871479$8BA9E068-546E-4C44-AB6C-8B72FB328A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3fd9b3464d5377e9ea4754230e8e8757563cdcb","datavalue":{"value":"51E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871479$40FD94A2-4569-4E25-9C79-01C0606BE16F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39618a035c24ff3e68677b9422606fef296c5a95","datavalue":{"value":"6243328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871479$59A63079-CCF5-4ADF-B826-5340B3BD6D9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ced1c6c1c9aee2ee64ba536cb0053f77176bfc2","datavalue":{"value":"ordered affine geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871479$CA730AAC-E6FF-4069-AE55-0AAF1DF92D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a7ad3b9bca4a77e404ee6853b2ee1f8b94bd5ca","datavalue":{"value":"monadic second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871479$3F63D68A-8C9D-478D-9158-9C646B751FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871479$05F2F80B-E0D7-4587-B9DA-39427030D8A7","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":"Q2871479$2095A0E6-04DC-4AB4-8756-23CF75EA3192","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec2f311e3e92cfd3aa10a05c7f5e68ec516055b","datavalue":{"value":{"entity-type":"item","numeric-id":3586024,"id":"Q3586024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e2d235b64a2f56b3b67b6c02a05292cd97984a","datavalue":{"value":{"amount":"+0.665009","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2871479$A9D5023E-6E8C-4883-849D-FD759DCFF36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36710d3800ebad5721e0327d7ef51429ed5e8cf2","datavalue":{"value":{"entity-type":"item","numeric-id":5048929,"id":"Q5048929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a747cbff7d2c2950beb2f18029cb699238d77be6","datavalue":{"value":{"amount":"+0.64349055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2871479$421DFBBC-E58B-4E61-906E-8E9C7350AE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61108cbfb662f1fbbf6036e3a71348bf35f83c22","datavalue":{"value":{"entity-type":"item","numeric-id":1306795,"id":"Q1306795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14b68b89b975205bb0966927e4f653705be23cb","datavalue":{"value":{"amount":"+0.6420469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2871479$82CC566B-C690-4A5C-9229-3AEFB73B2968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7802a997bd979f5011a61696dec95d90d90ca35b","datavalue":{"value":{"entity-type":"item","numeric-id":2323638,"id":"Q2323638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c709417560f4f0b77eba97abe8e4ee877de2e0b","datavalue":{"value":{"amount":"+0.6334668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2871479$9E138ACB-D949-4794-9057-3BAAD49A1FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522b756bfb25ebd5d063b6e9386e95c55fc54b12","datavalue":{"value":{"entity-type":"item","numeric-id":3317082,"id":"Q3317082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0493fc0ef2c5085339df639f7c7bb375e24f328f","datavalue":{"value":{"amount":"+0.6299048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2871479$A220522E-2C32-4D7A-AAF6-B9832933F2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df8215c4f2cf0974e89d74b97e896b1a500693aa","datavalue":{"value":{"entity-type":"item","numeric-id":6156871,"id":"Q6156871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23310ee01face352b662691d81cad5b33fbe8c7e","datavalue":{"value":{"amount":"+0.62877905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2871479$E8A1A7DF-B950-4EE5-B028-47937863821E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb02510bd1f2f59529b2f6c03617ed19d355eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2904801,"id":"Q2904801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0deb1623ef87af0929b5bd208600df49d57965be","datavalue":{"value":{"amount":"+0.6229975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2871479$A959AE8B-D3B8-45CD-8026-790823712A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e147c75c23b3590b9653f70f7265acad1314fd","datavalue":{"value":{"entity-type":"item","numeric-id":1650004,"id":"Q1650004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6674a84b0ea0cd8deee43da9632f0d6cdc9aa761","datavalue":{"value":{"amount":"+0.62292314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2871479$26685CE4-8051-4EBB-91DF-F99195EDEC72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42094af525c91ea74f3558ef31f080cd0ce88f4a","datavalue":{"value":{"text":"Undecidable first-order theories of affine geometries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871479$3D6FD0B2-7EA5-433E-B305-0F13EDEE62BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e5c1d67b39ad603d984bbe159adba2fc3ef499e","datavalue":{"value":"In this paper, the authors refute a conjecture formulated by \\textit{M. Aiello} and \\textit{J. van Benthem} [J. Appl. Non-Class. Log. 12, No. 3--4, 319--363 (2002; Zbl 1185.03060)], by showing that, for \\(n \\geq 2\\), the first-order theory of the class of all expansions of \\(({\\mathbb R}^n, \\beta)\\), where \\(\\beta\\) is the ternary betweenness predicate, with a single unary predicate is highly undecidable (\\(\\Pi^1_1\\)-hard). What's more, for a wide class of substructures \\((T, \\beta)\\) of \\(({\\mathbb R}^n, \\beta)\\) with \\(n\\geq 2\\) (including \\(({\\mathbb Q}^2 , \\beta)\\) and the real unit square \\(([0, 1]^2 , \\beta)\\)), the following hold: (1) The first-order theory of the class of expansions of \\((T, \\beta)\\) with a single unary predicate is \\(\\Sigma_{1}^0\\)-hard; (2) The first-order theory of the class of expansions of \\((T, \\beta)\\) with a single finite unary predicate is \\(\\Pi_{1}^0\\) -hard.NEWLINENEWLINEThe paper also treats the expressiveness of universal weak monadic second order logic and universal monadic second order logic in general and over expansions of \\(({\\mathbb R}^n, \\beta)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871479$10555366-8492-4644-9D63-01FA85FADBBC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871479$C8CCF194-D668-4141-83EA-590FF6019135","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidable first-order theories of affine geometries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidable_first-order_theories_of_affine_geometries"}}}}}