Kostas Hatzikiriakou

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1996

3 Kostas Hatzikiriakou: WKL₀ 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)

	1996
3		Kostas Hatzikiriakou: WKL₀ 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]