Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2506.14185 |
| 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)
by: Bannister, Nathaniel
Published: (2025)
Locales as spaces in outer models
by: Bannister, Nathaniel
Published: (2024)
by: Bannister, Nathaniel
Published: (2024)
Additivity of derived limits in the Cohen model
by: Bannister, Nathaniel
Published: (2023)
by: Bannister, Nathaniel
Published: (2023)
Condensed Sets and the Solovay Model
by: Bannister, Nathaniel, et al.
Published: (2026)
by: Bannister, Nathaniel, et al.
Published: (2026)
Discernment is all you need
by: Fuenmayor, David
Published: (2026)
by: Fuenmayor, David
Published: (2026)
Compression is all you need: Modeling Mathematics
by: Aksenov, Vitaly, et al.
Published: (2026)
by: Aksenov, Vitaly, et al.
Published: (2026)
The Galvin property at $κ^{++}$ and not at $κ^+$
by: Gitik, Moti, et al.
Published: (2025)
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)
by: Cerna, David M., et al.
Published: (2024)
Strong Measure Zero Sets on $2^κ$ for $κ$ Inaccessible
by: Chapman, Nick Steven, et al.
Published: (2019)
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)
by: Kurahashi, Taishi
Published: (2024)
Cardinals of the $P_κ(λ)$-Filter Games
by: Benhamou, Tom, et al.
Published: (2025)
by: Benhamou, Tom, et al.
Published: (2025)
Nobody needs equations
by: Sant'Anna, Adonai Schlup
Published: (2024)
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)
by: Benedikt, Michael, et al.
Published: (2026)
Wadge degrees of Δ20$\mathbf{\Delta }^0_2$ omega‐powers
by: Olivier Finkel, et al.
Published: (2024)
by: Olivier Finkel, et al.
Published: (2024)
Visser frames for sublogics of $\mathbf{IL}$
by: Okawa, Yuya, et al.
Published: (2022)
by: Okawa, Yuya, et al.
Published: (2022)
A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
by: Cantone, Domenico, et al.
Published: (2017)
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)
by: Cantone, Domenico, et al.
Published: (2018)
Local and global $d$-rigidity are not definable in the first order logic of graphs
by: Bernstein, Daniel Irving, et al.
Published: (2025)
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)
by: Gilson, Frank
Published: (2025)
Full normalization for $κ^+$-supercompactness
by: Schlutzenberg, Farmer
Published: (2025)
by: Schlutzenberg, Farmer
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)
by: Cantone, Domenico, et al.
Published: (2018)
Substitution Without Copy and Paste
by: Altenkirch, Thorsten, et al.
Published: (2025)
by: Altenkirch, Thorsten, et al.
Published: (2025)
$κ$-Borel sets, $κ$-Baire spaces, and filtrations between topologies
by: Solecki, Sławomir
Published: (2024)
by: Solecki, Sławomir
Published: (2024)
The initial segment condition for $κ^+$-supercompactness
by: Schlutzenberg, Farmer
Published: (2023)
by: Schlutzenberg, Farmer
Published: (2023)
Exponentiable linear orders need not be transitive
by: Mittal, Mihir, et al.
Published: (2024)
by: Mittal, Mihir, et al.
Published: (2024)
Database Research needs an Abstract Relational Query Language
by: Gatterbauer, Wolfgang, et al.
Published: (2025)
by: Gatterbauer, Wolfgang, et al.
Published: (2025)
Symbolic Computation for All the Fun
by: Brown, Chad E., et al.
Published: (2024)
by: Brown, Chad E., et al.
Published: (2024)
Generalized cardinal invariants for an inaccessible $κ$ with compactness at $κ^{++}$
by: Honzik, Radek, et al.
Published: (2023)
by: Honzik, Radek, et al.
Published: (2023)
The Axiom of Choice in the $κ$-Mantle
by: Lietz, Andreas
Published: (2024)
by: Lietz, Andreas
Published: (2024)
Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
by: Watson, Connor
Published: (2024)
by: Watson, Connor
Published: (2024)
LFPL: Revisited and Mechanized
by: Glover, Nathaniel, et al.
Published: (2026)
by: Glover, Nathaniel, et al.
Published: (2026)
A positional $\mathbfΠ^0_3$-complete objective
by: Casares, Antonio, et al.
Published: (2024)
by: Casares, Antonio, et al.
Published: (2024)
Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
by: Hoffelner, Stefan
Published: (2026)
by: Hoffelner, Stefan
Published: (2026)
A Categorical Framework for Modeling with Stock and Flow Diagrams
by: Baez, John C., et al.
Published: (2022)
by: Baez, John C., et al.
Published: (2022)
The $κ$-Strongly Proper Forcing Axiom
by: Asperó, David, et al.
Published: (2019)
by: Asperó, David, et al.
Published: (2019)
Universally Baire sets in $2^κ$
by: Ikegami, Daisuke, et al.
Published: (2024)
by: Ikegami, Daisuke, et al.
Published: (2024)