Minimal signatures with undecidability of representability by binary relations

Documenti analoghi

• Transposition of variables is hard to describe
  di: Andréka, H., et al.
  Pubblicazione: (2024)
• Slalom numbers
  di: Cardona, Miguel A., et al.
  Pubblicazione: (2024)
• On the interplay between productively Menger and productively Hurewicz spaces in models of $\mathfrak b=\mathfrak d$
  di: Repovš, Dušan D., et al.
  Pubblicazione: (2025)
• Nonrepresentable relation algebras from group systems
  di: Andréka, H., et al.
  Pubblicazione: (2018)
• Equivalence of generics
  di: Smythe, Iian B.
  Pubblicazione: (2018)