✦ LIBER ✦

The undecidability of the first-order theory of diagonalizable algebras

✍ Scribed by Franco Montagna

Publisher: Springer Netherlands
Year: 1980
Tongue: English
Weight: 294 KB
Volume: 39
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00713545

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interpretations of the first-order theor

Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic

✍ Franco Montagna 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 455 KB

The first-order theory of linear one-ste

The first-order theory of linear one-step rewriting is undecidable

✍ Ralf Treinen 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 758 KB

The theory of one-step rewriting for a given rewrite system R and signature C is the firstorder theory of the following structure: its universe consists of all C-ground terms, and its only predicate is the relation "x rewrites to y in one step by R". The structure contains no function symbols and no

Undecidability of the theory of Boolean

Undecidability of the theory of Boolean algebras with automorphism

✍ V. I. Mart'yanov 📂 Article 📅 1983 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 688 KB

The finite inseparability of the first-o

The finite inseparability of the first-order theory of diagonalisable algebras

✍ Craig Smoryński 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 179 KB

On the autological character of diagonal

On the autological character of diagonalizable algebras

✍ Roberto Magari 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 281 KB

On the equational class of diagonalizabl

On the equational class of diagonalizable algebras

✍ Glaudio Bernardi 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 570 KB