{"entities":{"Q1094412":{"pageid":1105164,"ns":120,"title":"Item:Q1094412","lastrevid":69625536,"modified":"2026-04-13T08:17:34Z","type":"item","id":"Q1094412","labels":{"en":{"language":"en","value":"The field of reals with a predicate for the powers of two"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4025415"}},"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":"Q1094412$7446F9C1-188D-45C2-9DA0-4D4A6FB83CDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edf29485aa92719da157fb9ad89a4c4b1a7b5b49","datavalue":{"value":{"text":"The field of reals with a predicate for the powers of two","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1094412$145FDF32-AA81-4F33-98A8-281112AC5CB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a14048480b572134fd4eab1049b113086a2af3ae","datavalue":{"value":"0631.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094412$289785B1-C76B-4949-B85E-CB4270FB371C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5134a740bbc0ec72b359215017655e4ad12d270e","datavalue":{"value":"10.1007/BF01171706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094412$BF121B9E-A6EB-4F5C-AE72-78C712D99E34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094412$63850628-E05E-49B1-9E88-F15E115CAE0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1094412$3A6BAED0-94B4-4142-B44D-1D3C6FE3E945","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71bb0abe271ef855a9c1182709c129b8e6f1c56c","datavalue":{"value":"https://eudml.org/doc/155108","type":"string"},"datatype":"url"},"type":"statement","id":"Q1094412$520846E0-3C13-485A-9651-4FF49268E7AE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6e2259638640537bd7a959e3a06324bc3b26003b","datavalue":{"value":"Let L be the language of ordered rings augmented by a 1-place relation symbol. Consider the ordered field \\({\\mathbb{R}}\\) of reals together with the multiplicative group \\(2^{{\\mathbb{Z}}}=\\{2^ n:n\\in {\\mathbb{Z}}\\}\\) as an L- structure. The author provides a set \\(\\Sigma\\) of axioms for the complete, decidable L-theory \\(Th({\\mathbb{R}},2^{{\\mathbb{Z}}})\\). Augmenting L by countably many 1-place relation symbols and \\(\\Sigma\\) by defining axioms for the new symbols, one gets a theory which admits elimination of quantifiers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094412$06E944AC-C252-427A-8369-F2B774A66454","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094412$E785D5D1-9DB3-4C03-9D16-F03652EDD96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094412$E6307BE7-6F58-4A0E-A481-A82E85D8C7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094412$BD7E91D6-B8A7-4C53-9F9A-51818D19C6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094412$B93BFBD5-BF62-4602-B226-C02A941F1875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094412$8BEF0B0D-E4F1-421F-98E7-2788641CC949","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a85a903cf0e97a0e09220daa003964fd0018d23","datavalue":{"value":"4025415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094412$3B49F0E7-FFFD-4A23-8A16-97598127B0DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9248e17cc9c9a1eb8dd69f3794c59d14740761a1","datavalue":{"value":"complete theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094412$8A09F013-963A-493B-9E25-2732D645EEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25332b644d9cf8e5cd532069685823c2079e180","datavalue":{"value":"archimedean class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094412$9596509E-A40D-4B26-9661-1C5F1EF257AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c351843179f6d1d1443bb07510a7b1dbca118d4b","datavalue":{"value":"saturated elementary extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094412$B3FF9B04-6F34-4144-B2C4-33D3D6EC5D1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ed87200671954154fed3812a1c575704adc30ed","datavalue":{"value":{"entity-type":"item","numeric-id":1812782,"id":"Q1812782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094412$D4A6C1E8-9673-4ECF-BFCF-02B3A3E07345","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3311c476ff97a482b62491729bed0b56f3ca41e1","datavalue":{"value":{"entity-type":"item","numeric-id":703834,"id":"Q703834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094412$CD0769F7-9766-4566-878C-E677420CF9A6","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":"Q1094412$E0727370-DF6F-4939-AE9E-009096836738","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88c7097b8c20754181e65c20c653d8bcea4793c","datavalue":{"value":{"entity-type":"item","numeric-id":3727972,"id":"Q3727972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094412$F92C6BD1-16B5-423C-9585-661FF0C07F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7c0c39385c53fed90551bea7d43ffa08fc8e3","datavalue":{"value":{"entity-type":"item","numeric-id":799734,"id":"Q799734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094412$46B90364-4FD0-4D29-9B5C-974CB47F21F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d2418b9d6a8d76a8671ab522d3f9ef4267c113","datavalue":{"value":{"entity-type":"item","numeric-id":5652669,"id":"Q5652669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094412$32353B4B-7B71-4E62-AC58-B98279D7FA3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44afc92f76d5a0ed08049646cbcaf88df332aeae","datavalue":{"value":"W1967705670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094412$BC107C7A-0DF5-46AA-B8B7-14E09F883FAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b4721b371e263e4375c8dd65349f6ff875e586","datavalue":{"value":{"entity-type":"item","numeric-id":892142,"id":"Q892142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd99d17fbfb7fbf654f82795d16e6869124c7ff9","datavalue":{"value":{"amount":"+0.794722855091095","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":"Q1094412$2E958BB8-0782-45A3-8795-DAF338039D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec6db029688c2c6e40d9f7dc9fc98a396ec1ae7","datavalue":{"value":{"entity-type":"item","numeric-id":868941,"id":"Q868941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c18716392875ccdb05ed5228fc14d85bd1eb62","datavalue":{"value":{"amount":"+0.7729853987693787","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":"Q1094412$0373A163-A844-443C-AFB4-639BB3FE3D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0311581c877afbb1303f65ab1dde1f2a1d324b3b","datavalue":{"value":{"entity-type":"item","numeric-id":4180416,"id":"Q4180416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d885cea277797a4f2b9e42649a8b5420e190db45","datavalue":{"value":{"amount":"+0.7644269466400146","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":"Q1094412$35281DD4-DDEE-4F1C-97D5-8E0A7927CEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7dcd945af26b4cf498d744e69f785182ac740b4","datavalue":{"value":{"entity-type":"item","numeric-id":3705421,"id":"Q3705421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfac6f891fae4653d207ddbbce2d5ce626180913","datavalue":{"value":{"amount":"+0.7439267635345459","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":"Q1094412$C407B247-2EA4-4015-9E96-036B14E7F7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb096cf9b8608f3edc3c18184f173ae30e97a5f","datavalue":{"value":{"entity-type":"item","numeric-id":5738196,"id":"Q5738196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c30932289ecd5ca5c49c5e1059f26697b05c89b","datavalue":{"value":{"amount":"+0.7425205707550049","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":"Q1094412$5F308FA8-6970-4EF5-B45E-7626F139BAF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The field of reals with a predicate for the powers of two","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_field_of_reals_with_a_predicate_for_the_powers_of_two"}}}}}