{"entities":{"Q2892680":{"pageid":2903405,"ns":120,"title":"Item:Q2892680","lastrevid":51494045,"modified":"2026-01-18T12:18:07Z","type":"item","id":"Q2892680","labels":{"en":{"language":"en","value":"A version of \\(p\\)-adic minimality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6047780"}},"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":"Q2892680$0751F8A8-7012-442B-A42A-137F96037BD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a85a8bf8a816bd96187f36803b497d342b8a25b9","datavalue":{"value":"1251.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892680$4E251A1B-C1D7-49B7-B330-AE7E6B9FB89E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad177194eb993c63a81c720db2c123059d277423","datavalue":{"value":{"entity-type":"item","numeric-id":249504,"id":"Q249504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892680$3D895923-8D02-457D-82D4-60E9CCC78555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2d329f5f2557800c7217c4d61357d40258856cb","datavalue":{"value":{"entity-type":"item","numeric-id":365676,"id":"Q365676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892680$9870089D-7652-488B-9DB9-715586950F79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"555fba5bdc6c0bd8b767e7cf573522b7525626a8","datavalue":{"value":{"time":"+2012-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892680$C74A5524-8229-4283-9447-007E72C7BA55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab57718d3ff049a035f098f626a796aa51846679","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1333566641","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892680$93F0FD76-EF5D-49BD-925A-00836DD12B6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892680$1A3AE2DD-97AE-49E8-BC56-3C35A23E0F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892680$072C97C4-997E-4319-ACF5-0764A44F00DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892680$6F60D5D3-8C83-4F98-901E-A0454007B469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd171e62cdd301f1a0340e3f5b3c3f0b2350a2ad","datavalue":{"value":"12J12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892680$3D3A16AF-EC54-47D1-A76A-B27222A72827","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09ef204e9b0b182dbbb7782ba09a266e88f5034a","datavalue":{"value":"6047780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892680$ABE626E0-4049-4903-B2A6-7AAAF3106574","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2c4f46eeb58bdc78dd0618f1bb6eb8b973236e","datavalue":{"value":"o-minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892680$B01279BD-D810-45C3-B84B-11451C7DCD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7147a1335b413914fb8c838fc135569da4dfbcf3","datavalue":{"value":"\\(P\\)-minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892680$9E2EDA4F-2F18-4146-8599-B90912BEA43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df8bc080003c41c239c9395ad4365d64adb5e7b0","datavalue":{"value":"cell decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892680$E8C58E32-8766-4DC6-A32B-A2D3E38C744E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892680$22E08F36-1C51-453A-9550-1D438729FEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08d6b3895373e0e12f2a5054ce178241e37482dc","datavalue":{"value":"\\(p\\)-adically closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892680$2B0B7072-1372-49B5-88D2-64919817D1CE","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":"Q2892680$3747CC2F-4859-402A-B495-30B60FED8F03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"972931376018af39186591dc51518caff0e1459b","datavalue":{"value":"W2151489931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892680$CCE8DA17-8BF4-4DEC-845F-ED7736388FC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65f9c1cb2da5901ead837ab2dd94f5ca9701d4","datavalue":{"value":{"entity-type":"item","numeric-id":1921937,"id":"Q1921937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892680$D0F3A382-25CA-4809-8762-B7F3FB7AE88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cd2892556bb19f10d0a7047926c71a83861f21","datavalue":{"value":{"entity-type":"item","numeric-id":3033881,"id":"Q3033881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892680$07960913-B7DB-4DF5-9061-46B82E59662D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5c893005c7257f03221e09b6382d3c4338315e","datavalue":{"value":{"entity-type":"item","numeric-id":3184213,"id":"Q3184213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892680$197CA270-8C36-4A59-9AEB-30A6BC112B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8847fe111a26c879a94b3a7ca9ff78295aba8ec","datavalue":{"value":{"entity-type":"item","numeric-id":1919545,"id":"Q1919545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892680$C0007527-5D75-4441-8D28-678AA6707D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"879777b3ade97a568614892ffa9a63a7aae2c939","datavalue":{"value":{"entity-type":"item","numeric-id":4382461,"id":"Q4382461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892680$CEC51E5B-1CA6-435B-86E3-65814B1A35EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7783a0a8ec1622de04319846b3aed1c0813c5dad","datavalue":{"value":{"entity-type":"item","numeric-id":4265419,"id":"Q4265419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892680$63CE7710-06C7-4C4A-8D0D-074536B9F4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c144670c3fd42cce656d8a1382ec0ec40c30c761","datavalue":{"value":{"entity-type":"item","numeric-id":584334,"id":"Q584334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892680$B8F7C916-A462-4C98-A4D4-21AB08D8DBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2363fa788f1c54cf157e0cb10ba1d8f25d602c","datavalue":{"value":{"entity-type":"item","numeric-id":3521599,"id":"Q3521599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892680$E21DF894-79BD-44FA-9D14-A59DAFEABF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4c8a9e1ef567534a8a9f73235b9df896342d8e","datavalue":{"value":{"entity-type":"item","numeric-id":2758433,"id":"Q2758433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892680$B37098AD-F8FE-473E-A976-C90C227942DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aaf84f234a831437cffb283d283e8c7310ecd4","datavalue":{"value":{"entity-type":"item","numeric-id":1056794,"id":"Q1056794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892680$F0664143-2582-46AC-8EB4-B57084BF2C14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bcdf917c6b085ea99b098d5b5d8cf961f4bcca0","datavalue":{"value":"10.2178/JSL/1333566641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892680$B4B02594-F824-45CF-ACE9-8A497A97E5C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec9bc979b21c847bbc1f16ad2e967925a1045ac5","datavalue":{"value":{"text":"A version of \\(p\\)-adic minimality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892680$070C8E39-BB2E-407E-9A01-DB8776C3A8AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892680$CBEBF24F-0D7E-4B61-8BCB-93E1A31EBE6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"24dc8d286f3741663d6d7b89663db6dfcb2523e4","datavalue":{"value":"One of the fundamental features of real closed fields is that they are o-minimal. The present article introduces \\(\\mathcal L_M\\)-minimality, an analogue of this for \\(p\\)-adically closed fields (such as \\(\\mathbb Q_p\\)). Such an analogue already exists, namely the notion of \\(P\\)-minimality introduced by \\textit{D. Haskell} and \\textit{D. Macpherson} [J. Symb. Log. 62, No. 4, 1075--1092 (1997; Zbl 0894.03015)]. However, \\(P\\)-minimality requires the language to contain the full field language, which seems unsatisfactory given that o-minimality can be defined using only the order. By contrast, \\(\\mathcal{L}_M\\)-minimality needs only a very weak language \\(\\mathcal{L}_M\\).NEWLINENEWLINELike o-minimality, the notion of \\(\\mathcal{L}_M\\)-minimality is a special case of the general notion of \\(\\mathcal L_0\\)-minimality introduced by \\textit{D. Macpherson} and \\textit{C. Steinhorn} [Ann. Pure Appl. Logic 79, No. 2, 165--209 (1996; Zbl 0858.03039)]: a structure is \\(\\mathcal{L}_M\\)-minimal if every definable subset of the line is \\(\\mathcal{L}_M\\)-definable. Any valued field with finite residue field and whose value group is elementarily equivalent to \\(\\mathbb Z\\) naturally carries \\(\\mathcal{L}_M\\)-structure. The authors prove that, using this, \\(p\\)-adically closed fields are \\(\\mathcal{L}_M\\)-minimal. On finite field extensions of \\(\\mathbb Q_p\\), one even has \\(\\mathcal{L}_M\\)-minimality for the subanalytic language.NEWLINENEWLINEOther results are that \\(\\mathcal{L}_M\\)-minimality implies cell decomposition and there is a quantifier elimination result in a suitable definitional expansion of \\(\\mathcal{L}_M\\).NEWLINENEWLINETo obtain a general notion of \\(\\mathcal{L}_M\\)-minimality, one would need an axiomatic description of those \\(\\mathcal{L}_M\\)-structures one is interested in (in analogy to the requirement that, in o-minimal structures, \\(<\\) defines a dense linear order). As the authors remark, such an axiomatic description is still missing.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892680$5543704A-FDA5-4EFA-B935-8965917CDFB2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dddde243d09d3a0c11c233fa0f386c8f74d6555f","datavalue":{"value":{"entity-type":"item","numeric-id":590825,"id":"Q590825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892680$23E3C91D-7265-4E31-B38E-75D6536A94C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0328be008e57ca70509b2b5f4afed2c92c5bd53b","datavalue":{"value":{"entity-type":"item","numeric-id":3144875,"id":"Q3144875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d17b69e7bdf860717bb6d7f50433113c0420ace","datavalue":{"value":{"amount":"+0.8645464777946472","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":"Q2892680$E9DAA413-50A0-4E97-9541-0CD6243F37EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae073b0e58563e111eb9b4cbee86b90fef26d66","datavalue":{"value":{"entity-type":"item","numeric-id":4382461,"id":"Q4382461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e60e417ab06d8d828f471027b71f0e7d343adb6","datavalue":{"value":{"amount":"+0.8275004625320435","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":"Q2892680$2AF5146C-FBC1-45F5-90D7-5803BD393A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f24895d8f8a41b228dd71efd824a718214903f","datavalue":{"value":{"entity-type":"item","numeric-id":3145983,"id":"Q3145983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276bd0e8a911313e842c8c2761085d7028707998","datavalue":{"value":{"amount":"+0.8175080418586731","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":"Q2892680$3D6CEB8A-C3D7-4E42-9E55-BAE824EDC2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a187800cb0b3af0244e1a200f4847619ce3458c","datavalue":{"value":{"entity-type":"item","numeric-id":365677,"id":"Q365677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb55de0c1dfa0bc78882aa740bfc4f2aac9a7eb","datavalue":{"value":{"amount":"+0.8136515021324158","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":"Q2892680$216D5C85-4EB2-4ECA-B5E8-EA44ADEADF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"638d0362673613eee9328cc73c3977e6bc2fccaf","datavalue":{"value":{"entity-type":"item","numeric-id":4265419,"id":"Q4265419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e322d450c11d690622c690c45afb9c3ca54b64","datavalue":{"value":{"amount":"+0.8034250140190125","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":"Q2892680$DECDBF47-8353-4061-90F7-F15B640EEDBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892680"}}}}}