✦ LIBER ✦

Well-foundedness in Realizability

✍ Scribed by M. Hofmann; J. van Oosten; T. Streicher

Book ID: 105842217
Publisher: Springer
Year: 2006
Tongue: English
Weight: 158 KB
Volume: 45
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-006-0003-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Equivalents of Well-Foundedness

✍ Piotr Rudnicki; Andrzej Trybulec 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 192 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

Elementary realizability

✍ Zlatan Damnjanovic 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 406 KB