03 Mathematical logic and foundations
03E25 Axiom of choice and related propositions (52 articles)
-
Banerjee, Amitayu:
Maximal independent sets, variants of chain/antichain principle and cofinal subsets without AC.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 64
(2023),
issue 2,
pp. 137-159
-
Morillon, Marianne:
Hyperplanes in matroids and the axiom of choice.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 63
(2022),
issue 4,
pp. 423-441
-
Keremedis, Kyriakos:
On subcompactness and countable subcompactness of metrizable spaces in ZF.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 63
(2022),
issue 2,
pp. 229-244
-
Banerjee, Amitayu; Gyenis, Zalán:
Chromatic number of the product of graphs, graph homomorphisms, antichains and cofinal subsets of posets without AC.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 62
(2021),
issue 3,
pp. 361-382
-
Goldstern, Martin; Klausner, Lukas D.:
Stranger things about forcing without AC.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 61
(2020),
issue 1,
pp. 21-26
-
Hayut, Yair; Karagila, Asaf:
Spectra of uniformity.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 60
(2019),
issue 2,
pp. 285-298
-
Tachtsis, Eleftherios:
On certain non-constructive properties of infinite-dimensional vector spaces.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 59
(2018),
issue 3,
pp. 285-309
-
Keremedis, Kyriakos:
On pseudocompactness and related notions in ZF.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 59
(2018),
issue 3,
pp. 371-381
-
Morillon, Marianne:
Linear extenders and the Axiom of Choice.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 58
(2017),
issue 4,
pp. 419-434
-
Herrlich, Horst; Tachtsis, Eleftherios:
On the solvability of systems of linear equations over the ring $\mathbb{Z}$ of integers.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 58
(2017),
issue 2,
pp. 241-260
-
Repický, Miroslav:
A proof of the independence of the Axiom of Choice from the Boolean Prime Ideal Theorem.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 56
(2015),
issue 4,
pp. 543-546
-
Herrlich, Horst; Howard, Paul; Tachtsis, Eleftherios:
On special partitions of Dedekind- and Russell-sets.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 53
(2012),
issue 1,
pp. 105-122
-
Herrlich, Horst; Keremedis, Kyriakos:
AC holds iff every compact completely regular topology can be extended to a compact Tychonoff topology.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 52
(2011),
issue 1,
pp. 139-143
-
Staš, Michal:
The regularity properties on the real line.
(English).
Acta Universitatis Carolinae. Mathematica et Physica,
vol. 51
(2010),
issue 3,
pp. 73-82
-
Morillon, Marianne:
Linear forms and axioms of choice.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 50
(2009),
issue 3,
pp. 421-431
-
Herrlich, Horst; Tachtsis, Eleftherios:
On the number of Russell's socks or $2+2+2+\dots=\text{?}$.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 47
(2006),
issue 4,
pp. 707-717
-
Erné, Marcel:
Prime and maximal ideals of partially ordered sets.
(English).
Mathematica Slovaca,
vol. 56
(2006),
issue 1,
pp. 1-22
-
Herrlich, Horst; Keremedis, Kyriakos; Tachtsis, Eleftherios:
Countable sums and products of Loeb and selective metric spaces.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 46
(2005),
issue 2,
pp. 373-384
-
Mildenberger, Heike:
On the groupwise density number for filters.
(English).
Acta Universitatis Carolinae. Mathematica et Physica,
vol. 46
(2005),
issue 2,
pp. 55-63
-
Ostrovsky, Alexey:
Questions.
(English).
Acta Universitatis Carolinae. Mathematica et Physica,
vol. 46
(2005),
issue 2,
pp. 65-66
-
Tachtsis, Eleftherios:
Disasters in metric topology without choice.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 43
(2002),
issue 1,
pp. 165-174
-
Alekseevsky, Dmitri; Arvanitoyeorgos, Andreas:
Metrics with homogeneous geodesics on flag manifolds.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 43
(2002),
issue 2,
pp. 189-199
-
Herrlich, Horst:
Products of Lindelöf $T_2$-spaces are Lindelöf – in some models of ZF.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 43
(2002),
issue 2,
pp. 319-333
-
Keremedis, Kyriakos; Tachtsis, Eleftherios:
On the extensibility of closed filters in T$_1$ spaces and the existence of well orderable filter bases.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 40
(1999),
issue 2,
pp. 343-353
-
Herrlich, Horst; Keremedis, Kyriakos:
Products, the Baire category theorem, and the axiom of dependent choice.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 40
(1999),
issue 4,
pp. 771-775
-
Turzański, Marian:
On the selector of twin functions.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 39
(1998),
issue 2,
pp. 303-307
-
Herrlich, Horst:
Choice principles in elementary topology and analysis.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 38
(1997),
issue 3,
pp. 545-552
-
Erné, Marcel:
Prime Ideal Theorems and systems of finite character.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 38
(1997),
issue 3,
pp. 513-536
-
Herrlich, Horst; Strecker, George E.:
When is $\bold N$ Lindelöf?.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 38
(1997),
issue 3,
pp. 553-556
-
Banaschewski, B.:
Radical ideals and coherent frames.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 37
(1996),
issue 2,
pp. 349-370
-
Erné, Marcel:
A primrose path from Krull to Zorn.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 36
(1995),
issue 1,
pp. 123-126
-
Walendziak, Andrzej:
Unique irredundant decompositions in upper continuous lattices.
(English).
Czechoslovak Mathematical Journal,
vol. 45
(1995),
issue 2,
pp. 193-199
-
Spišiak, Ladislav:
Dependences between definitions of finiteness. II.
(English).
Czechoslovak Mathematical Journal,
vol. 43
(1993),
issue 3,
pp. 391-407
-
Banaschewski, B.:
On the injectivity of Boolean algebras.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 34
(1993),
issue 3,
pp. 501-511
-
Simon, Petr:
Sacks forcing collapses $\frak c$ to $\frak b$.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 34
(1993),
issue 4,
pp. 707-710
-
Sgall, Jiří:
Forcing in the alternative set theory. I.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 32
(1991),
issue 2,
pp. 323-337
-
Sgall, Jiří; Sochor, Antonín:
Forcing in the alternative set theory. II.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 32
(1991),
issue 2,
pp. 339-353
-
Paseka, Jan:
A note on the prime ideal theorem.
(English).
Acta Universitatis Carolinae. Mathematica et Physica,
vol. 30
(1989),
issue 2,
pp. 131-136
-
Grätzer, G.; Wenzel, G. H.:
Tolerances, covering systems, and the axiom of choice.
(English).
Archivum Mathematicum,
vol. 25
(1989),
issue 1,
pp. 27-34
-
Spišiak, Ladislav; Vojtáš, Peter:
Dependences between definitions of finiteness.
(English).
Czechoslovak Mathematical Journal,
vol. 38
(1988),
issue 3,
pp. 389-397
-
Wagon, Stan:
The Banach-Tarski Paradox.
(Czech) [The Banach-Tarski Paradox].
Pokroky matematiky, fyziky a astronomie,
vol. 32
(1987),
issue 4,
pp. 227-230
-
Sgall, Jiří:
Construction of the class FN.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 27
(1986),
issue 3,
pp. 435-436
-
Brunner, Norbert:
Ultraproducts and the axiom of choice.
(English).
Archivum Mathematicum,
vol. 22
(1986),
issue 4,
pp. 175-180
-
Sochor, Antonín:
Constructibility and shiftings of view.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 26
(1985),
issue 3,
pp. 477-498
-
Kříž, Igor:
A constructive proof of the Tychonoff's theorem for locales.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 26
(1985),
issue 3,
pp. 619-630
-
Brunner, Norbert:
Realisierung und Auswahlaxiom.
(German) [Realization and axiom of choice].
Archivum Mathematicum,
vol. 20
(1984),
issue 1,
pp. 39-42
-
Čuda, Karel; Vojtášková, Blanka:
Models of AST without choice.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 25
(1984),
issue 4,
pp. 555-589
-
Comfort, W. W.:
O riešení niektorých nerozhodnutelných topologických problémov.
(Slovak) [Deciding some undecidable topological statements].
Pokroky matematiky, fyziky a astronomie,
vol. 27
(1982),
issue 5,
pp. 252-272
-
Dubins, L. E.:
Hausdorffův-Banachův-Tarského paradox.
(Czech) [The Hausdorff-Banach-Tarski paradox].
Pokroky matematiky, fyziky a astronomie,
vol. 26
(1981),
issue 3,
pp. 151-155
-
Andréka, H.; Németi, I.:
Does ${\bf SP}\ K\supseteq\ {\bf PS}\ K$ imply axiom of choice?.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 21
(1980),
issue 4,
pp. 699-706
-
Štěpánková, Olga:
Construction by transfinite induction.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 13
(1972),
issue 3,
pp. 583-591
-
Vopěnka, Petr:
O prvním Hilbertově problému (Hypotéza kontinua a axióm výběru).
(Czech) [The first Hilbert problem (Continuum hypothesis and axiom of choice)].
Pokroky matematiky, fyziky a astronomie,
vol. 16
(1971),
issue 3,
pp. 117-129