CONSTRUCTING MAXIMAL COFINITARY GROUPS

DOI10.1017/NMJ.2022.46MaRDI QIDQ6047166zbMATH OpenOpenAlexFDO

Authors David Schrittesser

Publication date 7 September 2023

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

Copyright license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International

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)

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.

Cites work

• scientific article; zbMATH DE number 4025668 (Why is no real title available?)
• scientific article; zbMATH DE number 4068856 (Why is no real title available?)
• scientific article; zbMATH DE number 1329667 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• A co-analytic Cohen-indestructible maximal cofinitary group
• Adjoining cofinitary permutations
• Adjoining cofinitary permutations. II
• Cameron's cofinitary group conjecture
• Cardinal invariants related to permutation groups
• Cofinitary Permutation Groups
• Cofinitary groups, almost disjoint and dominating families
• Compactness of maximal eventually different families
• Definable sets of generators in maximal cofinitary groups
• Descriptive set theory
• Embeddings of infinite permutation groups in sharp, highly transitive, and homogeneous groups
• Groups of permutations with few fixed points
• Happy families
• Isomorphism Types of Maximal Cofinitary Groups
• Maximal cofinitary groups
• Maximal cofinitary groups revisited
• Permutation Groups and Covering Properties
• Template iterations and maximal cofinitary groups
• The complexity of maximal cofinitary groups
• The structure of \(\kappa\)-maximal cofinitary groups
• Uniformity of the meager ideal and 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)