Cover Image

All you need is $\mathbf{A}_κ$

Fuente: arXiv

Saved in:

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

Similar Items

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

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

Additivity of derived limits in the Cohen model
by: Bannister, Nathaniel
Published: (2023)

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

Discernment is all you need
by: Fuenmayor, David
Published: (2026)

Compression is all you need: Modeling Mathematics
by: Aksenov, Vitaly, et al.
Published: (2026)

The Galvin property at $κ^{++}$ and not at $κ^+$
by: Gitik, Moti, et al.
Published: (2025)

One is all you need: Second-order Unification without First-order Variables
by: Cerna, David M., et al.
Published: (2024)

Strong Measure Zero Sets on $2^κ$ for $κ$ Inaccessible
by: Chapman, Nick Steven, et al.
Published: (2019)

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
by: Kurahashi, Taishi
Published: (2024)

Cardinals of the $P_κ(λ)$-Filter Games
by: Benhamou, Tom, et al.
Published: (2025)

Nobody needs equations
by: Sant'Anna, Adonai Schlup
Published: (2024)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
by: Benedikt, Michael, et al.
Published: (2026)

Wadge degrees of Δ20$\mathbf{\Delta }^0_2$ omega‐powers
by: Olivier Finkel, et al.
Published: (2024)

A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
by: Cantone, Domenico, et al.
Published: (2017)

A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
by: Cantone, Domenico, et al.
Published: (2018)

Visser frames for sublogics of $\mathbf{IL}$
by: Okawa, Yuya, et al.
Published: (2022)

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

Symmetric Iterations with Countable and $<κ$-Support: A Framework for Choiceless ZF Extensions
by: Gilson, Frank
Published: (2025)

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
by: Cantone, Domenico, et al.
Published: (2018)

Full normalization for $κ^+$-supercompactness
by: Schlutzenberg, Farmer
Published: (2025)

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

The initial segment condition for $κ^+$-supercompactness
by: Schlutzenberg, Farmer
Published: (2023)

$κ$-Borel sets, $κ$-Baire spaces, and filtrations between topologies
by: Solecki, Sławomir
Published: (2024)

Symbolic Computation for All the Fun
by: Brown, Chad E., et al.
Published: (2024)

Database Research needs an Abstract Relational Query Language
by: Gatterbauer, Wolfgang, et al.
Published: (2025)

Exponentiable linear orders need not be transitive
by: Mittal, Mihir, et al.
Published: (2024)

The Axiom of Choice in the $κ$-Mantle
by: Lietz, Andreas
Published: (2024)

Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
by: Watson, Connor
Published: (2024)

Generalized cardinal invariants for an inaccessible $κ$ with compactness at $κ^{++}$
by: Honzik, Radek, et al.
Published: (2023)

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

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

A modal approach towards substitutions
by: Tu, Yaxin, et al.
Published: (2025)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

A Study on Actions for Atomic Logics
by: Espejo-Boix, Raül
Published: (2024)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

Guarded Successor: A Novel Temporal Logic
by: Asor, Ohad
Published: (2024)