Kostas Hatzikiriakou

1996
3		Kostas Hatzikiriakou: WKL0 and Stone's Separation Theorem for Convex Sets. Ann. Pure Appl. Logic 77(3): 245-249 (1996)
1991
2		Kostas Hatzikiriakou: Minimal Prime Ideals and Arithmetic Comprehension. J. Symb. Log. 56(1): 67-70 (1991)
1989
1		Kostas Hatzikiriakou, Stephen G. Simpson: Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic. Ann. Pure Appl. Logic 41(1): 27-32 (1989)

Coauthor Index

1

Stephen G. Simpson

[1]