Image de couverture de livre

Minimal signatures with undecidability of representability by binary relations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hirsch, Robin, Jackson, Marcel, Šemrl, Jaš
Format:	Preprint
Publié:	2024
Sujets:	Logic 03G15 (Primary) 03E20 20M20 03D35 (Secondary)
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Transposition of variables is hard to describe
par: Andréka, H., et autres
Publié: (2024)

Slalom numbers
par: Cardona, Miguel A., et autres
Publié: (2024)

On the interplay between productively Menger and productively Hurewicz spaces in models of $\mathfrak b=\mathfrak d$
par: Repovš, Dušan D., et autres
Publié: (2025)

Nonrepresentable relation algebras from group systems
par: Andréka, H., et autres
Publié: (2018)

Equivalence of generics
par: Smythe, Iian B.
Publié: (2018)

Q-points, selective ultrafilters, and idempotents, with an application to choiceless set theory
par: Fernández-Bretón, David, et autres
Publié: (2024)

Nonstandard Universes
par: Ouwehand, Peter
Publié: (2025)

Universally meager sets in the Miller model and similar ones
par: Haberl, Valentin, et autres
Publié: (2025)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
par: Kołodziejczyk, Leszek Aleksander, et autres
Publié: (2026)

Apartness relations between propositions
par: Kocsis, Zoltan A.
Publié: (2022)

Consistency and independence phenomena involving cellular-Lindelof spaces
par: Hernández-Gutiérrez, Rodrigo, et autres
Publié: (2024)

A Minimal Substitution Basis for the Kalmár Elementary Functions
par: Prunescu, Mihai, et autres
Publié: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
par: Vodrazka, Daniel
Publié: (2025)

Regular bi-interpretability and finite axiomatizability of Chevalley groups
par: Bunina, Elena, et autres
Publié: (2023)

The variety of coset relation algebras
par: Givant, Steven, et autres
Publié: (2018)

Compactness and Symmetric Well Orders
par: Dasgupta, Abhijit
Publié: (2022)

On the significance of parameters and the projective level in the Choice and Comprehension axioms
par: Kanovei, Vladimir, et autres
Publié: (2024)

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
par: Kanovei, Vladimir, et autres
Publié: (2025)

Quasivarieties of p-algebras: some new results
par: Kowalski, Tomasz, et autres
Publié: (2024)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
par: Kowalski, Tomasz, et autres
Publié: (2024)

Hallucination, abstention, and computable inseparability
par: Imamura, Takuma
Publié: (2026)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
par: Houérou, Quentin Le, et autres
Publié: (2026)

Is Peirce's reduction thesis gerrymandered?
par: Koshkin, Sergiy
Publié: (2024)

A simplified lower bound for implicational logic
par: Jeřábek, Emil
Publié: (2023)

Finite axiomatizability of the rank and the dimension of a pro-$π$ group
par: Conte, Martina, et autres
Publié: (2023)

A note on Łoś's Theorem without the Axiom of Choice
par: Usuba, Toshimichi
Publié: (2023)

Zoo of ideal Schauder basis
par: Kwela, Adam, et autres
Publié: (2025)

Intuitionism and computing with partial information
par: Ganchev, Hristo, et autres
Publié: (2026)

A representation theorem for measurable relation algebras
par: Givant, S., et autres
Publié: (2018)

The prime spectrum of an $L$-algebra
par: Rump, W., et autres
Publié: (2022)

$κ$-barely independent families and Tukey types of ultrafilters
par: Chapital, Jorge Antonio Cruz
Publié: (2025)

Strong reducibilities and set theory
par: Schweber, Noah
Publié: (2024)

A representation theorem for measurable relation algebras with cyclic groups
par: Andréka, Hajnal, et autres
Publié: (2018)

Two $\mathfrak{b}$ or not two $\mathfrak{b}$?
par: Filipów, Rafał, et autres
Publié: (2025)

Unboring ideals
par: Kwela, Adam
Publié: (2021)

Uniform Interpolation
par: van Gool, Sam
Publié: (2025)

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
par: Sankappanavar, Hanamantagouda P.
Publié: (2025)

Closed copies of $\mathbb{N}$ in $\mathbb{R}^{ω_1}$
par: Dow, Alan, et autres
Publié: (2023)

Extending conceptual completeness via virtual ultracategories
par: Saadia, Gabriel
Publié: (2025)

Torsion-free abelian groups are faithfully Borel complete and pure embeddability is a complete analytic quasi-order
par: Paolini, Gianluca, et autres
Publié: (2023)