Equivalents of the axiom of choice. 2nd ed
From MaRDI portal
Publication:1068821
zbMath0582.03033MaRDI QIDQ1068821
Publication date: 1985
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
NBG set theoryextensionalityanalysislogicalgebraic formsfoundationwell-orderingcardinal number formschoice-like principlesClass Formsforms from topologylaw of trichotomymaximal principlesSet Forms
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Axiom of choice and related propositions (03E25)
Related Items
Permutation models and topological groups, Nonconstructive advances in polynomial-time complexity, Consequences of Vopěnka’s Principle over weak set theories, Partition principles and infinite sums of cardinal numbers, Beppo Levi's analysis of the paradoxes, Finiteness classes arising from Ramsey-theoretic statements in set theory without choice, On the strength of the finite intersection principle, A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC, Coupled fixed point results on quasi-Banach spaces with application to a system of integral equations, Lattices of subclasses, Łoś's theorem and the axiom of choice, von Neumann standard quantum mechanics is logically inconsistent, Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics, Fixed points and completeness in metric and generalized metric spaces, Reverse mathematics and properties of finite character, Realisability for infinitary intuitionistic set theory, Unions and the axiom of choice, Bases for vector spaces over the two-element field and the axiom of choice, TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY, Graph colorings and the axiom of choice, Equivalence classes of perturbations in cosmologies of Bianchi types I and V: Propagation and constraint equations, MAXIMAL FILTERS, CONTINUITY AND CHOICE PRINCIPLES, Unnamed Item, On Comparability in a Topos, Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem, On certain non-constructive properties of infinite-dimensional vector spaces, Definitions of compact, The origin of Zorn's lemma, Cardinality of relations with applications, The finiteness of compact Boolean algebras, Preserving cardinals and weak forms of Zorn’s lemma in realizability models, Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice, First steps towards a formalization of forcing
