𝔖 Bobbio Scriptorium
✦   LIBER   ✦

X* plus Axiom A Does Not Imply No-Cycle

✍ Scribed by C.Z. Li; L. Wen

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
211 KB
Volume
119
Category
Article
ISSN
0022-0396

No coin nor oath required. For personal study only.

✦ Synopsis

An example is presented to indicate that (x^{*}) plus Axiom A does not imply the no-cycle condition. (\hat{\Gamma} 1995) Academic Press. Inc.

📜 SIMILAR VOLUMES

Mutual definability does not imply defin
Mutual definability does not imply definitional equivalence, a simple example
✍ Hajnal Andréka; Judit X. Madarász; István Németi 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 129 KB

We give two theories, Th1 and Th2, which are explicitly definable over each other (i. e. the relation symbols of one theory are explicitly definable in the other, and vice versa), but are not definitionally equivalent. The languages of the two theories are disjoint.