CONSTRUCTING MAXIMAL COFINITARY GROUPS

被引：1
|
作者：
Schrittesser, David [1 ,2 ]
机构：
[1] Univ Toronto, Dept Math, 40 St George St, Toronto, ON M5S 2E4, Canada
[2] Harbin Inst Technol, Inst Adv Study Math, 92 West Da Zhi St, Harbin 150001, Heilongjiang, Peoples R China
来源：
NAGOYA MATHEMATICAL JOURNAL | 2023年
基金：
奥地利科学基金会;
关键词：
maximal cofinitary groups; definability; arithmetic; Borel; Axiom of Choice; PERMUTATION-GROUPS;
D O I：
10.1017/nmj.2022.46
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Improving and clarifying a construction of Horowitz and Shelah, we show how to construct (in ZF , i.e., without using the Axiom of Choice) maximal cofinitary groups. Among the groups we construct, one is definable by a formula in second-order arithmetic with only a few natural number quantifiers.
引用
收藏
页码：622 / 651
页数：30
相关论文
共 50 条
  • [31] DIMENSIONAL GROUPS AND FIELDS
    Wagner, Frank O.
    JOURNAL OF SYMBOLIC LOGIC, 2020, 85 (03) : 918 - 936
  • [32] THE GEOMETRY OF DIAGONAL GROUPS
    Bailey, R. A.
    Cameron, Peter J.
    Praeger, Cheryl E.
    Schneider, Csaba
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2022, 375 (08) : 5259 - 5311
  • [33] ON THE SPREAD OF INFINITE GROUPS
    Cox, Charles Garnet
    PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, 2022, 65 (01) : 214 - 228
  • [34] Generating permutation groups
    Lucchini, A
    Menegazzo, F
    Morigi, M
    COMMUNICATIONS IN ALGEBRA, 2004, 32 (05) : 1729 - 1746
  • [35] A note on permutation groups
    Knoerr, Reinhard
    COMMUNICATIONS IN ALGEBRA, 2007, 35 (02) : 613 - 616
  • [36] Logical generation of groups
    Abdollahi, Alireza
    Shahryari, Mohammad
    COMMUNICATIONS IN ALGEBRA, 2024, 52 (08) : 3457 - 3460
  • [37] The classification of normalizing groups
    Araujo, Joao
    Cameron, Peter J.
    Mitchell, James D.
    Neunhoeffer, Max
    JOURNAL OF ALGEBRA, 2013, 373 : 481 - 490
  • [38] A note on Frobenius groups
    Knapp, Wolfgang
    Schmid, Peter
    JOURNAL OF GROUP THEORY, 2009, 12 (03) : 393 - 400
  • [39] A Class of Imprimitive Groups
    Bartolone, Claudio
    Ciraulo, Francesco
    ALGEBRA COLLOQUIUM, 2010, 17 (04) : 565 - 576
  • [40] The axiom of choice in metric measure spaces and maximal d -separated sets
    Dybowski, Michal
    Gorka, Przemyslaw
    ARCHIVE FOR MATHEMATICAL LOGIC, 2023, 62 (5-6) : 735 - 749
12345