✦ LIBER ✦

NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLES

✍ Scribed by J. Lambek; P. J. Scott

Publisher: John Wiley and Sons
Year: 1983
Tongue: English
Weight: 620 KB
Volume: 29
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19830291004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A New Proof of the Weak Pigeonhole Princ

A New Proof of the Weak Pigeonhole Principle

✍ Alexis Maciel; Toniann Pitassi; Alan R. Woods 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 213 KB

The exact complexity of the weak pigeonhole principle is an old and fundamental problem in proof complexity. Using a diagonalization argument, J. B. Paris et al. (J. Symbolic Logic 53 (1988), 1235-1244) showed how to prove the weak pigeonhole principle with bounded-depth, quasipolynomialsize proofs.

New proofs of the isoperimetric inequali

New proofs of the isoperimetric inequality and some generalizations

✍ M Mateljević; M Pavlović 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 231 KB

Some proofs of data refinement

✍ Earlin Lutz 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 435 KB

A short proof of a well-known theorem of

A short proof of a well-known theorem of intuitionistic analysis

✍ Horst Luckhardt 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 104 KB

A SHORT PROOF O F A WELL-KNOWN THEOREM O F INTUITIONISTIC ANALYSIS by HORST LUCILHARDT in Frankfurt/Main (B.R.D.) The theorem in question is BROUWER'S fundamental statement on the continuum Theorem. Every closed interval oi the continuum coincides with a fan. HEYTINQ [l] p. 46 indicates a proof; but

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-?

Probabilistic Proofs of Some Real Invers

Probabilistic Proofs of Some Real Inversion Formulas

✍ Jozef L. Teugels 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 287 KB

## Abstract We provide short probabilistic proofs for a number of new and known real inversion formulas for the Laplace and for the Stieltjes transform.