The paper justifies the following theses: The totality can found time if the latter is axiomatically represented by its “arrow” as a well-ordering. Time can found choice and thus information in turn. Quantum information and its units, the quantum bits, can be interpreted as their generalization as to infinity and underlying the physical world as well as the ultimate substance of the world both subjective and objective. Thus a pathway of interpretation between the totality via time, order, choice, and information (...) to the substance of the world is constructed. The article is based only on the well-known facts and definitions and is with no premises in this sense. Nevertheless it is naturally situated among works and ideas of Husserl and Heidegger, linked to the foundation of mathematics by the axiom of choice, to the philosophy of quantum mechanics and information. (shrink)

We write and for the cardinalities of the set of finite sequences and the set of finite subsets, respectively, of a set which is of cardinality. With the axiom of choice (), for every infinite cardinal but, without, any relationship between and for an arbitrary infinite cardinal cannot be proved. In this paper, we give conditions that make and comparable for an infinite cardinal. Among our results, we show that, if we assume the axiom of choice for sets of finite (...) sets, then for every Dedekind‐infinite cardinal and the condition that is Dedekind‐infinite cannot be weakened to weakly Dedekind‐infinite. (shrink)

We study statements about countable and well-ordered unions and their relation to each other and to countable and well-ordered forms of the axiom of choice. Using WO as an abbreviation for “well-orderable”, here are two typical results: The assertion that every WO family of countable sets has a WO union does not imply that every countable family of WO sets has a WO union; the axiom of choice for WO families of WO sets does not imply that the countable union (...) of countable sets is WO. (shrink)

We prove in set theory without the Axiom of Choice, that Rado’s selection lemma (\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf{RL}}$$\end{document}) implies the Hahn-Banach axiom. We also prove that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf{RL}}$$\end{document} is equivalent to several consequences of the Tychonov theorem for compact Hausdorff spaces: in particular, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf{RL}}$$\end{document} implies that every filter on a well orderable set is included in a ultrafilter. (...) In set theory with atoms, the “Multiple Choice” axiom implies \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf{RL}}$$\end{document}. (shrink)

We devise exact conditions under which a join semilattice with a weak contact relation can be semilattice embedded into a Boolean algebra with an overlap contact relation, equivalently, into a distributive lattice with additive contact relation. A similar characterization is proved with respect to Boolean algebras and distributive lattices with weak contact, not necessarily additive, nor overlap.

In this study, several proofs of the compactness theorem for propositional logic with countably many atomic sentences are compared. Thereby some steps are taken towards a systematic philosophical study of the compactness theorem. In addition, some related data and morals for the theory of mathematical explanation are presented.

We write for the cardinality of the set of finite sequences of a set which is of cardinality. With the Axiom of Choice (), for every infinite cardinal where is the cardinality of the permutations on a set which is of cardinality. In this paper, we show that “ for every cardinal ” is provable in and this is the best possible result in the absence of. Similar results are also obtained for : the cardinality of the set of finite (...) sequences without repetition of a set which is of cardinality. (shrink)

In this note we show that the Axiom of Countable Choice is equivalent to two statements from the theory of pseudometric spaces: the first of them is a well-known characterization of uniform continuity for functions between metric spaces, and the second declares that sequentially compact pseudometric spaces are \—meaning that all real valued, continuous functions defined on these spaces are necessarily uniformly continuous.

Consider the regularity thesis that each possible event has non-zero probability. Hájek challenges this in two ways: there can be nonmeasurable events that have no probability at all and on a large enough sample space, some probabilities will have to be zero. But arguments for the existence of nonmeasurable events depend on the axiom of choice. We shall show that the existence of anything like regular probabilities is by itself enough to imply a weak version of AC sufficient to prove (...) the Banach–Tarski Paradox on the decomposition of a ball into two equally sized balls, and hence to show the existence of nonmeasurable events. This provides a powerful argument against unrestricted orthodox Bayesianism that works even without AC. A corollary of our formal result is that if every partial order extends to a total preorder while maintaining strict comparisons, then the Banach–Tarski Paradox holds. This yields an argument that incommensurability cannot be avoided in ambitious versions of decision theory. (shrink)

In the context of [Formula: see text], we analyze a version of Hindman’s finite unions theorem on infinite sets, which normally requires the Axiom of Choice to be proved. We establish the implication relations between this statement and various classical weak choice principles, thus precisely locating the strength of the statement as a weak form of the [Formula: see text].

In the Zermelo–Fraenkel set theory (ZF), |$|\textrm {fin}(A)|<2^{|A|}\leq |\textrm {Part}(A)|$| for any infinite set |$A$|⁠, where |$\textrm {fin}(A)$| is the set of finite subsets of |$A$|⁠, |$2^{|A|}$| is the cardinality of the power set of |$A$| and |$\textrm {Part}(A)$| is the set of partitions of |$A$|⁠. In this paper, we show in ZF that |$|\textrm {fin}(A)|<|\textrm {Part}_{\textrm {fin}}(A)|$| for any set |$A$| with |$|A|\geq 5$|⁠, where |$\textrm {Part}_{\textrm {fin}}(A)$| is the set of partitions of |$A$| whose members are finite. We (...) also show that, without the Axiom of Choice, any relationship between |$|\textrm {Part}_{\textrm {fin}}(A)|$| and |$2^{|A|}$| for an arbitrary infinite set |$A$| cannot be concluded. (shrink)

