Geodesic
On a unification problem related to Kreisel's conjecture
Commentationes Mathematicae Universitatis Carolinae, Tome 29 (1988) no. 3, pp. 551-556 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B25, 03B35, 03F07, 03F35, 03F99, 68T15 
@article{CMUC_1988_29_3_a14,
     author = {Pudl\'ak, Pavel},
     title = {On a unification problem related to {Kreisel's} conjecture},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {551--556},
     year = {1988},
     volume = {29},
     number = {3},
     mrnumber = {972836},
     zbl = {0664.03037},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1988_29_3_a14/}
}
TY  - JOUR
AU  - Pudlák, Pavel
TI  - On a unification problem related to Kreisel's conjecture
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1988
SP  - 551
EP  - 556
VL  - 29
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/CMUC_1988_29_3_a14/
LA  - en
ID  - CMUC_1988_29_3_a14
ER  - 
%0 Journal Article
%A Pudlák, Pavel
%T On a unification problem related to Kreisel's conjecture
%J Commentationes Mathematicae Universitatis Carolinae
%D 1988
%P 551-556
%V 29
%N 3
%U http://geodesic.mathdoc.fr/item/CMUC_1988_29_3_a14/
%G en
%F CMUC_1988_29_3_a14
Pudlák, Pavel. On a unification problem related to Kreisel's conjecture. Commentationes Mathematicae Universitatis Carolinae, Tome 29 (1988) no. 3, pp. 551-556. http://geodesic.mathdoc.fr/item/CMUC_1988_29_3_a14/

[1] M. BAAZ: General solutions of equations with variables for substitutions. preprint.

[2] M. BAAZ: Generalizing proofs with order-induction. manuscript.

[3] M. BAAZ: Personal communication. | Zbl

[4] C.-L. CHANG R. C.-T. LEE: Symbolic logic and mechanical theorem proving. Chapter 5, New York and London, Academic Press 1973. | MR

[5] W. M. FARMER: Length of proofs and unification theory. Ph.D. thesis, Univ. of Wisconsin, Madison, 1984.

[6] W. D. GOLDFARB: The undecidability of the second-order unification problem. Theor. Comput. Sci. 13 (1981), 225-230. | MR | Zbl

[7] J. KRAJÍČEK P. PUDLÁK: The number of proof lines and the size of proofs in first order logic. Arch. Math. Logic 27 (1988), 69-84. | MR

[8] V. P. OREVKOV: Reconstruction of a proof by its analysis. (Russian), Doklady Akad. Nauk 293 (1987), 313-316. | MR

[9] J. SIEKMAN: Universal unification. In: Shostuk, R. E. ed. 7-th Int. Conf. on Autom. Deduction, LN in Comp. Sci. 170,1-42, Springer-Verlag 1984. | MR