𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on plasticity theory in matrix notation

✍ Scribed by Pedersen, Pauli

Publisher
Wiley (John Wiley & Sons)
Year
1987
Tongue
English
Weight
253 KB
Volume
3
Category
Article
ISSN
0748-8025

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Note on a Matrix-Concave Function
Note on a Matrix-Concave Function
✍ H. Neudecker; S.Z. Liu πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 90 KB
A note on Bar Induction in Constructive
A note on Bar Induction in Constructive Set Theory
✍ Michael Rathjen πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 113 KB πŸ‘ 1 views

## Abstract Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive Zermelo‐Fraenkel Set Theory, CZF. It is shown that CZF augmented by decidable Bar Induction proves the 1‐consistency of CZF. This answ