{"entities":{"Q800393":{"pageid":802241,"ns":120,"title":"Item:Q800393","lastrevid":64552620,"modified":"2026-04-11T20:39:49Z","type":"item","id":"Q800393","labels":{"en":{"language":"en","value":"An example in the model theory of Abelian lattice-ordered groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875355"}},"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":"Q800393$A700368E-128F-4F6A-8CBB-3C0DC3E79ACE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"debf4d0d536d095b7379fad1d8cffac13d2a22f0","datavalue":{"value":{"text":"An example in the model theory of Abelian lattice-ordered groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800393$A3521117-03C1-4171-B7F6-92FCD3029DAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dfc4aa4728f970c13ee11d20ec733f8c4e36ace","datavalue":{"value":"0549.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800393$ACAFF48F-DB73-4629-9F6F-E6BB0A6F7B96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e08b8b5ca52e0db9bc2d31c039c9af754c2ab311","datavalue":{"value":"10.1007/BF01191489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800393$797184AE-08F8-44C1-87B8-81B05F7E9952","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b01ea8b3b8997aab2f4e7e5b255439be10dc4965","datavalue":{"value":{"entity-type":"item","numeric-id":762139,"id":"Q762139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800393$F94AA4C2-AB34-438C-951E-D520B97A47BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c3be1bc3f29de907ffd192fc6c932eeaeefcc2","datavalue":{"value":{"entity-type":"item","numeric-id":762140,"id":"Q762140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800393$43FD977E-7D91-45CB-8397-51C9BAE60BA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800393$124F23BC-DA6A-464C-BDD9-96ADDC1F106C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q800393$22D533E5-7370-4F3C-8AF3-B90ED12D054B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"17c276778367b35d4ba96b86785cff731589cb6c","datavalue":{"value":"In [Trans. Am. Math. Soc. 261, 255-270 (1980; Zbl 0482.06011)] \\textit{A. M. W. Glass} and \\textit{K. R. Pierce} investigated existentially complete abelian lattice ordered groups G, that is, G has the property that if \\(G\\subseteq H\\), and H is a lattice-ordered group satisfying a sentence \\(\\exists\\vec u\\phi (\\vec u,\\vec g)\\) where \\(\\vec g\\in G^ n\\) and \\(\\phi\\) is a conjunction of equations and inequations, then G satisfies the same sentence. They raised the question whether an archimedean existentially complete lattice-ordered group must be hyperarchimedean (that is, every homomorphic image is archimedean). In the paper under review, the authors give a counter example. A modification of one of the examples of Glass and Pierce, it consists of real-valued functions of compact support on a certain space, extended by a constant function and a positive function with arbitrarily small positive values. A complete understanding of this paper requires a good knowledge of the theory of lattice-ordered groups, of the relevant parts of model theory, and of certain parts of the cited paper of Glass and Pierce.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800393$61388B39-32AD-43BE-8535-554579F754E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800393$2618768C-5216-44E3-9B1C-90300E628C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800393$35016F7C-83B0-478F-96A8-907634873E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d23f426a1207e798e5066605d68c043bf53ff8ab","datavalue":{"value":"20F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800393$E9DFA505-2E67-4960-B281-23D9BB0D787A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a62aff08cba046dd811abb9bf3bcd1c59b684d0b","datavalue":{"value":"3875355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800393$D8D77F5F-1B4E-47FA-899E-8E40438C7112","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4f6060ea60b0b6bffaa0ebb082999be0496bcb0","datavalue":{"value":"existentially complete abelian lattice ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q800393$0265D937-5779-40B3-9D25-BF10FE6E7730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa9bcebaea62dc01c57eaca4cfd30910d4cef4e","datavalue":{"value":"archimedean existentially complete lattice-ordered group","type":"string"},"datatype":"string"},"type":"statement","id":"Q800393$CB68C5AA-4111-4EF9-A879-2AED8473578D","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":"Q800393$68EF6356-71D5-43BC-A281-9F663CC63348","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"245726923652ec612c8a46560806320a9f67ffce","datavalue":{"value":{"entity-type":"item","numeric-id":1248535,"id":"Q1248535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800393$066B5862-2C04-4E33-BBAD-1202ED0E0168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"321f0b5f400750500670c86ef87f75abb04e8df4","datavalue":{"value":{"entity-type":"item","numeric-id":3939856,"id":"Q3939856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800393$E31F1E1E-C511-4BD1-8858-20A6E3FF143A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4e83df93f96e9dbc851f8d077f4bda018974b","datavalue":{"value":{"entity-type":"item","numeric-id":766973,"id":"Q766973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800393$491F9009-377B-4C11-8BC3-0EF8671F9557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bca6b0a85a25bb4c059f018e3cd7cd4f8725cda","datavalue":{"value":{"entity-type":"item","numeric-id":3672053,"id":"Q3672053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800393$9A3D9425-D57D-4379-959F-BF59E2C43DE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbc54c8b74f51eb87eeb0d270c7dc9b5204e0849","datavalue":{"value":"https://doi.org/10.1007/bf01191489","type":"string"},"datatype":"url"},"type":"statement","id":"Q800393$DBE7520E-13DA-4583-B1A6-4AA81045A476","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecee13a23374ad40ed3431ba6f5e742104d3ad07","datavalue":{"value":"W2014720149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800393$56C854D3-C17C-4C72-B737-1493179DD464","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee42788e106ab3fe38033e72f01521f6071ec5f9","datavalue":{"value":{"entity-type":"item","numeric-id":4829358,"id":"Q4829358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3bdd6cb6f5d6bdabd12b86524a334006ed36410","datavalue":{"value":{"amount":"+0.7755314707756042","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":"Q800393$CB52B989-6B88-4F5F-A9C9-BDDCDBD667AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0cb47497e7e8238d25174b33fa047fbc4e3772","datavalue":{"value":{"entity-type":"item","numeric-id":5179380,"id":"Q5179380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18791c3aea2b392a4d629dd4ff2e6b4bea840e0d","datavalue":{"value":{"amount":"+0.775151252746582","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":"Q800393$FD36A373-47B9-4201-A9ED-26858256C191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ab8282904f958d66bcbd7e1b6acfe77ec8b383","datavalue":{"value":{"entity-type":"item","numeric-id":3487402,"id":"Q3487402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ff9e13640dce841873be0c32cf201c8572404b","datavalue":{"value":{"amount":"+0.774527370929718","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":"Q800393$423C5C87-FD75-4B69-BEED-1526E075F3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8404b11ab59a3f00c4cb39f0c6f6244bc1cadd89","datavalue":{"value":{"entity-type":"item","numeric-id":292831,"id":"Q292831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c385ef1408abeaa98dae9a8401bcccd0714b508a","datavalue":{"value":{"amount":"+0.772881269454956","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":"Q800393$FE089C7D-F207-4CF4-BEA4-3EE706ECFBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1df24d1a410cefc32105715c9da3f6944993f3de","datavalue":{"value":{"entity-type":"item","numeric-id":1821129,"id":"Q1821129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a176376d4fbd8a4e2ac520995654d9fa0afffc9","datavalue":{"value":{"amount":"+0.7647930383682251","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":"Q800393$6744D886-850D-43BC-A0C8-6555BB52E549","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An example in the model theory of Abelian lattice-ordered groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_example_in_the_model_theory_of_Abelian_lattice-ordered_groups"}}}}}