## Selected journal publications:

A. Çevik, Minimal bounds and members of effectively closed sets, submitted

A. Çevik, S. Topal, Most-Intersection of Countable Sets, submitted

A. Çevik, An effectively closed set with no join property, submitted.

A. Çevik, Hierarchical Multiverse of Sets, submitted.

A. Çevik, Descriptive classification of a priori propositions by analytic derivation, submitted.

A. Çevik, Palindromic characteristic of committed graphs and some model theoretic properties, Int. J. Foundations of Computer Science, 31(4), p. 483-498 (2020).

S. Topal, A. Çevik, Natural density and the quantifier *Most*, Journal of Logic, Language and Information, DOI 10.1007/s10849-019-09312-4 (2020).

A. Çevik, $\omega$-circularity of Yablo’s paradox, Logic and Logical Philosophy, 20(3), p. 325-333 (2020).

S. Topal, A. Çevik, F. Smarandache, A New Group Decision Making Method with Distributed Indeterminacy Form under Neutrosophic Environment: Neutrosophic Social Choice Theory, IEEE Access, Vol. 8, p. 42000-42009 (2020).

A. Çevik, Axiom of Neutrosophic Choice, International Journal of Unconventional Computing, Vol. 14, p. 467-478 (2019).

A. Çevik, S. Topal, F. Smarandache: Neutrosophic Computability and Enumeration, DOI: 10.3390/10110643, Symmetry, 10, 643 (2018).

A. Çevik, S. Topal, F. Smarandache: Neutrosophic Logic Based Quantum Computing, DOI:10.3390/sym10110656, Symmetry, 10, 656 (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

## Books:

Matematik Felsefesi ve Matematiksel Mantık *(Turkish)*, Nesin Yayıncılık, 2019.

errata

Philosophy of Mathematics: Classic and Contemporary Studies (in preparation)

Kuantum Hesaplama Kuramı (Turkish, in preparation)

## Lecture notes:

Quantum Computing lecture notes (draft) pdf

*Switch to Turkish webpage to see more publications.*