A co-analytic Cohen-indestructible maximal cofinitary group

DOI10.1017/JSL.2017.5MaRDI QIDQ4977223zbMATH OpenOpenAlexFDO

Authors David Schrittesser, Asger Törnquist, Vera Fischer

Publication date 3 August 2017

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

co-analyticCohen forcingconsistency and independence resultsconstructible setsdescriptive set theorymaximal cofinitary groups

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) General theory for infinite permutation groups (20B07) Subgroups of symmetric groups (20B35)

Abstract: Assuming that every set is constructible, we find a $P{i}_1^1$ maximal cofinitary group of permutations of $mathbbN$ which is indestructible by Cohen forcing. Thus we show that the existence of such groups is consistent with arbitrarily large continuum. Our method also gives a new proof, inspired by the forcing method, of Kastermans' result that there exists a $P{i}_1^1$ maximal cofinitary group in $L$.

Recommendations

• Maximal cofinitary groups revisited
• Maximal cofinitary groups
• Adjoining cofinitary permutations
• The complexity of maximal cofinitary groups
• Constructing a maximal cofinitary group

Cites work

• A co-analytic maximal set of orthogonal measures
• Analytic and coanalytic families of almost disjoint functions
• Cameron's cofinitary group conjecture
• Cardinal invariants related to permutation groups
• Cofinitary groups, almost disjoint and dominating families
• Cofinitary Permutation Groups
• Combinatorial group theory.
• Constructing a maximal cofinitary group
• Definable sets of generators in maximal cofinitary groups
• Embeddings of infinite permutation groups in sharp, highly transitive, and homogeneous groups
• Groups of permutations with few fixed points
• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• 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 1329669 (Why is no real title available?)
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• Infinite combinatorics and definability
• Isomorphism Types of Maximal Cofinitary Groups
• Maximal cofinitary groups
• Maximal cofinitary groups revisited
• Permutation Groups and Covering Properties
• Set Theory
• Template iterations and maximal cofinitary groups
• The complexity of maximal cofinitary groups
• The fine structure of the constructible hierarchy
• Uniformity of the meager ideal and maximal cofinitary groups
• Weak systems of Gandy, Jensen and Devlin

Cited in

(13)

• Maximal cofinitary groups
• Coanalytic ultrafilter bases
• Maximal cofinitary groups revisited
• Isomorphism Types of Maximal Cofinitary Groups
• Definable towers
• TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS
• On the scope of the Effros theorem
• A Sacks indestructible co-analytic maximal eventually different family
• CONSTRUCTING MAXIMAL COFINITARY GROUPS
• Katětov order on \(\mathsf{MAD}\) families
• Good projective witnesses
• Tight cofinitary groups
• Universally Sacks-indestructible combinatorial families of reals

This page was built for publication: A co-analytic Cohen-indestructible maximal cofinitary group

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