Filtration games and potentially projective modules

DOI10.4064/FM237-10-2022MaRDI QIDQ6044553zbMATH OpenOpenAlexFDO

Authors Sean Cox

Publication date 19 May 2023

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

abstract elementary classprojective modulesforcing axiomsdeconstructible class

Mathematics Subject Classification ID

Consistency and independence results (03E35) Free, projective, and flat modules and ideals in associative algebras (16D40) Applications of set theory (03E75) Generic absoluteness and forcing axioms (03E57)

Abstract: The notion of a extbf{$$-filtered} object, where $mathcalC$ is some (typically small) collection of objects in a Grothendieck category, has become ubiquitous since the solution of the Flat Cover Conjecture around the year 2000. We introduce the extbf{$$-Filtration Game of length $$} on a module, paying particular attention to the case where $mathcalC$ is the collection of all countably presented, projective modules. We prove that Martin's Maximum implies the determinacy of many $mathcalC$-Filtration Games of length $omeg{a}_1$, which in turn imply the determinacy of certain Ehrenfeucht-Fra"iss'{e} games of length $omeg{a}_1$; this allows a significant strengthening of a theorem of Mekler-Shelah-Vaananen cite{MR1191613}. Also, Martin's Maximum implies that if $R$ is a countable hereditary ring, the class of extbf{$$-closed potentially projective modules} -- i.e., those modules that are projective in some $sigma$-closed forcing extension of the universe -- is closed under $<alep{h}_2$-directed limits. We also give an example of a (ZFC-definable) class of abelian groups that, under the ordinary subgroup relation, constitutes an Abstract Elementary Class (AEC) with L"owenheim-Skolem number $alep{h}_1$ in some models in set theory, but fails to be an AEC in other models of set theory.

Cites work

• scientific article; zbMATH DE number 4041886 (Why is no real title available?)
• scientific article; zbMATH DE number 1236965 (Why is no real title available?)
• scientific article; zbMATH DE number 1762597 (Why is no real title available?)
• ALL MODULES HAVE FLAT COVERS
• Approximations and endomorphism algebras of modules. Volume 1: Approximations. Volume 2: Predictions.
• Deconstructibility and the Hill lemma in Grothendieck categories
• FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION
• Generalized Quantifiers and Compact Logic
• Homological Algebra and Set Theory
• How To Make Ext Vanish
• INTERNAL APPROACHABILITY AND REFLECTION
• Ideals and generic elementary embeddings
• L ∞λ -Equivalence, Isomorphism and Potential Isomorphism
• On Shelah's compactness of cardinals
• On exact categories and applications to triangulated adjoints and model structures
• Projective modules
• Set Theory
• Stationary logic
• Strong analogues of Martin's axiom Imply Axiom R
• Strong downward Löwenheim-Skolem theorems for stationary logics. I
• Test sets for factorization properties of modules
• The Ehrenfeucht-Fraisse-Game of Length ω 1
• The strange logic of random graphs
• When Does Almost Free Imply Free? (For Groups, Transversals, etc.)

Cited in

(2)

• Long games and \(\sigma \)-projective sets
• Fibrantly generated weak factorization systems

This page was built for publication: Filtration games and potentially projective modules

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