CONSTRUCTING MAXIMAL COFINITARY GROUPS

IF 0.8 2区数学 Q2 MATHEMATICS

Nagoya Mathematical Journal Pub Date : 2021-05-24 DOI:10.1017/nmj.2022.46

David Schrittesser

引用次数: 2

Abstract

Abstract Improving and clarifying a construction of Horowitz and Shelah, we show how to construct (in $\mathsf {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.

查看原文本刊更多论文

构造极大共群

摘要改进和澄清了Horowitz和Shelah的一个构造，我们展示了如何构造（在$\mathsf｛ZF｝$中，即不使用选择公理）最大共初始群。在我们构造的群中，有一个是可以用只有几个自然数量词的二阶算术公式定义的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Nagoya Mathematical Journal 数学-数学

CiteScore

1.60

自引率

0.00%

发文量

审稿时长

6 months

期刊介绍： The Nagoya Mathematical Journal is published quarterly. Since its formation in 1950 by a group led by Tadashi Nakayama, the journal has endeavoured to publish original research papers of the highest quality and of general interest, covering a broad range of pure mathematics. The journal is owned by Foundation Nagoya Mathematical Journal, which uses the proceeds from the journal to support mathematics worldwide.