Kostas Hatzikiriakou

According to our database, Kostas Hatzikiriakou authored at least 6 papers between 1989 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Reverse Mathematics, Young Diagrams, and the ascending Chain condition.

Kostas Hatzikiriakou, Stephen G. Simpson

J. Symb. Log., 2017

1996

WKL₀ and Stone's Separation Theorem for Convex Sets.

Kostas Hatzikiriakou

Ann. Pure Appl. Log., 1996

1994

A note on ordinal numbers and rings of formal power series.

Kostas Hatzikiriakou

Arch. Math. Log., 1994

1991

Minimal Prime Ideals and Arithmetic Comprehension.

Kostas Hatzikiriakou

J. Symb. Log., 1991

1989

Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic.

Kostas Hatzikiriakou, Stephen G. Simpson

Ann. Pure Appl. Log., 1989

Algebraic disguises of<i>Σ</i>₁⁰ induction.

Kostas Hatzikiriakou

Arch. Math. Log., 1989