Eleftherios Tachtsis

Ann. Pure Appl. Log., 2025

2023

Models of sfZFA in which every linearly ordered set can be well ordered.

[BibT_eX]

[DOI]

Arch. Math. Log., November, 2023

On Hausdorff operators in ZF $\mathsf {ZF}$.

[BibT_eX]

[DOI]

Math. Log. Q., August, 2023

Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice.

[BibT_eX]

[DOI]

Eliza Wajch

Ann. Pure Appl. Log., July, 2023

2022

Almost Disjoint and MAD families in Vector Spaces and Choice Principles.

[BibT_eX]

[DOI]

J. Symb. Log., 2022

2021

MA ( ℵ 0 ) restricted to complete Boolean algebras and choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2021

2020

On Ramsey choice and partial choice for infinite families of n-element sets.

[BibT_eX]

[DOI]

Lorenz Halbeisen

Arch. Math. Log., 2020

2019

Łoś's theorem and the axiom of choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2019

2018

A note on the deductive strength of the Nielsen-Schreier theorem.

[BibT_eX]

[DOI]

Math. Log. Q., 2018

On the Set-Theoretic strength of Ellis' Theorem and the existence of Free Idempotent Ultrafilters on ω.

[BibT_eX]

[DOI]

J. Symb. Log., 2018

On the minimal cover property and certain notions of finite.

[BibT_eX]

[DOI]

Arch. Math. Log., 2018

2017

On infinite-dimensional Banach spaces and weak forms of the axiom of choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2017

2016

Finiteness Classes and Small Violations of Choice.

[BibT_eX]

[DOI]

Horst Herrlich

Notre Dame J. Formal Log., 2016

On Martin's Axiom and Forms of Choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2016

On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements.

[BibT_eX]

[DOI]

Denis I. Saveliev

Math. Log. Q., 2016

On Ramsey's Theorem and the existence of Infinite Chains or Infinite Anti-Chains in Infinite Posets.

[BibT_eX]

[DOI]

J. Symb. Log., 2016

No decreasing sequence of cardinals.

[BibT_eX]

[DOI]

Arch. Math. Log., 2016

2014

On a variant of Rado's selection lemma and its equivalence with the Boolean prime ideal theorem.

[BibT_eX]

[DOI]

Arch. Math. Log., 2014

2013

On vector spaces over specific fields without choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2013

The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters.

[BibT_eX]

[DOI]

Eric J. Hall

Math. Log. Q., 2013

2010

Odd-sized partitions of Russell-sets.

[BibT_eX]

[DOI]

Horst Herrlich

Math. Log. Q., 2010

Products of some special compact spaces and restricted forms of AC.

[BibT_eX]

[DOI]

J. Symb. Log., 2010

2005

Countable sums and products of metrizable spaces in ZF.

[BibT_eX]

[DOI]

Math. Log. Q., 2005

Properties of the real line and weak forms of the Axiom of Choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2005

2003

On Sequentially Compact Subspaces of ℝ without the Axiom of Choice.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2003

Choice principles for special subsets of the real line.

[BibT_eX]

[DOI]

Math. Log. Q., 2003

2001

Some Weak Forms of the Axiom of Choice Restricted to the Real Line.

[BibT_eX]

[DOI]

Math. Log. Q., 2001

Compact Metric Spaces and Weak Forms of the Axiom of Choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2001

Non-constructive Properties of the Real Numbers.

[BibT_eX]

[DOI]

Math. Log. Q., 2001

2000

On Lindelöf Metric Spaces and Weak Forms of the Axiom of Choice.

[BibT_eX]

[DOI]

Math. Log. Q., 2000

1999

Nonconstructive Properties of Well-Ordered T<sub>2</sub> topological Spaces.

[BibT_eX]

[DOI]