Selected journal publications:
Minimal bounds and members of effectively closed sets (submitted)
Countable chains and infinite joins in effectively closed sets in Cantor space (submitted)
An effectively closed set with no join property (submitted)
A. Çevik, S. Topal, F. Smarandache: Neutrosophic Computability and Enumeration, DOI: 10.3390/10110643, Symmetry, 10, 643 (2018).
Π^0_1 choice classes, DOI 10.1002/malq201500055, Mathematical Logic Quarterly, Vol. 62, No 6, pp. 563-574 (2016). pdf
Antibasis theorems for Π^0_1 classes and the jump hierarchy, DOI: 10.1007/s00153-012-0310-y, Archive for Mathematical Logic, Vol.52, Issue 1-2, pp. 137-142, Springer, (2013). pdf
Philosophy of Hilbert’s Formalization Program, Felsefe Dünyası, Vol. 60, pp. 265-280 (2014). docx
On the possibility of supertasks, Beytulhikme An International Journal of Philosophy, Vol.5, pp. 171-180 (2013). pdf
Selected conference publications:
An Infinite Proper Subset of Regular Languages as a State Change Based Coupling of Finite Automata (with H. Kılıç), International Conference on Computer Science and Applications 2015 (ICCSA 2015), University of California, Berkeley, October 2015, Conference proceedings, Vol I, pp. 55-58 (2015). pdf
Is the Church-Turing Thesis the new Pythagoreanism?, 5th World Congress and School on Universal Logic, University of Istanbul, June 25-30 2015, Istanbul, Turkey. Conference proceedings, pp. 85-86 (2015). presentation
Philosophy of Mathematics and Mathematical Logic (In Turkish), submitted for publication.
Quantum Computing lecture notes (draft)
Switch to Turkish webpage to see more publications.