Filtration games and potentially projective modules

DOI10.4064/FM237-10-2022arXiv2010.00184OpenAlexW3090720394MaRDI QIDQ6044553FDOQ6044553

Authors: Sean Cox 

Publication date: 19 May 2023

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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.

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)

Cites Work

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

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)