| Title:
|
On a unification problem related to Kreisel's conjecture (English) |
| Author:
|
Pudlák, Pavel |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
29 |
| Issue:
|
3 |
| Year:
|
1988 |
| Pages:
|
551-556 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B25 |
| MSC:
|
03B35 |
| MSC:
|
03F07 |
| MSC:
|
03F35 |
| MSC:
|
03F99 |
| MSC:
|
68T15 |
| idZBL:
|
Zbl 0664.03037 |
| idMR:
|
MR972836 |
| . |
| Date available:
|
2008-06-05T21:35:02Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106669 |
| . |
| Reference:
|
[1] M. BAAZ: General solutions of equations with variables for substitutions.preprint. |
| Reference:
|
[2] M. BAAZ: Generalizing proofs with order-induction.manuscript. |
| Reference:
|
[3] M. BAAZ: .Personal communication. Zbl 1157.03301 |
| Reference:
|
[4] C.-L. CHANG R. C.-T. LEE: Symbolic logic and mechanical theorem proving.Chapter 5, New York and London, Academic Press 1973. MR 0441028 |
| Reference:
|
[5] W. M. FARMER: Length of proofs and unification theory.Ph.D. thesis, Univ. of Wisconsin, Madison, 1984. |
| Reference:
|
[6] W. D. GOLDFARB: The undecidability of the second-order unification problem.Theor. Comput. Sci. 13 (1981), 225-230. Zbl 0457.03006, MR 0594061 |
| Reference:
|
[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 0955313 |
| Reference:
|
[8] V. P. OREVKOV: Reconstruction of a proof by its analysis.(Russian), Doklady Akad. Nauk 293 (1987), 313-316. MR 0884040 |
| Reference:
|
[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 0778038 |
| . |
