Cut-conditions on sets of multiple-alternative inferences

Mathematical Logic Quarterly 68 (1):95 - 106 (2022)
Download Edit this record How to cite View on PhilPapers
Abstract
I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichm├╝ller Lemma. I then discuss relationships between various cut-conditions in the absence of finitariness or of monotonicity.
PhilPapers/Archive ID
HODCOS-2
Upload history
Archival date: 2022-09-20
View other versions
Added to PP index
2022-09-20

Total views
7 ( #73,795 of 72,588 )

Recent downloads (6 months)
7 ( #67,371 of 72,588 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.