Unramified forcing preserving the law of double negation. - Alexander Abian; Kyriakos Keremedis (Arch. Math. Log., 1987)

A Note on Shoenfield's Unramified Forcing. - Kyriakos Keremedis (Math. Log. Q., 1991)

Partition Reals and the Consistency of t > add(R). - Kyriakos Keremedis (Math. Log. Q., 1993)

Versions of Normality and Some Weak Forms of the Axiom of Choice. - Paul E. Howard; Kyriakos Keremedis; Herman Rubin; Jean E. Rubin (Math. Log. Q., 1998)

Disjoint Unions of Topological Spaces and Choice. - Paul E. Howard; Kyriakos Keremedis; Herman Rubin; Jean E. Rubin (Math. Log. Q., 1998)

Extending Independent Sets to Bases and the Axiom of Choice. - Kyriakos Keremedis (Math. Log. Q., 1998)

Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice. - Kyriakos Keremedis (Math. Log. Q., 1998)

Some remarks on category of the real line. - Kyriakos Keremedis (Arch. Math. Log., 1999)

Weak Hausdorff Gaps and the p≤t Problem. - Kyriakos Keremedis (Math. Log. Q., 1999)

Powers of 2. - Kyriakos Keremedis; Horst Herrlich (Notre Dame J. Formal Log., 1999)

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

On Countable Products of Finite Hausdorff Spaces. - Horst Herrlich; Kyriakos Keremedis (Math. Log. Q., 2000)

Compactness in Countable Tychonoff Products and Choice. - Paul E. Howard; Kyriakos Keremedis; Jean E. Rubin; Adrienne Stanley (Math. Log. Q., 2000)

Paracompactness of Metric Spaces and the Axiom of Multiple Choice. - Paul E. Howard; Kyriakos Keremedis; Jean E. Rubin; Adrienne Stanley (Math. Log. Q., 2000)

The Compactness of 2R and the Axiom of Choice. - Kyriakos Keremedis (Math. Log. Q., 2000)

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

Disasters in topology without the axiom of choice. - Kyriakos Keremedis (Arch. Math. Log., 2001)

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

The Vector Space Kinna-Wagner Principle is Equivalent to the Axiom of Choice. - Kyriakos Keremedis (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)

Products of Compact Spaces and the Axiom of Choice. - Omar De la Cruz; Eric J. Hall; Paul E. Howard; Kyriakos Keremedis; Jean E. Rubin (Math. Log. Q., 2002)

Products of compact spaces and the axiom of choice II. - Omar De la Cruz; Eric J. Hall; Paul E. Howard; Kyriakos Keremedis; Jean E. Rubin (Math. Log. Q., 2003)

Metric spaces and the axiom of choice. - Omar De la Cruz; Eric J. Hall; Paul E. Howard; Kyriakos Keremedis; Jean E. Rubin (Math. Log. Q., 2003)

The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces. - Kyriakos Keremedis (Math. Log. Q., 2003)

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

Some weak forms of the Baire category theorem. - Kyriakos Keremedis (Math. Log. Q., 2003)

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

Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces. - Kyriakos Keremedis (Math. Log. Q., 2004)

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)

Unions and the axiom of choice. - Omar De la Cruz; Eric J. Hall; Paul E. Howard; Kyriakos Keremedis; Jean E. Rubin (Math. Log. Q., 2008)

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

Tychonoff products of compact spaces in ZF and closed ultrafilters. - Kyriakos Keremedis (Math. Log. Q., 2010)

Compact and Loeb Hausdorff spaces in &equation image; and the axiom of choice for families of finite sets. - Kyriakos Keremedis (Math. Log. Q., 2012)

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)

The Boolean prime ideal theorem and products of cofinite topologies. - Kyriakos Keremedis (Math. Log. Q., 2013)

On sequentially closed subsets of the real line in ZF. - Kyriakos Keremedis (Math. Log. Q., 2015)

Non-discrete metrics in and some notions of finiteness. - Kyriakos Keremedis (Math. Log. Q., 2016)

Two new equivalents of Lindelöf metric spaces. - Kyriakos Keremedis (Math. Log. Q., 2018)

Cuf products and cuf sums of (quasi-) metrizable spaces in ${ mathbf {Z}}{ mathbf {F}}$. - Kyriakos Keremedis; Eliza Wajch (Period. Math. Hung., 2022)

Independent families and some notions of finiteness. - Eric J. Hall; Kyriakos Keremedis (Arch. Math. Log., 2023)

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)