𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Prototype Proofs in Type Theory

✍ Scribed by Giuseppe Longo

Publisher
John Wiley and Sons
Year
2000
Tongue
English
Weight
207 KB
Volume
46
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On convexity proofs in location theory
On convexity proofs in location theory
✍ Robert F. Love; James G. Morris πŸ“‚ Article πŸ“… 1978 πŸ› John Wiley and Sons 🌐 English βš– 131 KB

It is often assumed in the facility location literature that functions of the type +i(z, y) =p,{(zj-z)\*+ (yi-y)a]R/s are twice differentiable. Here we point out that this is true only for certain values of K. Convexity proofs that are independent of the value of K are given. DIFFERENTIABILITY Consi

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

A New Proof of a Classical Theorem in De
A New Proof of a Classical Theorem in Design Theory
✍ G.B. Khosrovshahi; B. Tayfeh-Rezaie πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 92 KB

We present a new proof of the well known theorem on the existence of signed (integral) t-designs due to Wilson and Graver and Jurkat.

A new proof of the invariance principle
A new proof of the invariance principle in scattering theory
✍ John D Dollard; Charles N Friedman πŸ“‚ Article πŸ“… 1979 πŸ› Elsevier Science 🌐 English βš– 220 KB

For free and interacting Hamiltonians, Ho and H = H,, + V(r) acting in L2(R3, dx) with V(r) a radial potential satisfying certain technical conditions, and for 9) a real function on R with v' > 0 except on a discrete set, we prove that the Moller wave operators Q\* = strong limit eiWHJ e-ifVtHo) t-?