Kyriakos Keremedis

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 7

Top Topics

Discrete Geometry

Steerable Filters

Nearest Neighbor Queries

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Period. Math. Hung.

Publications

Kyriakos Keremedis, Eleftherios Tachtsis, Eliza Wajch
Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice. Ann. Pure Appl. Log. 174 (7) (2023)
Kyriakos Keremedis, Eleftherios Tachtsis
On Hausdorff operators in ZF $\mathsf {ZF}$. Math. Log. Q. 69 (3) (2023)
Eric J. Hall, Kyriakos Keremedis
Independent families and some notions of finiteness. Arch. Math. Log. 62 (5-6) (2023)
Kyriakos Keremedis, Eliza Wajch
Cuf products and cuf sums of (quasi-) metrizable spaces in ${\mathbf {Z}}{\mathbf {F}}$. Period. Math. Hung. 85 (2) (2022)
Kyriakos Keremedis
Two new equivalents of Lindelöf metric spaces. Math. Log. Q. 64 (1-2) (2018)
Kyriakos Keremedis
Non-discrete metrics in and some notions of finiteness. Math. Log. Q. 62 (4-5) (2016)
Kyriakos Keremedis
On sequentially closed subsets of the real line in ZF. Math. Log. Q. 61 (1-2) (2015)
Kyriakos Keremedis
The Boolean prime ideal theorem and products of cofinite topologies. Math. Log. Q. 59 (6) (2013)
Eric J. Hall, Kyriakos Keremedis, Eleftherios Tachtsis
The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters. Math. Log. Q. 59 (4-5) (2013)
Kyriakos Keremedis
Compact and Loeb Hausdorff spaces in &equation image; and the axiom of choice for families of finite sets. Math. Log. Q. 58 (3) (2012)
Kyriakos Keremedis
Tychonoff products of compact spaces in ZF and closed ultrafilters. Math. Log. Q. 56 (5) (2010)
Kyriakos Keremedis, Eleftherios Tachtsis
Products of some special compact spaces and restricted forms of AC. J. Symb. Log. 75 (3) (2010)
Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin
Unions and the axiom of choice. Math. Log. Q. 54 (6) (2008)
Kyriakos Keremedis, Eleftherios Tachtsis
Countable sums and products of metrizable spaces in ZF. Math. Log. Q. 51 (1) (2005)
Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Eleftherios Tachtsis
Properties of the real line and weak forms of the Axiom of Choice. Math. Log. Q. 51 (6) (2005)
Kyriakos Keremedis
Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces. Math. Log. Q. 50 (2) (2004)
Kyriakos Keremedis, Eleftherios Tachtsis
On Sequentially Compact Subspaces of ℝ without the Axiom of Choice. Notre Dame J. Formal Log. 44 (3) (2003)
Kyriakos Keremedis
The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces. Math. Log. Q. 49 (2) (2003)
Kyriakos Keremedis
Some weak forms of the Baire category theorem. Math. Log. Q. 49 (4) (2003)
Kyriakos Keremedis, Eleftherios Tachtsis
Choice principles for special subsets of the real line. Math. Log. Q. 49 (5) (2003)
Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin
Metric spaces and the axiom of choice. Math. Log. Q. 49 (5) (2003)
Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin
Products of compact spaces and the axiom of choice II. Math. Log. Q. 49 (1) (2003)
Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin
Products of Compact Spaces and the Axiom of Choice. Math. Log. Q. 48 (4) (2002)
Kyriakos Keremedis
The Vector Space Kinna-Wagner Principle is Equivalent to the Axiom of Choice. Math. Log. Q. 47 (2) (2001)
Kyriakos Keremedis, Eleftherios Tachtsis
Compact Metric Spaces and Weak Forms of the Axiom of Choice. Math. Log. Q. 47 (1) (2001)
Kyriakos Keremedis
Disasters in topology without the axiom of choice. Arch. Math. Log. 40 (8) (2001)
Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley, Eleftherios Tachtsis
Non-constructive Properties of the Real Numbers. Math. Log. Q. 47 (3) (2001)
Kyriakos Keremedis, Eleftherios Tachtsis
Some Weak Forms of the Axiom of Choice Restricted to the Real Line. Math. Log. Q. 47 (3) (2001)
Kyriakos Keremedis
and the Axiom of Choice. Math. Log. Q. 46 (4) (2000)
Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley
Compactness in Countable Tychonoff Products and Choice. Math. Log. Q. 46 (1) (2000)
Kyriakos Keremedis, Eleftherios Tachtsis
On Lindelöf Metric Spaces and Weak Forms of the Axiom of Choice. Math. Log. Q. 46 (1) (2000)
Horst Herrlich, Kyriakos Keremedis
On Countable Products of Finite Hausdorff Spaces. Math. Log. Q. 46 (4) (2000)
Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley
Paracompactness of Metric Spaces and the Axiom of Multiple Choice. Math. Log. Q. 46 (2) (2000)
Kyriakos Keremedis
Weak Hausdorff Gaps and the p≤t Problem. Math. Log. Q. 45 (1999)
Kyriakos Keremedis, Eleftherios Tachtsis
topological Spaces. Notre Dame J. Formal Log. 40 (4) (1999)
Kyriakos Keremedis, Horst Herrlich
Powers of 2. Notre Dame J. Formal Log. 40 (3) (1999)
Kyriakos Keremedis
Some remarks on category of the real line. Arch. Math. Log. 38 (3) (1999)
Kyriakos Keremedis
Extending Independent Sets to Bases and the Axiom of Choice. Math. Log. Q. 44 (1998)
Paul E. Howard, Kyriakos Keremedis, Herman Rubin, Jean E. Rubin
Disjoint Unions of Topological Spaces and Choice. Math. Log. Q. 44 (1998)
Kyriakos Keremedis
Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice. Math. Log. Q. 44 (1998)
Paul E. Howard, Kyriakos Keremedis, Herman Rubin, Jean E. Rubin
Versions of Normality and Some Weak Forms of the Axiom of Choice. Math. Log. Q. 44 (1998)
Kyriakos Keremedis
Partition Reals and the Consistency of t > add(R). Math. Log. Q. 39 (1993)
Kyriakos Keremedis
A Note on Shoenfield's Unramified Forcing. Math. Log. Q. 37 (9-12) (1991)
Alexander Abian, Kyriakos Keremedis
Unramified forcing preserving the law of double negation. Arch. Math. Log. 26 (1) (1987)