𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Dependence of Some Axioms of Rose

✍ Scribed by Zane Parks

Publisher
John Wiley and Sons
Year
1972
Tongue
English
Weight
152 KB
Volume
18
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Uniform versions of some axioms of secon
Uniform versions of some axioms of second order arithmetic
✍ Nobuyuki Sakamoto; Takeshi Yamazaki πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 132 KB

## Abstract In this paper, we discuss uniform versions of some axioms of second order arithmetic in the context of higher order arithmetic. We prove that uniform versions of weak weak KΓΆnig's lemma WWKL and Ξ£^0^~1~ separation are equivalent to (βˆƒ^2^) over a suitable base theory of higher order arit

Some axioms and theorems in damage mecha
Some axioms and theorems in damage mechanics and fatigue of materials
✍ Paolo Maria Mariano; Giuliano Augusti πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 789 KB

The treatments of problems in continuum damage mechanics (CDM) that appear in the scientific literature are based on a number of more or less explicit assumptions. In this paper, these assumptions are reformulated and shown to form a single axiomatic framework of both the "internal variables" and th