- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements
Mathematical Logic Quarterly 62 (3):155-176 (2016)
Abstract
In set theory without the Axiom of Choice math formula, we study the deductive strength of the statements math formula, math formula, math formula, and math formula. Among various results, we prove that none of the above statements is provable without using some form of choice, math formula is equivalent to math formula, math formula + math formula implies math formula, math formula does not imply math formula in math formula, math formula does not imply math formula in math formula and math formula is strictly weaker than math formula in math formula.My notes
Similar books and articles
On Martin's Axiom and Forms of Choice.Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):190-203.
The length of an intersection.Christian Delhommé & Maurice Pouzet - 2017 - Mathematical Logic Quarterly 63 (3-4):243-255.
Local Ramsey theory: an abstract approach.Carlos Di Prisco, José G. Mijares & Jesús Nieto - 2017 - Mathematical Logic Quarterly 63 (5):384-396.
Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics.Petr Glivický & Vítězslav Kala - 2017 - Mathematical Logic Quarterly 63 (3-4):162-174.
The HOD Hypothesis and a supercompact cardinal.Yong Cheng - 2017 - Mathematical Logic Quarterly 63 (5):462-472.
Two kinds of fixed point theorems and reverse mathematics.Weiguang Peng & Takeshi Yamazaki - 2017 - Mathematical Logic Quarterly 63 (5):454-461.
The Structure of an SL2-module of finite Morley rank.Jules Tindzogho Ntsiri - 2017 - Mathematical Logic Quarterly 63 (5):364-375.
Building prime models in fully good abstract elementary classes.Sebastien Vasey - 2017 - Mathematical Logic Quarterly 63 (3-4):193-201.
A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics.Norihiro Kamide - 2016 - Mathematical Logic Quarterly 62 (3):177-189.
Generalizations of Cantor's theorem in ZF.Guozhen Shen - 2017 - Mathematical Logic Quarterly 63 (5):428-436.
On the reducibility of isomorphism relations.Tapani Hyttinen & Miguel Moreno - 2017 - Mathematical Logic Quarterly 63 (3-4):175-192.
Decreasing sentences in Simple Type Theory.Panagiotis Rouvelas - 2017 - Mathematical Logic Quarterly 63 (5):342-363.
Three-space type Hahn-Banach properties.Marianne Morillon - 2017 - Mathematical Logic Quarterly 63 (5):320-333.
Aronszajn trees, square principles, and stationary reflection.Chris Lambie-Hanson - 2017 - Mathematical Logic Quarterly 63 (3-4):265-281.
Analytics
Added to PP
2018-01-11
Downloads
8 (#1,287,956)
6 months
5 (#629,136)
2018-01-11
Downloads
8 (#1,287,956)
6 months
5 (#629,136)
Historical graph of downloads
Citations of this work
On ramsey’s theorem and the existence of infinite chains or infinite anti-chains in infinite posets.Eleftherios Tachtsis - 2016 - Journal of Symbolic Logic 81 (1):384-394.
MA(ℵ0) restricted to complete Boolean algebras and choice.Eleftherios Tachtsis - 2021 - Mathematical Logic Quarterly 67 (4):420-431.
On the minimal cover property and certain notions of finite.Eleftherios Tachtsis - 2018 - Archive for Mathematical Logic 57 (5-6):665-686.
References found in this work
Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods.David Pincus - 1972 - Journal of Symbolic Logic 37 (4):721-743.
On the strength of the Sikorski extension theorem for Boolean algebras.J. L. Bell - 1983 - Journal of Symbolic Logic 48 (3):841-846.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-5tf24 uwo