Eleftherios Tachtsis

31 papers Journal 31
YearRankTypeTitle / Venue / Authors
2025 J jnl
Metric spaces in choiceless set theory.
Ann. Pure Appl. Log.
Eleftherios Tachtsis
2023 J jnl
Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice.
Ann. Pure Appl. Log.
Kyriakos Keremedis, Eleftherios Tachtsis, Eliza Wajch
2023 J jnl
Models of sfZFA in which every linearly ordered set can be well ordered.
Arch. Math. Log.
Paul E. Howard, Eleftherios Tachtsis
2023 J jnl
On Hausdorff operators in ZF $\mathsf {ZF}$.
Math. Log. Q.
Kyriakos Keremedis, Eleftherios Tachtsis
2022 J jnl
Almost Disjoint and MAD families in Vector Spaces and Choice Principles.
J. Symb. Log.
Eleftherios Tachtsis
2021 J jnl
MA ( ℵ 0 ) restricted to complete Boolean algebras and choice.
Math. Log. Q.
Eleftherios Tachtsis
2020 J jnl
On Ramsey choice and partial choice for infinite families of n-element sets.
Arch. Math. Log.
Lorenz Halbeisen, Eleftherios Tachtsis
2019 J jnl
Łoś's theorem and the axiom of choice.
Math. Log. Q.
Eleftherios Tachtsis
2018 J jnl
A note on the deductive strength of the Nielsen-Schreier theorem.
Math. Log. Q.
Eleftherios Tachtsis
2018 J jnl
On the Set-Theoretic strength of Ellis' Theorem and the existence of Free Idempotent Ultrafilters on ω.
J. Symb. Log.
Eleftherios Tachtsis
2018 J jnl
On the minimal cover property and certain notions of finite.
Arch. Math. Log.
Eleftherios Tachtsis
2017 J jnl
On infinite-dimensional Banach spaces and weak forms of the axiom of choice.
Math. Log. Q.
Paul E. Howard, Eleftherios Tachtsis
2016 J jnl
Finiteness Classes and Small Violations of Choice.
Notre Dame J. Formal Log.
Horst Herrlich, Paul E. Howard, Eleftherios Tachtsis
2016 J jnl
No decreasing sequence of cardinals.
Arch. Math. Log.
Paul E. Howard, Eleftherios Tachtsis
2016 J jnl
On Martin's Axiom and Forms of Choice.
Math. Log. Q.
Eleftherios Tachtsis
2016 J jnl
On Ramsey's Theorem and the existence of Infinite Chains or Infinite Anti-Chains in Infinite Posets.
J. Symb. Log.
Eleftherios Tachtsis
2016 J jnl
On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements.
Math. Log. Q.
Paul E. Howard, Denis I. Saveliev, Eleftherios Tachtsis
2014 J jnl
On a variant of Rado's selection lemma and its equivalence with the Boolean prime ideal theorem.
Arch. Math. Log.
Paul E. Howard, Eleftherios Tachtsis
2013 J jnl
On vector spaces over specific fields without choice.
Math. Log. Q.
Paul E. Howard, Eleftherios Tachtsis
2013 J jnl
The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters.
Math. Log. Q.
Eric J. Hall, Kyriakos Keremedis, Eleftherios Tachtsis
2010 J jnl
Odd-sized partitions of Russell-sets.
Math. Log. Q.
Horst Herrlich, Eleftherios Tachtsis
2010 J jnl
Products of some special compact spaces and restricted forms of AC.
J. Symb. Log.
Kyriakos Keremedis, Eleftherios Tachtsis
2005 J jnl
Countable sums and products of metrizable spaces in ZF.
Math. Log. Q.
Kyriakos Keremedis, Eleftherios Tachtsis
2005 J jnl
Properties of the real line and weak forms of the Axiom of Choice.
Math. Log. Q.
Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Eleftherios Tachtsis
2003 J jnl
Choice principles for special subsets of the real line.
Math. Log. Q.
Kyriakos Keremedis, Eleftherios Tachtsis
2003 J jnl
On Sequentially Compact Subspaces of ℝ without the Axiom of Choice.
Notre Dame J. Formal Log.
Kyriakos Keremedis, Eleftherios Tachtsis
2001 J jnl
Compact Metric Spaces and Weak Forms of the Axiom of Choice.
Math. Log. Q.
Kyriakos Keremedis, Eleftherios Tachtsis
2001 J jnl
Non-constructive Properties of the Real Numbers.
Math. Log. Q.
Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley, Eleftherios Tachtsis
2001 J jnl
Some Weak Forms of the Axiom of Choice Restricted to the Real Line.
Math. Log. Q.
Kyriakos Keremedis, Eleftherios Tachtsis
2000 J jnl
On Lindelöf Metric Spaces and Weak Forms of the Axiom of Choice.
Math. Log. Q.
Kyriakos Keremedis, Eleftherios Tachtsis
1999 J jnl
Nonconstructive Properties of Well-Ordered T
Notre Dame J. Formal Log.
Kyriakos Keremedis, Eleftherios Tachtsis