On a unification problem related to Kreisel's conjecture

Pavel Pudlák

Commentationes Mathematicae Universitatis Carolinae (1988)

  • Volume: 029, Issue: 3, page 551-556
  • ISSN: 0010-2628

How to cite


Pudlák, Pavel. "On a unification problem related to Kreisel's conjecture." Commentationes Mathematicae Universitatis Carolinae 029.3 (1988): 551-556. <http://eudml.org/doc/17666>.

author = {Pudlák, Pavel},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {unification; matching},
language = {eng},
number = {3},
pages = {551-556},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {On a unification problem related to Kreisel's conjecture},
url = {http://eudml.org/doc/17666},
volume = {029},
year = {1988},

AU - Pudlák, Pavel
TI - On a unification problem related to Kreisel's conjecture
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1988
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 029
IS - 3
SP - 551
EP - 556
LA - eng
KW - unification; matching
UR - http://eudml.org/doc/17666
ER -


  1. M. BAAZ, General solutions of equations with variables for substitutions, preprint. 
  2. M. BAAZ, Generalizing proofs with order-induction, manuscript. 
  3. M. BAAZ, [unknown], Personal communication. Zbl1157.03301
  4. C.-L. CHANG R. C.-T. LEE, Symbolic logic and mechanical theorem proving, Chapter 5, New York and London, Academic Press 1973. (1973) MR0441028
  5. W. M. FARMER, Length of proofs and unification theory, Ph.D. thesis, Univ. of Wisconsin, Madison, 1984. (1984) 
  6. W. D. GOLDFARB, The undecidability of the second-order unification problem, Theor. Comput. Sci. 13 (1981), 225-230. (1981) Zbl0457.03006MR0594061
  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. (1988) MR0955313
  8. V. P. OREVKOV, Reconstruction of a proof by its analysis, (Russian), Doklady Akad. Nauk 293 (1987), 313-316. (1987) MR0884040
  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. (1984) MR0778038

NotesEmbed ?


You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.


Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.