Dergiler:

Minimal bounds and members of effectively closed sets (gönderildi)

An effectively closed set with no join property (gönderildi)

Π^0_1 choice classes, DOI 10.1002/malq201500055, Mathematical Logic Quarterly, Cilt. 62, Sayı 6, s. 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, Cilt 52, Sayı 1-2, s. 137-142, Springer, (2013). pdf

Philosophy of Hilbert’s Formalization Program, Felsefe Dünyası, Sayı. 60, s. 265-280 (2014). docx

On the possibility of supertasks, Beytulhikme An International Journal of Philosophy, Vol.5, pp.171-180 (2013). pdf

Konferans makaleleri:

An Infinite Proper Subset of Regular Languages as a State Change Based Coupling of Finite Automata (H. Kılıç ile), International Conference on Computer Science and Applications 2015 (ICCSA 2015), University of California, Berkeley, Ekim 2015, Konferans kitapçığı, Cilt I, s. 55-58 (2015). pdf

Is the Church-Turing Thesis the new Pythagoreanism?, 5th World Congress and School on Universal Logic, İstanbul Üniversitesi, 25-30 Haziran 2015, İstanbul, Türkiye. Konferans kitapçığı, s. 85-86 (2015). sunum

Kitaplar:

Matematik Felsefesi ve Matematiksel Mantık (yayınevine gönderildi)

Popüler yayınlar:

A. Çevik ve Z. Ercan: Nedir Bu `Modern’ Matematik?, Bilim ve Gelecek, Sayı 154, s. 71-81 (2016).

A. Çevik: Matematik Felsefesi: Mantıkçılık, Matematik Dünyası, Sayı 104, s. 50-53 (2016).

A. Çevik: Matematik Felsefesi: Sezgicilik, Matematik Dünyası, Sayı 103, s. 53-58 (2016).

A. Çevik: Matematik Felsefesi: Platonculuk, Matematik Dünyası, Sayı 102, s. 51-55 (2015).

A. Çevik: 19. ve 20. yüzyıl bilinebilirliğinin matematiğe yansımaları, Bilim ve Ütopya, Sayı 253, s. 62-65 (2015). pdf

A. Çevik: Kardinaller, Modeller ve Skolem Paradoksu, Matematik Dünyası, No 101, pp. 81-84. (2014).

A. Çevik: Sonluötesi Hesaplama, Matematik Dünyası, Sayı 95, s. 69-72 (2013).