Undecidability of the homogeneous formulas of degree 3 of the predicate calculus
- 17 Downloads
KeywordsDecision Problem Binary Relation Atomic Formula Finite Sequence Relation Symbol
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- S. Jaśkowski:Sur les variables propositionnelles dependantes, Studia Societatis Scientiarum Torunesis, Toruń, Polonia, Vol. I, 2 (1948), p. 17–21.Google Scholar
- S. Jaśkowski:Undecidability of first order sentences in the theory of free groupoids, Fundamenta Mathematicae, vol. XLIII, 1 (1956), p. 36–45.Google Scholar
© Warszawa 1968