THE AUTOMORPHISM GROUP OF THE FRAISSE LIMIT OF FINITE HEYTING ALGEBRAS

被引：0

作者：

Yamamoto, Kentaro ^{[1
]}

机构：

[1] Czech Acad Sci, Inst Comp Sci, Arenskou Vezi 271-2, Prague 18200, Czech Republic

来源：

JOURNAL OF SYMBOLIC LOGIC | 2023年 / 88卷 / 03期

关键词：

small index property; automorphism groups; Fraisse limits; Heyting algebras; Polish groups; SIMPLICITY; ORDER;

D O I：

10.1017/jsl.2022.43

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Roelcke non-precompactness, simplicity, and non-amenability of the automorphism group of the Fraisse limit of finite Heyting algebras are proved among others.

引用

页码：1310 / 1320

页数：11

共 50 条

[1] The automorphism group of finite Godel algebras
Aguzzoli, Stefano
Gerla, Brunella
Marra, Vincenzo
[J]. 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010, 2010, : 21 - 26
[2] On the automorphism group of rational group algebras of finite groups
Dokuchaev, M.
Zalesski, A.
[J]. GROUPS, RINGS, GROUP RINGS, AND HOPF ALGEBRAS, 2017, 688 : 33 - 51
[3] The small index property of the Fra?ss? limit of finite Heyting algebras
Yamamoto, Kentaro
[J]. JOURNAL OF ALGEBRA, 2023, 628 : 382 - 391
[4] Locally finite varieties of Heyting algebras
Guram Bezhanishvili
Revaz Grigolia
[J]. algebra universalis, 2005, 54 : 465 - 473
[5] Locally finite varieties of Heyting algebras
Bezhanishvili, G
Grigolia, R
[J]. ALGEBRA UNIVERSALIS, 2005, 54 (04) : 465 - 473
[6] DECIDABILITY PROBLEM FOR FINITE HEYTING ALGEBRAS
IDZIAK, K
IDZIAK, PM
[J]. JOURNAL OF SYMBOLIC LOGIC, 1988, 53 (03) : 729 - 735
[7] Finitely Presented MV-algebras with Finite Automorphism Group
Aguzzoli, Stefano
Marra, Vincenzo
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (04) : 811 - 822
[8] Limit C*-algebras associated with an automorphism
Solel, B
[J]. MATHEMATICA SCANDINAVICA, 2004, 95 (01) : 101 - 123
[9] Automorphism group on the Toeplitz algebras
Yan, CQ
Sun, SH
[J]. CHINESE SCIENCE BULLETIN, 1996, 41 (08): : 617 - 620
[10] Automorphism group on the Toeplitz algebras
严从荃
孙顺华
[J]. Science Bulletin, 1996, (08) : 617 - 620

← 1 2 3 4 5 →