Kostas Hatzikiriakou

Publication Activity (10 Years)

Years Active: 1989-2017
Publications (10 Years): 1

Top Topics

Graphical Representations

Mathematical Knowledge

Top Venues

Publications

Kostas Hatzikiriakou, Stephen G. Simpson
Reverse Mathematics, Young Diagrams, and the ascending Chain condition. J. Symb. Log. 82 (2) (2017)
Kostas Hatzikiriakou
and Stone's Separation Theorem for Convex Sets. Ann. Pure Appl. Log. 77 (3) (1996)
Kostas Hatzikiriakou
A note on ordinal numbers and rings of formal power series. Arch. Math. Log. 33 (4) (1994)
Kostas Hatzikiriakou
Minimal Prime Ideals and Arithmetic Comprehension. J. Symb. Log. 56 (1) (1991)
Kostas Hatzikiriakou, Stephen G. Simpson
Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic. Ann. Pure Appl. Log. 41 (1) (1989)
Kostas Hatzikiriakou
induction. Arch. Math. Log. 29 (1) (1989)