A weak essentially undecidable theory

• Autorzy: Bendova K.
• Języki publikacji: EN
• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2007
• Tom: No. 42
• Strony: 145--151
• Opis fizyczny: Bibliogr. 8 poz., rys.

Twórcy

autor

Bendova K.

• Prague, Czech Republic

Bibliografia

• [1] K. Bendová, On ordering and multiplication of natural numbers, Arch. Math. Logic 40 (2001), pp. 19-23.
• [2] P. Hájek and P. Pudlák, Metamathematics of first-order arithmetic, Springer-Verlag 1993.
• [3] J. Krajček, Bounded arithmetic,propositional logic and complexity theory, Cambridge Univ. Press 1995.
• [4] M. Presburger, Über die Vollständigkeit eines gewissen Systems der Arithmetik der ganzen Zahlen, in dem die Addition als einzige Operation hervortritt, Cempter Rendus du 1. Congres des Mathematiciens des pays Slaves, Warszawa 129, pp. 92-101.
• [5] M.O. Rabin, Decidable theories. In: Handbook of Mathematical Logic (Barwise, ed.) North Holland P.C. 1977.
• [6] J. Robinson, Definability and decisin problems in arithmetic, Journ. Symb. Log. 14 (1949), pp. 980-114.
• [7] T. Skolem, Über einige Satzfunktionen in der Arithmetik, V. A. Skr. I, No 7, (1930) pp. 1-28 (reprinted in J. Fenstad, editor, Selected Works in Logic, pp. 281-306, Universitetsforlaget, Oslo, 1970).
• [8] A. Tarski, A. Mostowski, and R.M. Robinson, Undecidable theories. North Holland P.C. 1953.