Cover Image

Nonembeddings of Combinatory Algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lutz, Patrick, Shafer, Paul, Terwijn, Sebastiaan A.
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

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

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

From Partial to Monadic: Combinatory Algebra with Effects
by: Cohen, Liron, et al.
Published: (2025)

A Borel graphable equivalence relation with no Borel graphing of diameter two
by: Lutz, Patrick
Published: (2026)

Martin's conjecture for regressive functions on the hyperarithmetic degrees
by: Lutz, Patrick
Published: (2023)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Bounded Ramsey's theorem for triples in computability theory
by: Patey, Ludovic, et al.
Published: (2026)

Translating Three-Variable First-Order Predicate Logic to Relation Algebra, Implemented using Z3
by: Brogni, Anthony, et al.
Published: (2023)

Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

Combinatorial Properties of the Raisonnier Filter
by: Dialiatsis, Spyridon, et al.
Published: (2026)

Ranking theories via encoded $β$-models
by: Jeon, Hanul, et al.
Published: (2025)

Topological Dualities for Modal Algebras
by: Collinson, Matthew
Published: (2026)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)

Conjunctive Table Algebras
by: Kötters, Jens, et al.
Published: (2024)

The Algebras of Lewis's Counterfactuals
by: Rosella, Giuliano, et al.
Published: (2024)

Borel graphable equivalence relations
by: Arant, Tyler, et al.
Published: (2024)

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

On a Generalization of Heyting Algebras I
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2024)

On a Generalization of Heyting Algebras II
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2024)

A Proof Theory for Profinite Modal Algebras
by: De Berardinis, Matteo, et al.
Published: (2025)

A new categorial equivalence for Stone Algebras
by: Calomino, Ismael, et al.
Published: (2025)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
by: Dreier, Jan, et al.
Published: (2024)

Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$
by: Gilton, Thomas, et al.
Published: (2022)

Non-expansive Fuzzy ALC
by: Gebhart, Stefan, et al.
Published: (2025)

Non-Expansive Fuzzy Coalgebraic Logic
by: Gebhart, Stefan, et al.
Published: (2025)

Combinatory Array Logic with Sums
by: Raya, Rodrigo
Published: (2023)

Combinatorial properties of MAD families
by: Brendle, Jörg, et al.
Published: (2022)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
by: Jana, Purbita, et al.
Published: (2025)

Characterizing Finitely Based Abelian Mal'cev Algebras
by: Muro, Mateo
Published: (2024)

Morita Rigidity for Kleene Algebras
by: Serafin, Luke
Published: (2025)

Continuous Algebras with Hypotheses
by: Mulder, Lukas, et al.
Published: (2026)

The Algebra of Iterative Constructions
by: Batz, Kevin, et al.
Published: (2026)

The Algebra of Parity Games
by: Piedeleu, Robin
Published: (2025)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
by: Wißmann, Thorsten, et al.
Published: (2024)

Part 1 of Martin's Conjecture for order-preserving and measure-preserving functions
by: Lutz, Patrick, et al.
Published: (2023)

Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras
by: Illmer, Maximilian
Published: (2026)

Linear Realisability and Implicative Algebras
by: Lucquin, Alexandre, et al.
Published: (2026)

Induction rules for Transition Algebra
by: Hashimoto, Go
Published: (2026)