{"entities":{"Q503269":{"pageid":505036,"ns":120,"title":"Item:Q503269","lastrevid":62319525,"modified":"2026-04-11T05:16:33Z","type":"item","id":"Q503269","labels":{"en":{"language":"en","value":"Separably closed valued fields: immediate expansions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6673872"}},"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":"Q503269$AD8F976A-4C2B-48B8-9317-5C29530C6EE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"030a844ac58d0c53e0fabbe767e33d9f501d6113","datavalue":{"value":{"text":"Separably closed valued fields: immediate expansions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q503269$25043874-1698-4DA6-B7F0-E7614CACE226","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1938c4bd020a2b59c2d9135b3a6b7954a78d2d8b","datavalue":{"value":"1370.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503269$F20D6380-5563-4029-8B48-587BDBC95AAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f097044493790c07bf28088bcbea64116bda8f28","datavalue":{"value":{"entity-type":"item","numeric-id":503268,"id":"Q503268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$7B5C36E6-28E8-4AC3-80CE-43A404B4B732","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$CD866D60-BA5F-4929-AD92-BF3C02C91F74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"279070e611f2298850bed427831a83010cbb2be1","datavalue":{"value":{"time":"+2017-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q503269$B842771E-9781-4C65-8400-A1C5CA2D30F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1fcb9147a94f39a97a0791cc59db3788009938d","datavalue":{"value":"It is a key model theoretic question to delimit the expressive definability power of various first-order structures on a set. Motivated by results of \\textit{D. Haskell} and \\textit{D. Macpherson} [J. Symb. Log. 63, No. 2, 739--741 (1998; Zbl 0920.03047)], the author introduces the natural notion of ``immediate expansion'' of first-order structures. The motivating examples are algebraically closed valued fields and real closed convexly valued fields: they are immediate expansions of the underlying algebraically closed fields and real closed fields, as any definable set in the valued structure is either definable in the pure field structure or the valuation ring is definable from that definable set. The main result of the paper is an analogue result for separably closed valued fields of any imperfection degree. The main tools are the author's quantifier elimination for separably closed valued fields [J. Symb. Log. 81, No. 3, 887--900 (2016; Zbl 1432.03062)] and Weil's restriction. To this reviewer's knowledge, it is unknown if a suitable non-trivial \\(p\\)-adic analogue holds.","type":"string"},"datatype":"string"},"type":"statement","id":"Q503269$D544B15D-BFE8-470A-8578-53FC327C016F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3a2118c292dc08a002b8680010ffeab026feb65b","datavalue":{"value":{"entity-type":"item","numeric-id":292504,"id":"Q292504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$E5C2B1D6-26BD-4B7B-9836-DD2219004F56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503269$657AFA59-39BA-44C8-8507-91A30BA916A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503269$B31D784E-38B1-4D98-9BC0-568117F0D0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503269$940AAA67-8A81-4628-958B-7520EFD65E24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a160494c00dd3da0486036f40de2d33249a3fd71","datavalue":{"value":"6673872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503269$B45BF8A5-E611-4250-A1C4-0431FD786F16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97ed4a97e479a838463c35ba3b8da4ed897a718a","datavalue":{"value":"separably closed valued field","type":"string"},"datatype":"string"},"type":"statement","id":"Q503269$747CD31B-FE6A-4A10-9580-2DE960E27DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261dec08f9c5dd2fc758481b34f4c263251c1e82","datavalue":{"value":"definable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q503269$9E94E0BE-359D-40E6-AD55-1B519F247316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56e5793ea33870a204239ad40fe7f02bf24fac2","datavalue":{"value":"expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q503269$B167D0E1-8102-4384-9B3B-668A56281380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7449828101868cd483770c0c45870baeea9e179d","datavalue":{"value":"Weil restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q503269$EFFA1419-194B-4CC5-8C94-BA4BE92909DE","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":"Q503269$8AD7B08C-58A3-4769-A1E1-626C67DD53B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7caff7fabf95cd812288a7c7acd38dae8892706","datavalue":{"value":"https://doi.org/10.1007/s11856-016-1428-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q503269$42C83624-79A5-4411-B805-152671FA186B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a1f655ae3ae046edb7be95d6f4e3c82ac77e0e6","datavalue":{"value":"W2531090633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503269$64073FE5-0768-4804-82DB-639FF67D385E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c29d3090f75db2845105d6dbcbd97c7eb50c21","datavalue":{"value":{"entity-type":"item","numeric-id":3996413,"id":"Q3996413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$6E6C84BE-23D7-45AD-85CE-2106ECB07654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aac50217ae06d442f6564361e7e5b125f4a5573f","datavalue":{"value":{"entity-type":"item","numeric-id":3584740,"id":"Q3584740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$E26E1C0E-09C2-4DB7-8524-A18E1C9D1B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9887f4cc35c02aa16d1c82c984fcf3db93d8ee7a","datavalue":{"value":{"entity-type":"item","numeric-id":2976369,"id":"Q2976369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$9352E26B-4920-40F1-A2F5-9579AD62C274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49767049c87a9348a0f145dab2f97a5504ab989","datavalue":{"value":{"entity-type":"item","numeric-id":1894971,"id":"Q1894971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$660597B7-6580-4E5D-BB2D-E19722962300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed17d9c11b83e077c08881fd60f2cad56a1a8c0","datavalue":{"value":{"entity-type":"item","numeric-id":4002797,"id":"Q4002797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$4029656B-6A90-42E6-B25B-EA0781417C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615435e62e2c83049e9ff67b6e496056287a0081","datavalue":{"value":{"entity-type":"item","numeric-id":4212931,"id":"Q4212931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$530DDA86-694A-422C-8E1A-9997A6562443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d29f9b9fd94ca46ede7e5cae51462c5d6912b89c","datavalue":{"value":{"entity-type":"item","numeric-id":4858820,"id":"Q4858820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$BF8EA96D-6553-4F90-A885-970F9EFD362D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6706093151665147c64672b7ac4abdd4262366a9","datavalue":{"value":{"entity-type":"item","numeric-id":503269,"id":"Q503269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$B658199D-E98E-4CBA-B968-295A08524B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600cb612b1b7dbb4e99b647eea680bd18e15b243","datavalue":{"value":{"entity-type":"item","numeric-id":2480585,"id":"Q2480585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$A2824457-2D62-48D9-98FB-EF19F5CF0820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30924dd5a7e603f34cc7425c9169b88b1dacd84f","datavalue":{"value":{"entity-type":"item","numeric-id":3272926,"id":"Q3272926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$4F62178C-4342-4991-AAC2-0885970CC02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a959948b7c7ff62338f63a549556a34db2f8edd1","datavalue":{"value":{"entity-type":"item","numeric-id":4530238,"id":"Q4530238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$9EF0B96B-7E07-4B66-BE51-600A43B3EBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b393bc737aa7b261523890de5d9bdacc3770e2","datavalue":{"value":{"entity-type":"item","numeric-id":4836044,"id":"Q4836044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$B4776238-A1B3-4097-BF32-DCC4E8020124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160891e173c8fce65d2399de7dfb3fcaeafeb946","datavalue":{"value":{"entity-type":"item","numeric-id":5846813,"id":"Q5846813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503269$59F6D7EE-3BB5-49CA-9C63-09C1781F27EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db338a9abaa1e4073ce86eaa5aaa761be1ca6c5a","datavalue":{"value":"10.1007/S11856-016-1428-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503269$5211494A-88D5-4120-B228-9F953EA1E12B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a58beea546c7ea760f4e8f64d927398581737d4","datavalue":{"value":{"entity-type":"item","numeric-id":3804678,"id":"Q3804678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7885f7afd427919b186c8362786d574bfe67262f","datavalue":{"value":{"amount":"+0.8198224902153015","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":"Q503269$BC424096-8A98-4356-82CD-9A22DB9FBA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e1fcb9929fee27378c11ae05e3e11788bee7ff8","datavalue":{"value":{"entity-type":"item","numeric-id":2959265,"id":"Q2959265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1bd8c0d300c4d469a80e4bd6fb4ede36b124a2","datavalue":{"value":{"amount":"+0.7756490707397461","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":"Q503269$00B4C95E-F3A0-412B-ACE2-5B1068026B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86caeb0b70d2331b79d08b9f8b76e08891c2b90a","datavalue":{"value":{"entity-type":"item","numeric-id":2976369,"id":"Q2976369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2c021af34fabd3f9850c8f5bfcce0d9d7ae375","datavalue":{"value":{"amount":"+0.7685727477073669","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":"Q503269$9BBCC2D5-4CD2-4537-9DC5-5923271CCB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c3be53abeb850e4b76270fe5568320a9e4250e","datavalue":{"value":{"entity-type":"item","numeric-id":4583434,"id":"Q4583434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd24c913accc1d450068df3d82ca75a21713d428","datavalue":{"value":{"amount":"+0.7633152008056641","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":"Q503269$9D26B64E-5E0E-494C-B669-78648D86710A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915e1d92f90cf3bb3553c02e61a9ba1f1021271f","datavalue":{"value":{"entity-type":"item","numeric-id":3758940,"id":"Q3758940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6ae6dcbe5c5dbd06029fa8c871b20e1a70182b","datavalue":{"value":{"amount":"+0.755551815032959","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":"Q503269$02E99F5D-BFAD-4EA5-913B-724BA86EB588","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separably closed valued fields: immediate expansions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separably_closed_valued_fields:_immediate_expansions"}}}}}