In set theory without the Axiom of Choice (), we investigate the problem of the placement of Łoś's Theorem () in the hierarchy of weak choice principles, and answer several open questions from the book Consequences of the Axiom of Choice by Howard and Rubin, as well as an open question by Brunner. We prove a number of results summarised in § 3.

Let {: i ∈I } be a family of compact spaces and let X be their Tychonoff product. [MATHEMATICAL SCRIPT CAPITAL C] denotes the family of all basic non-trivial closed subsets of X and [MATHEMATICAL SCRIPT CAPITAL C]R denotes the family of all closed subsets H = V × Πmath imageXi of X, where V is a non-trivial closed subset of Πmath imageXi and QH is a finite non-empty subset of I. We show: Every filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL (...) C]R extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ if and only if every family H ⊂ [MATHEMATICAL SCRIPT CAPITAL C] with the finite intersection property extends to a maximal [MATHEMATICAL SCRIPT CAPITAL C] family F with the fip. The proposition “if every filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C]R extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ, then X is compact” is not provable in ZF. The statement “for every family {: i ∈ I } of compact spaces, every filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C]R, Y = Πi ∈IYi, extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ” is equivalent to Tychonoff's compactness theorem. The statement “for every family {: i ∈ ω } of compact spaces, every countable filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C]R, X = Πi ∈ωXi, extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ” is equivalent to Tychonoff's compactness theorem restricted to countable families. The countable Axiom of Choice is equivalent to the proposition “for every family {: i ∈ ω } of compact topological spaces, every countable family ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C] with the fip extends to a maximal [MATHEMATICAL SCRIPT CAPITAL C] family ℱ with the fip”. (shrink)

Weak filters were introduced by K. Schlechta in the ’90s with the aim of interpreting defaults via a generalized ‘most’ quantifier in first-order logic. They arguably represent the largest class of structures that qualify as a ‘collection of large subsets’ of a given index set |$I$|⁠, in the sense that it is difficult to think of a weaker, but still plausible, definition of the concept. The notion of weak ultrafilter naturally emerges and has been used in epistemic logic and other (...) knowledge representation (KR) applications. We provide a comprehensive exposition of weak filters and ultrafilters, comparing them with their classical counterparts that have found very important applications in logic, set theory and topology. Weak (ultra)filters capture the ‘majorities’ of social choice theory (which coincide with the commonsense understanding of a ‘large subset’) and in that respect, they outperform classical (ultra)filters in their role as ‘collections of large subsets’. Yet, they lack some of the elegant properties of classical (ultra)filters that make them an almost perfect match for logical theories. We investigate the extent to which some important classical results carry through in this new setting, and we focus on genuinely weak filters and genuinely weak ultrafilters. For weak ultrafilters, we proceed to provide concrete examples, answer questions of existence and characterize their construction. The class of weak (ultra)filters represents a genuine contribution of KR to set theory that might be of some interest to set theorists too and we initiate this study by providing a glimpse on natural set-theoretic questions. (shrink)

We work with symmetric extensions based on Lévy collapse and extend a few results of Apter, Cody, and Koepke. We prove a conjecture of Dimitriou from her Ph.D. thesis. We also observe that if V is a model of $$\textsf {ZFC}$$ ZFC, then $$\textsf {DC}_{<\kappa }$$ DC < κ can be preserved in the symmetric extension of V in terms of symmetric system $$\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle $$ ⟨ P, G, F ⟩, if $${\mathbb {P}}$$ P is $$\kappa $$ (...) κ -distributive and $${\mathcal {F}}$$ F is $$\kappa $$ κ -complete. Further we observe that if $$\delta <\kappa $$ δ < κ and V is a model of $$\textsf {ZF}+\textsf {DC}_{\delta }$$ ZF + DC δ, then $$\textsf {DC}_{\delta }$$ DC δ can be preserved in the symmetric extension of V in terms of symmetric system $$\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle $$ ⟨ P, G, F ⟩, if $${\mathbb {P}}$$ P is ($$\delta +1$$ δ + 1 )-strategically closed and $${\mathcal {F}}$$ F is $$\kappa $$ κ -complete. (shrink)

It is shown that in ZF Martin's -axiom together with the axiom of countable choice for finite sets imply that arbitrary powers 2X of a 2-point discrete space are Baire; and that the latter property implies the following: (a) the axiom of countable choice for finite sets, (b) power sets of infinite sets are Dedekind-infinite, (c) there are no amorphous sets, and (d) weak forms of the Kinna-Wagner principle.

It is shown that in ZF Martin's $ \aleph_{0}^{}$-axiom together with the axiom of countable choice for finite sets imply that arbitrary powers 2X of a 2-point discrete space are Baire; and that the latter property implies the following: the axiom of countable choice for finite sets, power sets of infinite sets are Dedekind-infinite, there are no amorphous sets, and weak forms of the Kinna-Wagner principle.