:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Carmody, Erin
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2602.08852
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Axiom $\mathcal{A}$ and supercompactness
by: Poveda, Alejandro
Published: (2024)

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

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

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

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
by: Cheng, Yong
Published: (2018)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
by: Hamkins, Joel David, et al.
Published: (2022)

On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)

A rank function for Fra\"ıssé classes and the rank property
by: López-Callejas, Carlos, et al.
Published: (2026)

Definability and Scott rank in separable Metric structures
by: Bejarano, Diego
Published: (2024)

Low rank MSO
by: Bojańczyk, Mikołaj, et al.
Published: (2025)

Torsion-free abelian groups of finite rank and fields of finite transcendence degree
by: Ho, Meng-Che "Turbo", et al.
Published: (2024)

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
by: Higuchi, Joaquim Reizi
Published: (2026)

Sharply 2-transitive groups of finite Morley rank
by: Altinel, Tuna, et al.
Published: (2018)

An analogue of U-rank for atomic classes
by: Baldwin, John T., et al.
Published: (2025)

Primitive pseudo-finite permutation groups of finite SU-rank
by: Karhumäki, Ulla, et al.
Published: (2025)

Toeplitz subshifts of finite rank
by: Gao, Su, et al.
Published: (2025)

On classes of bounded tree rank, their interpretations, and efficient sparsification
by: Gajarský, Jakub, et al.
Published: (2024)

Cartan subrings in soluble ranked Lie rings
by: Ntsiri, Jules Tindzogho, et al.
Published: (2025)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

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

Uniform interpolation with constructive diamond
by: van der Giessen, Iris, et al.
Published: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
by: De Domenico, Andrea, et al.
Published: (2026)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
by: de Groot, Jim, et al.
Published: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
by: Wang, Shanxia
Published: (2026)

Decidability of Quantum Modal Logic
by: Tokuo, Kenji
Published: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

Intentic Semantics for Potentialist Truthmaking
by: Gorbow, Paul
Published: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

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

Support is Search
by: Gheorghiu, Alexander V.
Published: (2026)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

Convex algebras on an interval with semicontinuous monotone operations
by: Sokolova, Ana, et al.
Published: (2026)

Modal Fragments
by: Bezhanishvili, Nick, et al.
Published: (2026)