Buchumschlag

Constraint satisfaction problems, compactness and non-measurable sets

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tardif, Claude
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic Logic in Computer Science 03E65, 68Q19 G.0
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The complexity of being monitorable
von: Camerlo, Riccardo, et al.
Veröffentlicht: (2026)

There is a deep 1-generic set
von: Li, Ang
Veröffentlicht: (2024)

Preservation theorems on sparse classes revisited
von: Dawar, Anuj, et al.
Veröffentlicht: (2024)

Deciding subspace reachability problems with application to Skolem's Problem
von: Everett, Samuel
Veröffentlicht: (2024)

Uniformity in learning structures
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2025)

Classifying different criteria for learning algebraic structures
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2024)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
von: Santacana, Andreu Ballus
Veröffentlicht: (2025)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
von: Jaakkola, Reijo, et al.
Veröffentlicht: (2024)

Algebraic Proof Theory for Infinitary Action Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms
von: Kátay, Tamás, et al.
Veröffentlicht: (2023)

Refutability as Recursive as Provability
von: Cattabriga, Paola
Veröffentlicht: (2024)

The Syllogistic with Unity
von: Pratt-Hartmann, Ian
Veröffentlicht: (2011)

Game Comonads & Generalised Quantifiers
von: Conghaile, Adam Ó, et al.
Veröffentlicht: (2020)

Relative consistency of Set Matrix Theory with ZF
von: Cabbolet, Marcoen J. T. F.
Veröffentlicht: (2024)

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
von: Marković, Petar, et al.
Veröffentlicht: (2026)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
von: Samra, Jean Abou, et al.
Veröffentlicht: (2026)

On the learning power of Friedman-Stanley jumps
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2025)

Learning Equivalence Relations on Polish Spaces
von: Rossegger, Dino, et al.
Veröffentlicht: (2024)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
von: Castiglioni, José Luis, et al.
Veröffentlicht: (2025)

Provability in BI's Sequent Calculus is Decidable
von: Gheorghiu, Alexander, et al.
Veröffentlicht: (2021)

Finitely Bounded Homogeneity Turned Inside-Out
von: Rydval, Jakub
Veröffentlicht: (2021)

Descriptive complexity for neural networks via Boolean networks
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2023)

Hyperfiniteness on Topological Ramsey Spaces
von: Bursics, Balázs, et al.
Veröffentlicht: (2024)

Choiceless Polynomial Space
von: Ferrarotti, Flavio, et al.
Veröffentlicht: (2024)

Matching logic -- a new axiomatization
von: Leuştean, Laurenţiu, et al.
Veröffentlicht: (2025)

Arithmetics within the Linear Time Hierarchy
von: Pollett, Chris
Veröffentlicht: (2025)

Notes on applicative matching logic
von: Leuştean, Laurenţiu
Veröffentlicht: (2025)

The equational theory of the Weihrauch lattice with (iterated) composition
von: Pradic, Cécilia
Veröffentlicht: (2024)

The equational theory of the Weihrauch lattice with multiplication
von: Neumann, Eike, et al.
Veröffentlicht: (2024)

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

On the incomputability of computable dimension
von: Staiger, Ludwig
Veröffentlicht: (2019)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
von: Sorg, Christopher
Veröffentlicht: (2026)

Behavioural Theory of Reflective Algorithms II: Reflective Parallel Algorithms
von: Schewe, Klaus-Dieter, et al.
Veröffentlicht: (2025)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
von: Park, Sewon, et al.
Veröffentlicht: (2016)

Fragments of Martin's axiom
von: Peng, Yinhe
Veröffentlicht: (2025)

Guessing genericity -- looking at parametrized diamonds from a different perspective
von: Kostana, Ziemowit
Veröffentlicht: (2023)

Reversible computations are computations
von: Aubert, Clément, et al.
Veröffentlicht: (2025)

Variants of Solovay reducibility
von: Titov, Ivan
Veröffentlicht: (2024)

Proxy principles in combinatorial set theory
von: Brodsky, Ari Meir, et al.
Veröffentlicht: (2024)

A Logspace Constructive Proof of L=SL
von: Buss, Sam, et al.
Veröffentlicht: (2025)