𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Theory of Operations on the Universe I. The Theory of Iteration and F-Ordinals

✍ Scribed by Narciso Garcia

Publisher
John Wiley and Sons
Year
1991
Tongue
English
Weight
346 KB
Volume
37
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the theory of the matching polynomial
On the theory of the matching polynomial
✍ C. D. Godsil; I. Gutman πŸ“‚ Article πŸ“… 1981 πŸ› John Wiley and Sons 🌐 English βš– 325 KB πŸ‘ 1 views

## Abstract In this paper we report on the properties of the matching polynomial Ξ±(__G__) of a graph __G__. We present a number of recursion formulas for Ξ±(__G__), from which it follows that many families of orthogonal polynomials arise as matching polynomials of suitable families of graphs. We con

On the proof theory of type two function
On the proof theory of type two functionals based on primitive recursive operations
✍ David Steiner; Thomas Strahm πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 209 KB

## Abstract This paper is a companion to work of Feferman, JΓ€ger, Glaß, and Strahm on the proof theory of the type two functionals __ΞΌ__ and E~1~ in the context of Feferman‐style applicative theories. In contrast to the previous work, we analyze these two functionals in the context of SchlΓΌter's we

The freeon theory of magnetism. I. The H
The freeon theory of magnetism. I. The Heisenberg interaction
✍ F. A. Matsen; L. L. Campbell πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 285 KB πŸ‘ 2 views

The freeon theory of magnetism is a viable alternative to the well-known Heisenberg theory. In particular, the freeon-exchange theory provides a deeper insight into the nature of the magnetic interaction than does the spin-exchange theory. In addition, it avoids the superfluous M quantum number in z

On the Lp-Theory of C0-Semigroups Associ
On the Lp-Theory of C0-Semigroups Associated with Second-Order Elliptic Operators, I
✍ Zeev Sobol; Hendrik Vogt πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 297 KB

We study L p -theory of second-order elliptic divergence-type operators with measurable coefficients. To this end, we introduce a new method of constructing positive C 0 -semigroups on L p associated with sesquilinear (not necessarily sectorial) forms in L 2 . A precise condition ensuring that the e