Cover Image

The Cardinalities of Intervals of Equational Theories and Logics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Aguilera, Juan P., Bezhanishvili, Nick, Takahashi, Tenyo
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision Construction
by: Takahashi, Tenyo
Published: (2025)

Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration
by: Takahashi, Tenyo
Published: (2025)

Decidability of Being a Union-splitting
by: Takahashi, Tenyo
Published: (2025)

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

Degrees of the finite model property: the antidichotomy theorem
by: Bezhanishvili, Guram, et al.
Published: (2023)

Six Proofs of Interpolation for the Modal Logic K
by: Bezhanishvili, Nick, et al.
Published: (2025)

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

Structural Completeness in bi-IPC
by: Almeida, Rodrigo Nicolau, et al.
Published: (2025)

Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
by: Bezhanishvili, Nick, et al.
Published: (2025)

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

Superamalgamation for modal lattices via non-distributive dualities
by: Almeida, Rodrigo Nicolau, et al.
Published: (2026)

Fischer-Servi logic does not have interpolation
by: Almeida, Rodrigo Nicolau, et al.
Published: (2026)

Polytopological Semantics for Intuitionistic Modal Logics
by: Aguilera, Juan P., et al.
Published: (2026)

The Monadic Grzegorczyk Logic
by: Bezhanishvili, Guram, et al.
Published: (2024)

The Logic of Cardinality Comparison Without the Axiom of Choice
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

The Baire closure and its logic
by: Bezhanishvili, Guram, et al.
Published: (2021)

Bi-intermediate logics of trees and co-trees
by: Bezhanishvili, N., et al.
Published: (2022)

Logics of polyhedral reachability
by: Bezhanishvili, Nick, et al.
Published: (2024)

Disjoint Stationary Sequences on an Interval of Cardinals
by: Jakob, Hannes
Published: (2023)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
by: Baader, Franz, et al.
Published: (2025)

Cardinal Characteristics and Computability
by: McDonald, Logan
Published: (2025)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
by: Lyon, Tim S.
Published: (2024)

Keisler's Theorem and Cardinal Invariants
by: Goto, Tatsuya
Published: (2021)

Berkeley Cardinals and Vopěnka's Principle
by: Mohammd, Marwan Salam
Published: (2024)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
by: Aoto, Takahito, et al.
Published: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

Cardinality and Representation of Stone Relation Algebras
by: Furusawa, Hitoshi, et al.
Published: (2023)

The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)

Reinhardt Cardinals and Eventually Dominating Functions
by: Mohammd, Marwan Salam
Published: (2025)

Eventual Capture on a Measurable Cardinal
by: Benhamou, Tom, et al.
Published: (2025)

Cardinal invariants associated with Hausdorff measures
by: Goto, Tatsuya
Published: (2021)

Esakia order-compactifications and locally Esakia spaces
by: Almeida, Rodrigo Nicolau, et al.
Published: (2025)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
by: Manière, Quentin, et al.
Published: (2024)

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
by: Abbadini, Marco, et al.
Published: (2022)

Cardinalities of Ultraproducts of Finite Sets in ZF + DC
by: Kowalczyk, Jacob
Published: (2025)

Ultrafilters over Successor Cardinals and the Tukey Order
by: Benhamou, Tom, et al.
Published: (2025)

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

Cardinal Characteristics on Bounded Generalised Baire Spaces
by: van der Vlugt, Tristan
Published: (2023)

Cardinal characteristics associated with small subsets of reals
by: Cardona, Miguel A., et al.
Published: (2024)