Cover Image

Additivity of derived limits in the Cohen model

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Bannister, Nathaniel
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Locales as spaces in outer models
by: Bannister, Nathaniel
Published: (2024)

Nonvanishing Higher Derived Limits without $w\diamondsuit_{ω_1}$
by: Bannister, Nathaniel
Published: (2025)

All you need is $\mathbf{A}_κ$
by: Bannister, Nathaniel
Published: (2025)

Condensed Sets and the Solovay Model
by: Bannister, Nathaniel, et al.
Published: (2026)

On Cohen and Prikry Forcing Notions
by: Benhamou, Tom, et al.
Published: (2022)

No covering with nowhere dense \textsf{P}-sets in the Cohen model
by: Dow, Alan, et al.
Published: (2025)

Nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$ in Cohen models
by: Brian, Will, et al.
Published: (2026)

Chang models over derived models with supercompact measures
by: Gappo, Takehiko, et al.
Published: (2023)

Cohen Generic Structures with Functions
by: Ackerman, Nathanael, et al.
Published: (2023)

Being polite is not enough (and other limits of theory combination)
by: Toledo, Guilherme V., et al.
Published: (2025)

Local and global $d$-rigidity are not definable in the first order logic of graphs
by: Bernstein, Daniel Irving, et al.
Published: (2025)

Semi-Substructural Logics with Additives
by: Veltri, Niccolò, et al.
Published: (2024)

Adding $\aleph_ω$ many Cohen reals
by: Marun, Pedro, et al.
Published: (2025)

On groups definable in geometric fields with generic derivations
by: Pillay, Anand, et al.
Published: (2025)

Generic derivations, differential largeness, and NTP$_2$
by: Kaplan, Elliot, et al.
Published: (2025)

Notes on the coexistence of limit notions
by: Yamazoe, Takashi
Published: (2024)

Type Isomorphisms for Multiplicative-Additive Linear Logic
by: Di Guardia, Rémi, et al.
Published: (2024)

Found in Translation: at the limits of the Hudetz program
by: Meadows, Toby
Published: (2025)

Substitution Without Copy and Paste
by: Altenkirch, Thorsten, et al.
Published: (2025)

An observer-based approach to the sorites paradox and the logic derived from that
by: Tzouvaras, Athanassios
Published: (2026)

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
by: Shamkanov, Daniyar
Published: (2025)

A logical limit law for the sequential model of preferential attachment graphs
by: Özdemir, Alperen
Published: (2024)

Completions of Kleene's second model
by: Terwijn, Sebastiaan A.
Published: (2023)

Projective Fraïssé limits and generalized Ważewski dendrites
by: Codenotti, Alessandro, et al.
Published: (2022)

On structural proof theory of the modal logic K+ extended with infinitary derivations
by: Shamkanov, Daniyar
Published: (2023)

Additive systems for $\mathbb{Z}$ are undecidable
by: Zabolotskii, Andrei
Published: (2025)

Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

On some Fraisse limits with free amalgamation
by: Bossut, Yvon
Published: (2024)

On the computability of cofinal Fraïssé limits
by: Ackerman, Nathanael, et al.
Published: (2026)

Undecidability of Polynomial Inequalities in Subset Densities and Additive Energies
by: Li, Yaqiao
Published: (2025)

Modeling FO-limits for monadically stable sequences
by: Braunfeld, S., et al.
Published: (2025)

The equivariant model structure on cartesian cubical sets
by: Awodey, Steve, et al.
Published: (2024)

Automorphisms and derivations on algebras endowed with formal infinite sums
by: Bagayoko, Vincent, et al.
Published: (2024)

The uniqueness of the core model
by: Siskind, Benjamin
Published: (2025)

Cohen-like first order structures
by: Kostana, Ziemowit
Published: (2020)

On the horizontal compression of dag-derivations in minimal purely implicational logic
by: Haeusler, Edward Hermann, et al.
Published: (2022)

Comparing Session Type Systems derived from Linear Logic
by: Heuvel, Bas van den, et al.
Published: (2024)

LFPL: Revisited and Mechanized
by: Glover, Nathaniel, et al.
Published: (2026)

Extreme types and extremal models
by: Bagheri, Seyed-Mohammad
Published: (2024)