{"entities":{"Q5962259":{"pageid":8139061,"ns":120,"title":"Item:Q5962259","lastrevid":51087446,"modified":"2026-01-16T14:40:26Z","type":"item","id":"Q5962259","labels":{"en":{"language":"en","value":"Fields interpretable in rosy theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5789732"}},"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":"Q5962259$A847359F-7BBD-442C-9E98-EBF4AEA208F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4612eb28df9809e9c50a357d60b6ac718621d34a","datavalue":{"value":{"text":"Fields interpretable in rosy theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5962259$E8B82AED-CBFB-48D9-87F6-830B3279AEF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7b78d87dc2c1e677efe13d3e719fae847f8a01e","datavalue":{"value":"1203.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962259$E54E880E-97FB-4772-A07C-0BCF6EF7602F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"601d145ba1a8f2f452f4462ee94edc56025391af","datavalue":{"value":{"entity-type":"item","numeric-id":244309,"id":"Q244309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962259$5F7FC182-F201-47F7-A318-C21049CCB7BA","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":"Q5962259$22B110FB-24F0-402D-BA01-8F7D8992BA62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24079ba03437de62c4e6fda5262431b289580da2","datavalue":{"value":{"time":"+2010-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5962259$2926DBC1-672D-4802-B920-A79BE4FAC0A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e7dc8d317a69d54120788546d15fdbe86e1d5d4e","datavalue":{"value":"In this paper, the author generalizes some fundamental results from the study of groups and fields of finite Morley rank (or definable in o-minimal structures) to rosy theories of finite \\(U^{\\text{thorn}}\\)-rank. Recall that a theory is \\textit{rosy} if there is a notion of independence satisfying all the usual properties of forking independence in simple theories except possibly for the Independence Theorem. The foundation rank with respect to this independence is \\(U^{\\text{thorn}}\\)-rank; a theory is superrosy if \\(U^{\\text{thorn}}\\) takes only ordinal values.  The main result of the paper is: If \\(R\\) is a \\(\\bigvee\\)-definable integral domain of positive finite \\(U^{\\text{thorn}}\\)-rank, then its field of fractions \\(F\\) is interpretable, and there is a \\(\\bigvee\\)-definable embedding of \\(R\\) into \\(F\\) whose image has the same \\(U^{\\text{thorn}}\\)-rank as \\(F\\). It follows that if \\(A\\) is an abelian group acting definably and faithfully on an abelian group \\(M\\) such that \\(M\\) is \\(A\\)-minimal and has finite \\(U^{\\text{thorn}}\\)-rank, then we can interpret an infinite field \\(K\\); if \\(M\\) has no finite \\(A\\)-invariant subgroups, then \\(M\\cong K^+\\) and \\(A\\hookrightarrow K^\\times\\). Both proofs do not really assume rosyness, but merely the existence of a well-behaved notion of dimension.  A theory has the \\textit{independence property} if there are a formula \\(\\varphi(\\bar x,\\bar y)\\) and tuples \\((\\bar a_i:i\\in\\omega)\\) and \\((\\bar b_I:I\\subseteq\\omega)\\) in some model of \\(T\\) such that \\(\\models\\varphi(\\bar a_i,\\bar b_I)\\) iff \\(i\\in I\\). A theory without the independence property is called NIP. The author shows that a soluble NIP group of finite \\(U^{\\text{thorn}}\\)-rank which is not nilpotent-by-finite interprets an infinite field. If \\(U^{\\text{thorn}}(G)=2\\), then there is a field \\(K\\) and a subgroup \\(A\\leq K^\\times\\) of finite index such that \\(G\\) is isogenous to \\(K^+\\rtimes M\\).  As far as infinite superrosy NIP fields are concerned, it has been conjectured that they are real or algebraically closed. As a partial result towards the conjecture, it is shown that for such a field \\(K\\) one has \\(K=K^n-K^n\\) for all \\(n>0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962259$6B9C6E2C-249A-4F19-80A6-36E45967144B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962259$D2F4295B-E5C5-4BBF-A4E5-C9FC4DF8DE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962259$B9B45B01-8E9E-46BD-91A5-E5EA8F2F8E6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cff9b43b2fd892bdd1de0114a1a81910f9435ae","datavalue":{"value":"5789732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962259$3A38BB9D-4EE6-4A85-B6ED-65FA05EB436D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8d83ba0fb4d8c139d89b5ff11311312844f721","datavalue":{"value":"rosy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962259$52D48CE6-71D6-46CB-A415-F2FABCF0FF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1bfd84d7389e17009396532760544033223ee7f","datavalue":{"value":"finite thorn-rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962259$91EC3B6F-431E-4FDF-B09A-706FCD1C35F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa5a2c720047b4d4a023910b90c77b237d13dfd7","datavalue":{"value":"interpretable field","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962259$71372758-1813-4A23-A67B-51455DC6108D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c02797f0d1333f502c4a18304b6dca55179997","datavalue":{"value":"group action","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962259$0F52A376-6093-4536-93A1-8F9AC816DCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"910f2012b3b40561f3c57d6a5a71b03a22e9dc7b","datavalue":{"value":"minimal group","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962259$671D8EA9-A3DD-4E22-9522-0D608D80F093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeeaf92d4955264f018294672b609d842f36d4ed","datavalue":{"value":"NIP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962259$B439C5B2-0BF3-4694-BFCD-1846690749F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff1b59fb7c81422828bdba5dfb9edee0d3e61295","datavalue":{"value":"soluble group","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962259$AB44CB8B-5396-470A-BFE5-DE2B0D7FD7AB","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":"Q5962259$D2484452-2DFB-404D-B3CE-B2B80C0148BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2481cfbb13a006f82110cb6b9d3e31ca6a9156a7","datavalue":{"value":"https://doi.org/10.1007/s11856-010-0017-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5962259$5217F64E-809D-43DF-9B5E-831CB2F5EA9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a72d499020f15b1966ae2d64bb9279d50714b70","datavalue":{"value":"W1996776439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962259$2DD61CC6-AB49-4701-88F8-F8D0BE6FF991","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecb38495e4998a90c5405eefbb9c254fad277398","datavalue":{"value":{"entity-type":"item","numeric-id":2470034,"id":"Q2470034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962259$8CEDCA6A-41C7-4BC5-935B-5FF511443BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4213a72185d631a052271079a35ee4d15fe41a36","datavalue":{"value":{"entity-type":"item","numeric-id":5441374,"id":"Q5441374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962259$F805811F-F156-41B7-81C9-C9DE61D54F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cdb41587cec70217ab38af9544cd601650039f","datavalue":{"value":{"entity-type":"item","numeric-id":550563,"id":"Q550563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962259$64386772-F2DC-4392-B859-042CA51E3CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3599de328ec944d00c9596beb9caeefbe41c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5477621,"id":"Q5477621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962259$E2E07DD9-A905-4262-8823-2CA51A20FD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d816e1d873e54df46d8ef4a1dad656828501f27","datavalue":{"value":{"entity-type":"item","numeric-id":1964013,"id":"Q1964013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962259$C713CA6A-F351-40DC-9B79-BB94F8FD489B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc06b940bf88f9f4eae26bccca678abd1659d59","datavalue":{"value":{"entity-type":"item","numeric-id":3130253,"id":"Q3130253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962259$1B446EBD-26B2-4BB0-8CF4-FD988BFB991B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707173522354d887d29a4c03ad4a6e3f9d8d2f9d","datavalue":{"value":{"entity-type":"item","numeric-id":1297500,"id":"Q1297500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962259$6E8F1EE3-7A02-4C7B-BA72-A0AB6F45FF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4502bc1affaaf5f1b24d4be820e38bb056cf690","datavalue":{"value":{"entity-type":"item","numeric-id":2723260,"id":"Q2723260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962259$A7CA0FED-5BF2-4C43-8D35-7B05082114A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a4529cbd971877212597fc33cfd554c32b2f994","datavalue":{"value":"10.1007/S11856-010-0017-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962259$4C0B2635-0B16-40CC-B86C-E4C3345368B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b0da9d522b039b25932ac1af2f19853570f506","datavalue":{"value":{"entity-type":"item","numeric-id":5190207,"id":"Q5190207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7226adcaea2c60adc13a6feb0f370a859d15fd","datavalue":{"value":{"amount":"+0.8111448287963867","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":"Q5962259$000C9D90-B99F-408B-998D-1E2FF43C88DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab79c6044f6f6c0da9a3b3e566f49232d8f337e3","datavalue":{"value":{"entity-type":"item","numeric-id":2470034,"id":"Q2470034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc5a3eb36ddd52a9a8e0f6b3c110f6eeb1ff57e","datavalue":{"value":{"amount":"+0.764357328414917","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":"Q5962259$BFF7D06D-CD29-478A-9EA5-CCD474E16303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e971f00d29833be3e2237929dec1c63a35664dc8","datavalue":{"value":{"entity-type":"item","numeric-id":4305915,"id":"Q4305915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad748fba6101cbe9e51ae99263db74875003120","datavalue":{"value":{"amount":"+0.7543327212333679","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":"Q5962259$E67DBEB0-CD14-4D44-9A5D-FD6BC802E466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24eacda46e1550c3fe5dfcf8d9bd003575179ee1","datavalue":{"value":{"entity-type":"item","numeric-id":5694197,"id":"Q5694197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47cad666c51b7ae8910d1562c778d47ebb6b623","datavalue":{"value":{"amount":"+0.7526907920837402","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":"Q5962259$E88C6C45-ACB1-4AEC-818B-EB07A4C9C804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65934c02ee02d1179efd96d3eb102c9ad38f6b8b","datavalue":{"value":{"entity-type":"item","numeric-id":5243155,"id":"Q5243155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2cbc6d1b47ff89e533dc957d5b97037bab4677","datavalue":{"value":{"amount":"+0.7502103447914124","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":"Q5962259$23890F9D-3897-4113-B16B-2CC27D145F35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5962259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5962259"}}}}}