J. Berstel, Transductions and context free languages Available from, Teubner Studienbücher Informatik, 1979.
DOI : 10.1007/978-3-663-09367-1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.162.684

F. R. Drake, Set Theory, An Introduction to Large cardinals, of Studies in Logic and the Foundations of Mathematics, 1974.

H. Ebbinghaus, J. Flum, and W. Thomas, Mathematical logic. Undergraduate Texts in Mathematics, 1994.

]. O. Fin09 and . Finkel, The complexity of infinite computations in models of set theory, Logical Methods in Computer Science, vol.5, issue.44, pp.1-19, 2009.

M. Harvey and . Friedman, My forty years on his shoulders, Kurt Gödel and the foundations of mathematics, pp.399-432, 2011.

G. Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie, Mathematische Annalen, vol.25, issue.1, pp.493-565, 1936.
DOI : 10.1007/BF01565428

J. Hartmanis, Independence results about context-free languages and lower bounds, Information Processing Letters, vol.20, issue.5, pp.241-248, 1985.
DOI : 10.1016/0020-0190(85)90026-2

T. Harju, Decision Questions on Integer Matrices, Proceedings of the International Conference Developments in language theory, pp.57-68, 2001.
DOI : 10.1007/3-540-46011-X_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.5498

V. Halava and T. Harju, Mortality in Matrix Semigroups, The American Mathematical Monthly, vol.108, issue.7, pp.649-653, 2001.
DOI : 10.2307/2695274
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.4095

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to automata theory , languages, and computation, 2001.
DOI : 10.1145/568438.568455

A. Horská, Where is the Gödel-point hiding: Gentzen's consistency proof of 1936 and his representation of constructive ordinals, 2014.

O. H. Ibarra, Restricted one-counter machines with undecidable universe problems Mathematical Systems Theory, pp.181-186, 1979.
DOI : 10.1007/bf01744294

D. Joseph and P. Young, Independence results in computer science?, Journal of Computer and System Sciences, vol.23, issue.2, pp.205-222, 1981.
DOI : 10.1016/0022-0000(81)90013-1

A. Kanamori and K. Mcaloon, On G??del incompleteness and finite combinatorics, Annals of Pure and Applied Logic, vol.33, issue.1, pp.23-41, 1987.
DOI : 10.1016/0168-0072(87)90074-1
URL : http://doi.org/10.1016/0168-0072(87)90074-1

K. Kunen, Set theory, volume 102 of Studies in Logic and the Foundations of Mathematics, 1980.

B. Poizat, A course in model theory. Universitext An introduction to contemporary mathematical logic, 2000.
DOI : 10.1007/978-1-4419-8622-1