✦ LIBER ✦

The Weak Approximation Theorem for Valuations

✍ Scribed by Ada Maria de Souza Doering; Yves Lequain

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 234 KB
Volume: 211
Category: Article
ISSN: 0021-8693
DOI: 10.1006/jabr.1998.7627

No coin nor oath required. For personal study only.

✦ Synopsis

1 We prove a Weak Approximation Theorem for valuations that are not necessarily independent.

Ž .

2 We study the existence of intersections of finite families of valuation rings having a prescribed divisibility group and prescribed residue fields. ᮊ 1999 Aca- demic Press

📜 SIMILAR VOLUMES

A fixed point theorem for the Weak Kleen

A fixed point theorem for the Weak Kleene valuation scheme

✍ Anil Gupta; Robert L. Martin 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 254 KB

Valuation Monoids, Defining Systems, and

Valuation Monoids, Defining Systems, and Approximation Theorems

✍ Franz Halter-Koch 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 340 KB

A characterization theorem for weak vari

A characterization theorem for weak varieties

✍ Grzegorz Bińczak 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 98 KB

The discrimination theorem holds for com

The discrimination theorem holds for combinatory weak reduction

✍ R. Hindley 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 150 KB

Arrow's Theorem for closed weak hierarch

Arrow's Theorem for closed weak hierarchies

✍ R.C. Powers 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 540 KB

Deduction theorems for weak implicationa

Deduction theorems for weak implicational logics

✍ M. W. Bunder 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 649 KB

The standard deduction theorem or introduction rule for implication, for classical logic is also valid/or intuitiouistic logic, but just as with predicate logic, other rules of inference have to be restricted if the theorem is ~o ho14 for weaker impli. cational logics. In this paper we look in 4eta