{"entities":{"Q1964148":{"pageid":1974890,"ns":120,"title":"Item:Q1964148","lastrevid":47442583,"modified":"2026-01-01T18:37:47Z","type":"item","id":"Q1964148","labels":{"en":{"language":"en","value":"Structure theorems for o-minimal expansions of groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1398857"}},"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":"Q1964148$75474A38-A452-4282-BF9B-04789D579265","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f24d3029e3eb7883444073a2a18cb62010373c2","datavalue":{"value":{"text":"Structure theorems for o-minimal expansions of groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1964148$0DD2D20B-A4A3-461C-B989-8A4C4A3F59CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca5157146b972f472cf2f7f1435d83e2a70bbe78","datavalue":{"value":"0944.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964148$73F6F6B1-30DA-439F-A52F-1A970F525C98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efc2aedf843927765d5b551e1cb3ed065ee2cde8","datavalue":{"value":"10.1016/S0168-0072(99)00043-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964148$581BDD21-637C-424F-9B80-F7FDC9C58DBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dee3d9f192ff38b4dc31a7e0b8ae0caad223538","datavalue":{"value":{"entity-type":"item","numeric-id":267156,"id":"Q267156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964148$A003E805-1B74-4C08-ADF8-C3B14F733CBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964148$DA61F786-AC6F-43A5-A991-A2390719C421","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a175ccc37a14b3ca79afe1248bd0b3c945a52ef8","datavalue":{"value":{"time":"+2000-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1964148$25E9B98F-4165-404B-A239-F6E4C89564F5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"173dcb08bc581b40430d519fd7d758e03fb1ea47","datavalue":{"value":"Let \\(R\\) be an o-minimal expansion of an ordered group \\((R;0,1,+,<)\\) with distinguished positive element \\(1\\). The following statements are equivalent: (1) \\(R\\) is semi-bounded; (2) \\(R\\) has no poles; (3) \\(R\\) cannot define a real closed field with domain \\(R\\) and order \\(<\\); (4) \\(R\\) is eventually linear; (5) every \\(R\\)-definable set is a finite union of cones. As a corollary, \\(\\text{Th}(R)\\) has quantifier elimination and universal axiomatization in the language with symbols for ordered group operations, bounded \\(R\\)-definable sets and a symbol for each definable endomorphism of the group \\((R;0,+)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964148$EC01D053-3D79-4C9E-8DA9-341DCBCD133F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964148$B0676443-BB9C-4ABF-B510-86797EECA6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964148$6691A4E1-3BD6-4545-9E74-F33592EF42D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964148$8FAA0AB9-03C1-4DE3-8ECA-17A03D1A3BDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5104fb563e82f13caac363c1aefbd9b76b2895a7","datavalue":{"value":"1398857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964148$0CFBAFD4-680D-4902-9A3A-34FB8B8CE6D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b89ee6416fb14894beffcf28f958006e703c819","datavalue":{"value":"o-minimal expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964148$C2E1F221-BA44-436F-81EA-93BAF8D237F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7406a66bb743c62a311c1842b2adc06e513746c5","datavalue":{"value":"ordered group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964148$B8588C1B-A885-4C1B-9369-33E5EFCD691E","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":"Q1964148$45212AD3-F77A-4F48-ABB8-6A7FDA24858F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d08b860bef7ebac625b2afd0fc3a5f4b8f336f","datavalue":{"value":{"entity-type":"item","numeric-id":4392286,"id":"Q4392286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964148$885CD15C-7FBA-44C9-B2CE-E532524505CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6defbd05bd4ffee4e27a61675caca087373420","datavalue":{"value":{"entity-type":"item","numeric-id":3812218,"id":"Q3812218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964148$8FAF0EF1-F062-4AAD-93DE-C9E4F91B728F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3835f13c863a15d6f26f3aa96b3ea3215239b49","datavalue":{"value":{"entity-type":"item","numeric-id":1261903,"id":"Q1261903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964148$F2C89718-7F03-45C2-8B98-561ABBDCA294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e277c314184080ebde769dc9aa789f49d4a356","datavalue":{"value":{"entity-type":"item","numeric-id":4008750,"id":"Q4008750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964148$260EE412-6D3A-4684-B1CB-9E6ACDAE3405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c265b44019c9486eeb924015d08457531c9a0b1","datavalue":{"value":{"entity-type":"item","numeric-id":4211109,"id":"Q4211109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964148$DFAA788C-FF91-48DD-949F-0896A850DBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4da8349046621a117d4621bbd8c8aeb396837dd","datavalue":{"value":{"entity-type":"item","numeric-id":4032861,"id":"Q4032861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964148$9B3BFF96-0E4F-42D4-A038-6054E40CBB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c760a69a8a284cd5d11522bcd46844518f1f73","datavalue":{"value":{"entity-type":"item","numeric-id":4276032,"id":"Q4276032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964148$5CBD014A-94BC-4DA4-866F-D359BDA00895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7709e5ebc9ec481c831199a23d60fa2b954fc76","datavalue":{"value":{"entity-type":"item","numeric-id":3812217,"id":"Q3812217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964148$B09CB0A8-0F43-471D-98CF-3956B930BC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5b291bdea7d7086ec111d708aa38f55e97ac57","datavalue":{"value":{"entity-type":"item","numeric-id":2277538,"id":"Q2277538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964148$34C7B9A1-4429-42DC-AE78-27E172229828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21abf5fa969bd32a3379b00d1cf14d2dfd5a580c","datavalue":{"value":{"entity-type":"item","numeric-id":4858817,"id":"Q4858817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964148$B3FDDE38-BB73-4173-BD43-B63A271180DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a66c7fd34e955c349d134c6217b2eb4a376c40","datavalue":{"value":{"entity-type":"item","numeric-id":5687291,"id":"Q5687291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964148$528706AB-0B19-43CB-A66F-82DFB4548668","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4f181805dc6f2e4f915f8fe09787dbe259ad940","datavalue":{"value":{"entity-type":"item","numeric-id":3650318,"id":"Q3650318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d112f5f7452c43f025570474c62fe5594124df","datavalue":{"value":{"amount":"+0.8283438086509705","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":"Q1964148$D3DB034E-926D-4F47-ABCD-70762E9BCE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6beb0f1915c5d2253aac308bcb8652e09851b373","datavalue":{"value":{"entity-type":"item","numeric-id":2204409,"id":"Q2204409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e113025ab945cbae7e96605242c7f7b352da61","datavalue":{"value":{"amount":"+0.8117413520812988","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":"Q1964148$7A470AAD-14C3-4142-BB83-5C382EA747D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78d8d2f31a4ac0481fc93b2a542ca8da3dbbef43","datavalue":{"value":{"entity-type":"item","numeric-id":5854902,"id":"Q5854902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39cecd8e4724895e1a871c507d11acb60b3493bc","datavalue":{"value":{"amount":"+0.8110869526863098","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":"Q1964148$182415AA-ED6C-400E-A3D4-7DFA254DF8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f92bea26206d68f61460859e967ea26383ba5ee6","datavalue":{"value":{"entity-type":"item","numeric-id":3630581,"id":"Q3630581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"192bdf919d8bc67c2480ca94bb76fff9dc9e14fb","datavalue":{"value":{"amount":"+0.8076998591423035","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":"Q1964148$FB1BFF1B-F6F1-4AE2-A57C-D755BBE9E9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"717d056bff88f58a45083cd1a08e063324cfee61","datavalue":{"value":{"entity-type":"item","numeric-id":2039606,"id":"Q2039606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12a176635af3d171e4c1a793987aaf0b8a9b4a5","datavalue":{"value":{"amount":"+0.8031458854675293","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":"Q1964148$253587C3-4AAD-4494-B04F-000B78F1D3BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1964148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1964148"}}}}}