𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The theory of 〈N, +, Vk, Vl〉 is undecidable

✍ Scribed by Roger Villemaire

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
783 KB
Volume
106
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

THE AMBIGUOUS TYPE THEORY IS HEREDITARIL
THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE
✍ Andrey A. Kuzichev 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 84 KB

## Abstract The ambiguous type theory ATT is introduced in [1] in order to obtain a new proof of Specker's theorem on typical ambiguity [3]. In the present paper we imbed the recursively undecidable theory TR of a single transitive‐reflexive relation in an arbitrary stratified theory T such that T

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