Imagen de Portada

On the Effectiveness of Partition Regularity over Algebraic Structures

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Laboska, Gabriela
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Algebraic Reasoning over Relational Structures
por: Jurka, Jan, et al.
Publicado: (2024)

Rings and Boolean Algebras as Algebraic Theories
por: De Faveri, Arturo
Publicado: (2025)

Regular expressions over countable words
por: Colcombet, Thomas, et al.
Publicado: (2025)

Partition theorems for expanded trees
por: Shelah, Saharon
Publicado: (2021)

Algebraic Characterizations of Classes of Regular Languages in DynFO
por: Barloy, Corentin, et al.
Publicado: (2026)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
por: Katsura, Hiroyuki, et al.
Publicado: (2025)

Algebraic proof theory for LE-logics
por: Greco, Giuseppe, et al.
Publicado: (2018)

Partitioning the real line into Borel sets
por: Brian, Will
Publicado: (2021)

Partition genericity and pigeonhole basis theorems
por: Monin, Benoit, et al.
Publicado: (2022)

Partitions of Baire space into compact sets
por: Fischer, Vera, et al.
Publicado: (2023)

Algebraic Structure of Quantum Controlled States and Operators
por: Agnew, Edwin, et al.
Publicado: (2026)

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

Algebraic characterisation of pseudo-elementary and second-order classes
por: Ivanyos, János Balázs
Publicado: (2026)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
por: Kaye, George
Publicado: (2025)

Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property
por: Winter, Michael
Publicado: (2023)

Lowerbounds for Bisimulation by Partition Refinement
por: Groote, Jan Friso, et al.
Publicado: (2022)

Pebble Games and Algebraic Proof Systems
por: Jaser, Lisa-Marie, et al.
Publicado: (2025)

Univalent Foundations of Constructive Algebraic Geometry
por: Zeuner, Max
Publicado: (2024)

Regular non-normal modal classicalities
por: Freire, Alfredo Roque, et al.
Publicado: (2026)

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

Semi-Algebraic Proof Systems for QBF
por: Beyersdorff, Olaf, et al.
Publicado: (2025)

Algebraic Semantics for the Logic of Proofs
por: Parsa, Amir Farahmand, et al.
Publicado: (2021)

Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems
por: Maxa, Martin
Publicado: (2026)

Effective Versions of Strong Measure Zero
por: Rayman, Matthew
Publicado: (2025)

Deontic Action Logics: A Modular Algebraic Perspective
por: Areces, Carlos, et al.
Publicado: (2025)

A Deductive Refinement Calculus for Differential-Algebraic Programs
por: Hellwig, Jonathan, et al.
Publicado: (2026)

Two-Variable Logic for Hierarchically Partitioned and Ordered Data
por: Fiuk, Oskar, et al.
Publicado: (2025)

Generalized Effective Reducibility
por: Carl, Merlin
Publicado: (2016)

Simple Classes of Automatic Structures
por: Blumensath, Achim
Publicado: (2025)

Algebraic and algorithmic synergies between promise and infinite-domain CSPs
por: Mottet, Antoine
Publicado: (2025)

On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
por: Forsman, David
Publicado: (2024)

Effectiveness and strong graph indivisibility
por: Dzhafarov, Damir D., et al.
Publicado: (2024)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
por: Gaßner, Christine
Publicado: (2025)

Enriching Diagrams with Algebraic Operations
por: Villoria, Alejandro, et al.
Publicado: (2023)

Counting Theorems for Algebraic Relations
por: Binyamini, Gal, et al.
Publicado: (2026)

Regular Typed Unification
por: Barbosa, João, et al.
Publicado: (2024)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
por: Gilda, Sankalp, et al.
Publicado: (2026)

FO-Query Enumeration over SLP-Compressed Structures of Bounded Degree
por: Lohrey, Markus, et al.
Publicado: (2025)