{"entities":{"Q372628":{"pageid":374395,"ns":120,"title":"Item:Q372628","lastrevid":61385103,"modified":"2026-04-10T23:01:48Z","type":"item","id":"Q372628","labels":{"en":{"language":"en","value":"Hyperbolic towers and independent generic sets in the theory of free groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214292"}},"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":"Q372628$99F03114-8F18-4215-8345-A0D5CE20F3AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94dabd0de0c6ae43a4ccdd1fb55c3a52d1435f4e","datavalue":{"value":{"text":"Hyperbolic towers and independent generic sets in the theory of free groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q372628$97D736AB-D476-479F-B22F-98667AD6D5F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3146e5f7cd2bea31619f3d161211b8a57e9ba09f","datavalue":{"value":"1288.20030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372628$8FC1EECF-DE99-4B9F-94B7-BE2EB61539F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"061b0f30ae5244e3e024b1146ff9c36ddd4b010f","datavalue":{"value":"10.1215/00294527-2143988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372628$3B55A71A-2931-44B8-B35D-5C9873970468","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18db584352b0ccac3ee04ce626a058fa475ad890","datavalue":{"value":{"entity-type":"item","numeric-id":355388,"id":"Q355388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$13D76767-F958-41EA-8316-003DADE1B316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b9af4e35f71a77cb2559269502f8af1ba6a1950","datavalue":{"value":{"entity-type":"item","numeric-id":303831,"id":"Q303831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$4DA7F22B-C055-447A-9A79-C3DAAA7AF0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"259158de8d20ef18044373c3b1069adbc9890fcc","datavalue":{"value":{"entity-type":"item","numeric-id":303832,"id":"Q303832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$CAA7AF1A-CA55-482E-B3A5-C7FF4C01E506","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$125E0BFD-0ED0-40A0-A886-46856C1DF767","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3a25b4485e8891620915ff9cb8ef365b15ff9c8","datavalue":{"value":{"time":"+2013-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q372628$5415207C-2690-4BE8-9511-62A42B702774","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b83928ae04df63986cfafd971922cc9dfe9d44f6","datavalue":{"value":"https://arxiv.org/abs/1208.2858","type":"string"},"datatype":"url"},"type":"statement","id":"Q372628$8E56F7DA-9266-42AB-8C85-3E6AF0404724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"3535d8731ce0c6401a3881c959e6ca406dbd38ec","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1376053777","type":"string"},"datatype":"url"},"type":"statement","id":"Q372628$EE2555DA-23D6-473D-AF4F-ECCAEB9FC5F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6387209db8b4212ff43f697df61cdb55c96a1881","datavalue":{"value":"Following the well-known works of Sela, Kharlampovich and Myasnikov, all non-Abelian free groups are elementarily equivalent and further Sela proved that, \\(T_{fg}\\), the elementary theory of non-Abelian free groups is stable. On the other hand, by a result of Poizat, \\(T_{fg}\\) is connected, i.e. it has a model which admits no proper definable subgroup of finite index. By the stablity, connectedness is equivalent to say that \\(T_{fg}\\) admits a unique generic type over any set of parameters, so let \\(p_0\\) be the generic type over the empty set. By a result of Pilly, a subset of non-Abelian free group is a maximal independent set of realizations for \\(p_0\\), if and only if it is a basis, so as a consequence, all such subsets have the same cardinal. Now, it is natural to ask that, is there a model of \\(T_{fg}\\) in which one can find two maximal independent sets of realizations for \\(p_0\\) with different cardinalities. The authors use hyperbolic towers to answer this and some other similar questions in the affirmative and also they prove that homogeneity is not preserved under free product, answering a question of Jaligot.","type":"string"},"datatype":"string"},"type":"statement","id":"Q372628$F4061553-6661-4532-9E12-CE7C3BFCF9F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372628$8619645A-A255-4AF5-A3D6-37B720F8C924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d746b8d92c753ec921d8d5d21d7a353ee19cc6b6","datavalue":{"value":"20F67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372628$F28AFC4E-D4AC-41FC-A5F8-251B429FFC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372628$D10AE60C-E5C7-4199-BA51-6735FD11FA61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ed62fc37c7271d0efa6b2118455a3233808a942","datavalue":{"value":"6214292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372628$FFD3E6D1-8B12-4FD5-BD3C-BA478DCDB623","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q372628$73B09826-C978-4D8F-BDD3-E02F6435A654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0337e895d69817c9674f78ea1952308f6165dbf","datavalue":{"value":"hyperbolic towers","type":"string"},"datatype":"string"},"type":"statement","id":"Q372628$AAA195D5-4DC4-4710-B01C-9E6ADE31D49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6a4081fcfa40efd496d141e6ea52c2d820b0f3f","datavalue":{"value":"stable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q372628$F357ADC1-F8E6-4B18-9BE2-A8B50640379E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18b44a75d362762e006a2e3a7c87dfc6f06915d","datavalue":{"value":"generic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q372628$B705A099-D285-47B6-9B11-117BC0DCB240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f815a7e0db6b1fa658ccc255f5d978f88e73ddff","datavalue":{"value":"homogeneity","type":"string"},"datatype":"string"},"type":"statement","id":"Q372628$8275C756-3988-4932-9C80-2B74CAED34B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205b8c25bae95cb008cac62096ee72778b2ba69c","datavalue":{"value":"elementary theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q372628$DBE21072-7DFC-4FD0-A256-FB8DC3821D24","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":"Q372628$A3CF35BB-ED31-4A6D-899F-86A8FF5C1CEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cb468fca476cc0557ae1ced16f0808905168c09","datavalue":{"value":"W3103562175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372628$0EBDF188-7D74-4139-9EE4-890E3A131799","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$17E90EA7-382C-41C8-9C16-4C09D3D27D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd73006fe447a3e8ed11da36a62231a11e69ff1","datavalue":{"value":{"entity-type":"item","numeric-id":1069178,"id":"Q1069178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$112C6D74-10DE-4CDF-A420-669E24960D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7553db1d4a5130bfdeb6271d3fb5c03ac03df8e3","datavalue":{"value":{"entity-type":"item","numeric-id":5388764,"id":"Q5388764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$968D921E-D91B-4062-BECA-EE84C539345B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d01d9fba4705e55ef180df388e1206be297f016","datavalue":{"value":{"entity-type":"item","numeric-id":5404644,"id":"Q5404644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$A598EC7F-0D18-4734-9124-CB2CC19E0231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4c46e5747217bad98006ace6eaed3a836481d8","datavalue":{"value":{"entity-type":"item","numeric-id":1759768,"id":"Q1759768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$5A647A69-1C72-4A2A-9FFB-1602DADB9BA3","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":"Q372628$C2BFDED8-4C63-40D8-91D3-9517FEBF9F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c02be3897b4bc6fecbd33337a9626cc5728be33","datavalue":{"value":{"entity-type":"item","numeric-id":3100323,"id":"Q3100323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$EE48CF90-A2F9-4F6D-BE28-C49775D7C27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69481f319dba70910fcf0a24dd5ef502cfb439f","datavalue":{"value":{"entity-type":"item","numeric-id":3642679,"id":"Q3642679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$C8EF10B0-D779-4C61-AEC7-64A4A0C9DF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a967c8ca4d6ed9daa0f051aea65f8882dd3836","datavalue":{"value":{"entity-type":"item","numeric-id":1860718,"id":"Q1860718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$E7113B78-5B56-4A56-BB43-B8D176249B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a46767f4871cc556210cf3933b2a322ed5ed2e4","datavalue":{"value":{"entity-type":"item","numeric-id":2501184,"id":"Q2501184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$37CF689B-E8A6-47B8-A355-327713FE47AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7801ed540c524add2d64781a6178b292b3f9a56","datavalue":{"value":{"entity-type":"item","numeric-id":5322043,"id":"Q5322043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$4077B61E-CB7D-47C0-BA9E-BC0E7A5D2C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205f146202a3db70939e8e47b0d4a4a6e200cc19","datavalue":{"value":{"entity-type":"item","numeric-id":1955945,"id":"Q1955945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$E6EC1635-EEAA-459F-9469-B27D2BFB8EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376df3f9b072633ed90667970c04b9642439a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$6C922747-31C3-41C6-B1E0-ED2886FBCF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7282cdafd370a35ae9bc3497ace7cd25135346c8","datavalue":{"value":{"entity-type":"item","numeric-id":3083136,"id":"Q3083136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372628$BC3A47EC-7C69-4130-A708-AAF59AEAA3C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eef814cfd1d98aeb5d64ef523150c5f1b917973","datavalue":{"value":{"entity-type":"item","numeric-id":542449,"id":"Q542449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3852d01cdb33929acfd9b85d9c327d690545c93","datavalue":{"value":{"amount":"+0.8109553456306458","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":"Q372628$DD205409-D038-429E-9753-A17E4C0F3087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af802d67ac2faf65087f78e070f3dd083d372920","datavalue":{"value":{"entity-type":"item","numeric-id":3083136,"id":"Q3083136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd54943f3b7371fa2fa25ddf98742c2ee4582d16","datavalue":{"value":{"amount":"+0.8107258081436157","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":"Q372628$675CEDDF-A759-482E-8E35-B77756E09E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f17c8698d672ac4f53106adf14eddb544315146e","datavalue":{"value":{"entity-type":"item","numeric-id":3642679,"id":"Q3642679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6e7f8c30bb47010ebb892639f6a3a16bc56147","datavalue":{"value":{"amount":"+0.7988234758377075","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":"Q372628$2704BA14-2E31-488B-BAA3-C7C1C1329811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773375a469b67e5196d82d09b2d3a4c13513af32","datavalue":{"value":{"entity-type":"item","numeric-id":2501184,"id":"Q2501184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf7a24073b57500a854d566a1806c9816739ab5","datavalue":{"value":{"amount":"+0.7954655289649963","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":"Q372628$172FCFE7-CBF7-45F7-8ED5-DF1A6DDCCDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee6a9c12778f4cd951ba44772a96776cefb5990","datavalue":{"value":{"entity-type":"item","numeric-id":4915215,"id":"Q4915215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530f33d2b2df3bce7bd255cbf6bca76e09669997","datavalue":{"value":{"amount":"+0.7930170297622681","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":"Q372628$B5CC210A-9154-4F64-80B6-5D7AECD53C99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyperbolic towers and independent generic sets in the theory of free groups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyperbolic_towers_and_independent_generic_sets_in_the_theory_of_free_groups."}}}}}