✦ LIBER ✦

Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics

✍ Scribed by Veldman, W.; Bezem, M.

Book ID: 120094907
Publisher: Oxford University Press
Year: 1993
Tongue: English
Weight: 411 KB
Volume: s2-47
Category: Article
ISSN: 0024-6107
DOI: 10.1112/jlms/s2-47.2.193

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ramsey's Theorem in the Hierarchy of Cho

Ramsey's Theorem in the Hierarchy of Choice Principles

✍ Andreas Blass 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 120 KB

Hamilton's Principle and the Conservatio

Hamilton's Principle and the Conservation Theorems of Mathematical Physics

✍ Hill, E. L. 📂 Article 📅 1951 🏛 The American Physical Society 🌐 English ⚖ 893 KB

The weak pigeonhole principle for functi

The weak pigeonhole principle for function classes in S12

✍ Norman Danner; Chris Pollett 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 199 KB 👁 1 views

## Abstract It is well known that __S__ ^1^~2~ cannot prove the injective weak pigeonhole principle for polynomial time functions unless RSA is insecure. In this note we investigate the provability of the surjective (dual) weak pigeonhole principle in __S__ ^1^~2~ for provably weaker function class

[Contemporary Mathematics] Model Theoret

[Contemporary Mathematics] Model Theoretic Methods in Finite Combinatorics Volume 558 || (Un)countable and (non)effective versions of Ramsey’s theorem

✍ Grohe, Martin; Makowsky, Johann 📂 Article 📅 2011 🏛 American Mathematical Society ⚖ 358 KB

The Virial Theorem and Schwinger's Varia

The Virial Theorem and Schwinger's Variational Principle in Collision Theory

✍ J. D. G. McWhirter and B. L. Moiseiwitsch 📂 Article 📅 1974 ⚖ 786 KB

Orbital energies: The aufbau principle a

Orbital energies: The aufbau principle and Koopman's theorem in the UHF method

✍ David B. Cook 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 874 KB