Showing papers on "Undecidable problem published in 1969"

The Decision Problem for Logic of Predicates and Operations

Abstract: The article consists of two chapters. In the first part of the first chapter, the author rediscovers well-partial-orderings and well-quasi-orderings, which he calls tight partial orders and tight quasi orders, and develops a theory of such orderings. (In this connection, it may be appropriate to point out Joseph B. Kruskal’s article “The theory of well-quasi-ordering: A frequently discoverred concept” in J. Comb. Theory A, vol. 13 (1972), 297-305.) To understand the idea behind the term “tight”, think of a boot: you cannot move your foot far down or sidewise — only up. This is similar to tight partial orders where infinite sequences have no infinite descending subsequences, no infinite antichains, but always have infinite ascending subsequences. In the second part of the first chapter, the author applies the theory of tight orders to prove a classifiability theorem for prefix-vocabulary classes of first-order logic. The main part of the classifiability theorem is that the partial order of prefix-vocabulary classes (ordered by inclusion) is tight. But there is an additional useful part of the classifiability theorem, about the form of the minimal classes outside a downward closed collection, e.g. the minimal classes that are undecidable in one way or another. In the second chapter, the author completes the decision problem for (the prefix-vocabulary fragments of) pure logic of predicates and functions, though the treatment of the most difficult decidable class is deferred to 18. In particular, the classes [∀2,(0,1),(1)] and [∀2,(1),(0,1)] are proved to be conservative reduction classes. (This abstract is written in January 2006.)

Some Reduction Classes and Undecidable Theories

Abstract: We call a formula of E Д type an arbitrary formula of predicate calculus with equality and functional symbols which has the form $$\exists \,x\,D,$$ where x is the subject variable, D is the disjunction of elementary formulas.†

The Undecidability of λK-Conversion

Abstract: In 1936 Church 1 proved that two fundamental questions of the theory of λ-conversion2 were recursively undecidable. The first question was whether two obs (well-formed formulas) of the system are equal (convertible); the second was whether or not an ob X has a normal form. The purpose of this note is to give a new proof of an analogous result for λK-conversion. This proof was obtained in the course of preparing the second volume of [5].

On the Complexity of Undecidable Problems in Automata Theory

Abstract: Some general results about hierarchies of undecidable problems in automata theory are given, and studies are described which show how properties of sets accepted by automata (i.e. languages) change from decidable to undecidable problems as the computational power of the automata is increased. This work also yields unified techniques which characterize for different languages large classes of undecidable problems.