𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The theory of theαdegrees is undecidable

✍ Scribed by C. T. Chong; T. A. Slaman

Book ID
107529318
Publisher
The Hebrew University Magnes Press
Year
2010
Tongue
English
Weight
269 KB
Volume
178
Category
Article
ISSN
0021-2172

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