The infinite-valued statement calculus to which this paper refers is that of Łukasiewicz [10], whose axiomatization was proved complete in [5]. In [9], Rutledge extended this system to include predicates and quantifiers2 and presented a deductively complete set of axioms for the monadic predicate calculus. This paper represents an attempt to axiomatize the full predicate calculus; for the proposed axiomatization, a property akin to but weaker than completeness is proved. An attempt to prove full completeness along similar lines failed; it has since been shown [11] that the set of valid formulas of the infinite-valued predicate calculus is not recursively enumerable. The method of this paper was suggested by Professor J. Barkley Rosser.
Let {Wi} be a standard enumeration of all recursively enumerable (r.e.) sets, and for any class A of r.e. sets, let θA denote the index set of A = {n ∣ Wn ∈ A}. (Clearly, .) In [1], the index sets of nonempty finite classes of finite sets were classified under one-one reducibility into an increasing sequence {Ym}, 0 ≤ m < ∞. In this paper we examine further properties of this sequence within the partial ordering of one-one degrees of index sets. The main results are as follows: (1) For each m, Ym < Ym + 1 and < Ym + 1; (2) Ym is incomparable to ; (3) Ym + 1 and ; are immediate successors (among index sets) of Ym and m; (4) the pair (Ym + 1, ) is a “least upper bound” for the pair (Ym, ) in the sense that any successor of both Ym and is ≥ Ym + 1or; (5) the pair (Ym, ) is a “greatest lower bound” for the pair (Ym + 1, ) in the sense that any predecessor of both Ym + 1 and is ≤ Ym or . Since and all Ym are in the bounded truth-table degree of K, this yields some local information about the one-one degrees of index sets which are “at the bottom” in the one-one ordering of index sets.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.