{"entities":{"Q6038511":{"pageid":13120257,"ns":120,"title":"Item:Q6038511","lastrevid":58635480,"modified":"2026-04-06T02:52:47Z","type":"item","id":"Q6038511","labels":{"en":{"language":"en","value":"The small index property of the Fra\u00efss\u00e9 limit of finite Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7681080"}},"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":"Q6038511$4C9B6D12-3EF5-4BFE-80A0-51B82D63C247","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8ab409088736849bf8b5d080624d8709df7582c","datavalue":{"value":{"text":"The small index property of the Fra\u00efss\u00e9 limit of finite Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6038511$CFD6524D-7885-4B7B-882D-BCA1467E22C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"897fa3820e801c43e2bf535eb4ca267b0aedd390","datavalue":{"value":"1516.20008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038511$83160F0E-9C9C-43D0-93CA-7CAF2372B658","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ef70b883b5b83c0cf11c857016def90b9092bbd","datavalue":{"value":{"entity-type":"item","numeric-id":2021572,"id":"Q2021572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$7E2E1987-C349-4769-A784-02492FBDEA21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$C6396D3D-B438-4902-AFB4-B504B49CCAEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ecd7bc4009759ac541a6ef3b502800194e178d2","datavalue":{"value":{"time":"+2023-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6038511$9DF2B2D5-7D4B-47D8-8975-416B6EA4B9CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0936941b39d3b952874fb2bf921558a55b06355c","datavalue":{"value":"https://arxiv.org/abs/2204.07990","type":"string"},"datatype":"url"},"type":"statement","id":"Q6038511$601A0AB0-6E4C-43C0-AC10-1D25A86D01FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7efa6fb7e938a74411f9a15db007e5d9d48e4ad","datavalue":{"value":"In the paper under review, the authors shows that the automorphism group of the Fra\u00efss\u00e9 limit of finite Heyting algebras has the strong small index property (Theorem 3.6). As a consequence, he deduces (Corollary 3.7) that the theory of the limit has weak elimination of imaginaries (note that it does not eliminate finite imaginaries).  A Heyting algebra is a bounded (distributive) lattice \\(H\\) such that for all \\(a\\) and \\(b\\) in \\(H\\) there is a largest element \\(x\\), denotes as \\(a\\rightarrow b\\), with \\(a\\wedge x\\le b\\) (the element \\(a\\rightarrow b\\) can be seen as relative pseudo-complement of \\(a\\) with respect to \\(b\\), but it need not be an actual complement, for it need not be the case that \\(a\\lor (a\\rightarrow 0)= 1\\)). The class of finite Heyting algebras is a Fra\u00efss\u00e9 class, yet the theory of the limit is not \\(\\aleph_0\\)-categorical. Given the automorphism group \\(G=\\mathrm{Aut}(\\mathcal M)\\) of a countable structure and a finite subset \\(A\\) of \\(M\\), the pointwise stabilizer \\(H_A\\) has finite index in \\(G\\). The automorphism group has the strong small index property if every subgroup \\(H\\) of index less than \\(2^{\\aleph_0}\\) lies between \\(H_A\\) and the setwise stabilizer \\(H_{(A)}\\) for some finite set \\(A\\). The strong small index property was used by \\textit{P. J. Cameron} [Discrete Math. 291, No. 1--3, 41--43 (2005; Zbl 1058.05056)] to show that the automorphism group of the random graph is not isomorphic to the automorphism group of any other countable homogeneous graph. Recently, \\textit{G. Paolini} and \\textit{S. Shelah} [``The strong small index property for free homogeneous structures'', Preprint, \\url{arXiv:1703.10517}] generalized the work of \\textit{M. Rubin} [Proc. Lond. Math. Soc. (3) 69, No. 2, 225--249 (1994; Zbl 0799.03037)] to show that the automorphism groups of two countable \\(\\aleph_0\\)-categorical structures with no algebraicity and the strong small index property are isomorphic as abstract groups if and only if the structures are bidefinable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6038511$9ADA01D7-A012-4A3B-B880-17E62B627107","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4fd003097d64f70996b0bf461f8ed59d9442a83b","datavalue":{"value":{"entity-type":"item","numeric-id":1661683,"id":"Q1661683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$FD418345-2FE6-47DC-8B5A-873CEE9803E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a29ee21041c2436053419ca5df6f9b2aa81e0e5","datavalue":{"value":"20B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038511$DD1E35A9-5CDC-4F14-9C34-08CD191448B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038511$FBDBE53F-41C1-4144-8B7F-63F7E277D3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038511$69CBA483-82E7-480E-98A4-C686AEA935DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038511$73D0873E-E361-4965-9C41-948DAEACF5CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cde46009f414f97a2fafebb92d109c1fe865180e","datavalue":{"value":"7681080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038511$A2BC3699-A9AC-4C01-84A4-3D084CFE12D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f43ce36d90e65b3bcb7c8b477496f1d825fe2f98","datavalue":{"value":"small index property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6038511$C6A951A8-06A2-4B2C-8DD8-984D28102D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8db3395418ef97bd5a003e7dc8a17940fb14ddd","datavalue":{"value":"automorphism groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6038511$6B40D4D2-2C1D-490D-966B-CF04418FE818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85616234a36e614588bb613e71d15176d6c1d2a3","datavalue":{"value":"Fra\u00efss\u00e9 limits","type":"string"},"datatype":"string"},"type":"statement","id":"Q6038511$04BDF20D-9768-41DD-BB81-FF45067A8DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6038511$DD9E1D95-F45A-4F30-8FB7-02C0148A7384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9adaa05afb5cc2659e7e563c846a73186743f910","datavalue":{"value":"Polish groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6038511$E09E0A20-5971-412B-90E6-E2A1C2557ADD","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":"Q6038511$2CC3C4E4-52EE-4086-B296-4E780D1E194F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05940340df4e0d096a30a6bcd0a9e9a7a307d6f1","datavalue":{"value":"W4361282807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038511$C2BD9382-3849-4B3F-9370-B7158F425746","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98187a3424c54817911f17d8b7bc69a90ff338b0","datavalue":{"value":{"entity-type":"item","numeric-id":831276,"id":"Q831276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$B6C3E26B-339E-41FD-AE4C-EC1465AE55ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c9d9aa2b390cd2facb1259a3509c1f1ef09b36","datavalue":{"value":{"entity-type":"item","numeric-id":4459592,"id":"Q4459592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$01288780-8806-47E4-BCB9-05F7411F1B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db84f34ec74672084a6cbe4ecfcf897db31b8725","datavalue":{"value":{"entity-type":"item","numeric-id":4111635,"id":"Q4111635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$57FBE87E-B100-4F0D-BB94-F54AF79D8175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5fe67dfcf14d281fce04c347e8f6b6777292f6","datavalue":{"value":{"entity-type":"item","numeric-id":3746004,"id":"Q3746004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$1109CEB1-38B1-427A-88A3-E7D044B20AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3092ad030bb68f023239ae9b9865956ce5a2f4b2","datavalue":{"value":{"entity-type":"item","numeric-id":1866817,"id":"Q1866817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$E585613D-A02F-46BB-A6A9-4908C2C56589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$524E9345-7DEB-41E0-A90E-4FD4CA5C2F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a69fb52fdc7463739dac70ef4e343dc684e14713","datavalue":{"value":{"entity-type":"item","numeric-id":5819562,"id":"Q5819562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$28CA6E7B-2EF7-4F75-9CAC-FB42B943D421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500a6656b88e297622a3c0928914951b92b5ba27","datavalue":{"value":{"entity-type":"item","numeric-id":1372155,"id":"Q1372155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$9C782532-4677-4FD6-B446-19E8E32DE840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eacab0ad3799f8c88369a47fe52e6e5aa68a0e03","datavalue":{"value":{"entity-type":"item","numeric-id":3378464,"id":"Q3378464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$6DD250DA-30DA-42FD-86E1-E78CCE907B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17763a898dc957bec5af152a939bc9a715eab224","datavalue":{"value":{"entity-type":"item","numeric-id":1260029,"id":"Q1260029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$924181FD-F14C-46B8-A29F-C1E37CE09E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c2841499cf4a45f7d61dda53ecf117d396883e","datavalue":{"value":{"entity-type":"item","numeric-id":5107226,"id":"Q5107226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$C6FB5DBC-662C-42BB-A5BC-B064EF34240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3db1569a131d00823901eca5ddb2dc36f74e488","datavalue":{"value":{"entity-type":"item","numeric-id":1117027,"id":"Q1117027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038511$6A976E8F-B74E-40A9-8E7D-EC758FDF7192","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b66e2e9c2bb4c8e4b2d684171ca18a19eef7a55","datavalue":{"value":"10.1016/J.JALGEBRA.2023.03.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038511$0ADE93FA-D89F-42A5-8A28-EACFE67A60CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8fde03c9ffa3036c4f852434189dc85077e70a4","datavalue":{"value":{"entity-type":"item","numeric-id":4732451,"id":"Q4732451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ce70b4055f558a6d586010bafd28301a98b01c","datavalue":{"value":{"amount":"+0.7855303287506104","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":"Q6038511$51572C79-2FC7-48ED-AA4D-B8B25CB1DDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fef3c86910f01f1af79c4f80419b382fa8b500a","datavalue":{"value":{"entity-type":"item","numeric-id":1587008,"id":"Q1587008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87da41472940e7a21b4e835ea5cd1ea48b09d9d9","datavalue":{"value":{"amount":"+0.7711778283119202","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":"Q6038511$1F9CA23A-B7AC-4182-987E-1B7FFD017F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc192d36797ace878898a40de9082a2209bad5f8","datavalue":{"value":{"entity-type":"item","numeric-id":4294034,"id":"Q4294034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87da41472940e7a21b4e835ea5cd1ea48b09d9d9","datavalue":{"value":{"amount":"+0.7711778283119202","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":"Q6038511$7E29F4E7-376A-4A0A-8BB3-24C526684401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4446113f8e54f2ad25bdb6a9d4d80b1d39ab0097","datavalue":{"value":{"entity-type":"item","numeric-id":3128545,"id":"Q3128545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d3c81ec77f2123f6bcc6b63bbf4c827c1b017b6","datavalue":{"value":{"amount":"+0.7492774724960327","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":"Q6038511$CEF7F7FA-BE76-484E-9615-0D0C053E93A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad2b87d53139e91da1e8aa5927e46cb5273e25a","datavalue":{"value":{"entity-type":"item","numeric-id":3348958,"id":"Q3348958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d3c81ec77f2123f6bcc6b63bbf4c827c1b017b6","datavalue":{"value":{"amount":"+0.7492774724960327","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":"Q6038511$ADD13C76-3CA4-45F5-AF16-8D2DA4D7B819","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6038511","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6038511"}}}}}