๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The rigid relation principle, a new weak choice principle

โœ Scribed by Hamkins, Joel David; Palumbo, Justin

Book ID
118764085
Publisher
John Wiley and Sons
Year
2012
Tongue
English
Weight
93 KB
Volume
58
Category
Article
ISSN
0044-3050

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.

A model-theoretic characterization of th
A model-theoretic characterization of the weak pigeonhole principle
โœ Neil Thapen ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 196 KB

We bring together some facts about the weak pigeonhole principle (WPHP) from bounded arithmetic, complexity theory, cryptography and abstract model theory. We characterize the models of arithmetic in which WPHP fails as those which are determined by an initial segment and prove a conditional separat