Nonconstructive Properties of Well-Ordered T2 topological Spaces. - Kyriakos Keremedis; Eleftherios Tachtsis (Notre Dame J. Formal Log., 1999)

On Lindelöf Metric Spaces and Weak Forms of the Axiom of Choice. - Kyriakos Keremedis; Eleftherios Tachtsis (Math. Log. Q., 2000)

Non-constructive Properties of the Real Numbers. - Paul E. Howard; Kyriakos Keremedis; Jean E. Rubin; Adrienne Stanley; Eleftherios Tachtsis (Math. Log. Q., 2001)

Compact Metric Spaces and Weak Forms of the Axiom of Choice. - Kyriakos Keremedis; Eleftherios Tachtsis (Math. Log. Q., 2001)

Some Weak Forms of the Axiom of Choice Restricted to the Real Line. - Kyriakos Keremedis; Eleftherios Tachtsis (Math. Log. Q., 2001)

Choice principles for special subsets of the real line. - Kyriakos Keremedis; Eleftherios Tachtsis (Math. Log. Q., 2003)

On Sequentially Compact Subspaces of ℝ without the Axiom of Choice. - Kyriakos Keremedis; Eleftherios Tachtsis (Notre Dame J. Formal Log., 2003)

Properties of the real line and weak forms of the Axiom of Choice. - Omar De la Cruz; Eric J. Hall; Paul E. Howard; Kyriakos Keremedis; Eleftherios Tachtsis (Math. Log. Q., 2005)

Countable sums and products of metrizable spaces in ZF. - Kyriakos Keremedis; Eleftherios Tachtsis (Math. Log. Q., 2005)

Products of some special compact spaces and restricted forms of AC. - Kyriakos Keremedis; Eleftherios Tachtsis (J. Symb. Log., 2010)

Odd-sized partitions of Russell-sets. - Horst Herrlich; Eleftherios Tachtsis (Math. Log. Q., 2010)

The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters. - Eric J. Hall; Kyriakos Keremedis; Eleftherios Tachtsis (Math. Log. Q., 2013)

On vector spaces over specific fields without choice. - Paul E. Howard; Eleftherios Tachtsis (Math. Log. Q., 2013)

On a variant of Rado's selection lemma and its equivalence with the Boolean prime ideal theorem. - Paul E. Howard; Eleftherios Tachtsis (Arch. Math. Log., 2014)

No decreasing sequence of cardinals. - Paul E. Howard; Eleftherios Tachtsis (Arch. Math. Log., 2016)

On Ramsey's Theorem and the existence of Infinite Chains or Infinite Anti-Chains in Infinite Posets. - Eleftherios Tachtsis (J. Symb. Log., 2016)

On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements. - Paul E. Howard; Denis I. Saveliev; Eleftherios Tachtsis (Math. Log. Q., 2016)

On Martin's Axiom and Forms of Choice. - Eleftherios Tachtsis (Math. Log. Q., 2016)

Finiteness Classes and Small Violations of Choice. - Horst Herrlich; Paul E. Howard; Eleftherios Tachtsis (Notre Dame J. Formal Log., 2016)

On infinite-dimensional Banach spaces and weak forms of the axiom of choice. - Paul E. Howard; Eleftherios Tachtsis (Math. Log. Q., 2017)

On the minimal cover property and certain notions of finite. - Eleftherios Tachtsis (Arch. Math. Log., 2018)

On the Set-Theoretic strength of Ellis' Theorem and the existence of Free Idempotent Ultrafilters on ω. - Eleftherios Tachtsis (J. Symb. Log., 2018)

A note on the deductive strength of the Nielsen-Schreier theorem. - Eleftherios Tachtsis (Math. Log. Q., 2018)

Łoś's theorem and the axiom of choice. - Eleftherios Tachtsis (Math. Log. Q., 2019)

On Ramsey choice and partial choice for infinite families of n-element sets. - Lorenz Halbeisen; Eleftherios Tachtsis (Arch. Math. Log., 2020)

MA ( ℵ 0 ) restricted to complete Boolean algebras and choice. - Eleftherios Tachtsis (Math. Log. Q., 2021)

Almost Disjoint and MAD families in Vector Spaces and Choice Principles. - Eleftherios Tachtsis (J. Symb. Log., 2022)

Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice. - Kyriakos Keremedis; Eleftherios Tachtsis; Eliza Wajch (Ann. Pure Appl. Log., 2023)

On Hausdorff operators in ZF $ mathsf {ZF}$. - Kyriakos Keremedis; Eleftherios Tachtsis (Math. Log. Q., 2023)

Models of sfZFA in which every linearly ordered set can be well ordered. - Paul E. Howard; Eleftherios Tachtsis (Arch. Math. Log., 2023)

Metric spaces in choiceless set theory. - Eleftherios Tachtsis (Ann. Pure Appl. Log., 2025)