Geodesic
On the Rabin’s speed-up of proofs for some systems of first order logic
Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 1 (2010), pp. 61-63.

Voir la notice de l'article provenant de la source Math-Net.Ru

In the paper a notion of ordinary theory is considered. It is proved that some systems of first order predicate calculus are ordinary. This property is used for a proof complexity comparison in the considered systems.
Keywords: speed-up, proof complexity, predicate calculus, ordinary theory. 
@article{UZERU_2010_1_a10,
     author = {A. A. Chubaryan and H. R. Bolibekyan},
     title = {On the {Rabin{\textquoteright}s} speed-up of proofs for some systems of first order logic},
     journal = {Proceedings of the Yerevan State University. Physical and mathematical sciences},
     pages = {61--63},
     publisher = {mathdoc},
     number = {1},
     year = {2010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/UZERU_2010_1_a10/}
}
TY  - JOUR
AU  - A. A. Chubaryan
AU  - H. R. Bolibekyan
TI  - On the Rabin’s speed-up of proofs for some systems of first order logic
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2010
SP  - 61
EP  - 63
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2010_1_a10/
LA  - en
ID  - UZERU_2010_1_a10
ER  - 
%0 Journal Article
%A A. A. Chubaryan
%A H. R. Bolibekyan
%T On the Rabin’s speed-up of proofs for some systems of first order logic
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2010
%P 61-63
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2010_1_a10/
%G en
%F UZERU_2010_1_a10
A. A. Chubaryan; H. R. Bolibekyan. On the Rabin’s speed-up of proofs for some systems of first order logic. Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 1 (2010), pp. 61-63. http://geodesic.mathdoc.fr/item/UZERU_2010_1_a10/

[1] A. Ehrenfeucht, J. Mycielski, “Abbreviating proofs by adding new axioms”, Bull. of AMS, 17:3 (1971), 366–367 | DOI | MR

[2] S. Buss, “On Gödel Theorems on Lengths of Proofs. 1. Number of Lines and Speedup for Arithmetics”, Journal of Symbolic Logic, 39 (1994), 737–756 | DOI | MR

[3] A.A. Chubaryan, “On complexity characteristics of the conclusions in the systems of the predicate calculus and formal arithmetic”, Matematicheskie Voprosy Kibernetiki i Vychislitelnoy Tekhniki, 10, Yer., 1982, 124–139 (in Russian) | MR | Zbl

[4] S.C. Kleene, Introduction to Metamathematics, D. Van Nostrand Comp., Inc., New York-Toronto, 1952 | MR

[5] G.E. Mints, “Calculus of resolutions for non-classical logics”, Semiotika i Informatika, 1985, no. 25, 120–135 (in Russian) | MR | Zbl

[6] A.A. Chubaryan, H.R. Bolibekyan, “On the sequential calculus of weak arithmetics”, Doklady NAN Armenii, 102:3 (2002), 214–218 (in Russian) | MR

[7] H. Bolibekyan, A. Chubaryan, “On Some Proof Systems for I. Johansson’s Minimal Logic of Predicates”, Logic Colloquium (Aug. 14–20, Helsinki, Finland), 2003, 56