✦ LIBER ✦

On Equivalents of Well-Foundedness

✍ Scribed by Piotr Rudnicki; Andrzej Trybulec

Book ID: 110233212
Publisher: Springer Netherlands
Year: 1999
Tongue: English
Weight: 192 KB
Volume: 23
Category: Article
ISSN: 0168-7433
DOI: 10.1023/a:1006218513245

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Well-foundedness in Realizability

✍ M. Hofmann; J. van Oosten; T. Streicher 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 158 KB

An algebraic study of well-foundedness

✍ Robert Goldblatt 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 948 KB

A foundational algebra (~B, f, A) consists of a heinimorphism f on a Boolean algebra ~B with a greatest solution ~ tO the condition x < f(x). The quasi-variety of foundational algebras has a decidable equational theory, and generates the same variety as the complex algebras of structures (X,/~), whe

Well-foundedness conditions connected wi

Well-foundedness conditions connected with left-distributivity

✍ Richard Laver; John A. Moody 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 150 KB

Off-Line Parsability and the Well-Founde

Off-Line Parsability and the Well-Foundedness of Subsumption

✍ Shuly Wintner; Nissim Francez 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 145 KB

An effective proof of the well-foundedne

An effective proof of the well-foundedness of the multiset path ordering

✍ Solange Coupet-Grimal; William Delobel 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 243 KB

On energy equivalents

✍ D. Spreng 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 60 KB