CONSTRUCTING MAXIMAL COFINITARY GROUPS

DOI10.1017/NMJ.2022.46arXiv2105.11318OpenAlexW3164758144MaRDI QIDQ6047166FDOQ6047166

Authors: David Schrittesser 

Publication date: 7 September 2023

Published in: Nagoya Mathematical Journal (Search for Journal in Brave)

Abstract: Improving and clarifying a construction of Horowitz and Shelah, we show how to construct (in $extsfZF$, that is, 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.

Full work available at URL: https://arxiv.org/abs/2105.11318

zbMATH Keywords

arithmeticdefinabilityBorelAxiom of Choicemaximal cofinitary groups

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Descriptive set theory (03E15) Axiom of choice and related propositions (03E25) General theory for infinite permutation groups (20B07)

Cites Work

• Title not available (Why is that?)
• Happy families
• Cardinal invariants related to permutation groups
• Maximal cofinitary groups revisited
• Descriptive set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Template iterations and maximal cofinitary groups
• Embeddings of infinite permutation groups in sharp, highly transitive, and homogeneous groups
• Title not available (Why is that?)
• Cofinitary Permutation Groups
• Groups of permutations with few fixed points
• Maximal cofinitary groups
• Permutation Groups and Covering Properties
• Cameron's cofinitary group conjecture
• Adjoining cofinitary permutations. II
• Adjoining cofinitary permutations
• Uniformity of the meager ideal and maximal cofinitary groups
• The structure of \(\kappa\)-maximal cofinitary groups
• The complexity of maximal cofinitary groups
• A co-analytic Cohen-indestructible maximal cofinitary group
• Compactness of maximal eventually different families
• Definable sets of generators in maximal cofinitary groups
• Cofinitary groups, almost disjoint and dominating families
• Isomorphism Types of Maximal Cofinitary Groups

Cited In (2)

• A Borel maximal eventually different family
• Maximal cofinitary groups

This page was built for publication: CONSTRUCTING MAXIMAL COFINITARY GROUPS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6047166)