7 found
Order:
Disambiguations
Benjamin Franklin Wells [5]Benjamin Wells [3]
  1.  27
    Is There a Nonrecursive Decidable Equational Theory?Benjamin Wells - 2002 - Minds and Machines 12 (2):301-324.
    The Church-Turing Thesis (CTT) is often paraphrased as ``every computable function is computable by means of a Turing machine.'' The author has constructed a family of equational theories that are not Turing-decidable, that is, given one of the theories, no Turing machine can recognize whether an arbitrary equation is in the theory or not. But the theory is called pseudorecursive because it has the additional property that when attention is limited to equations with a bounded number of variables, one obtains, (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  8
    Applying, Extending, and Specializing Pseudorecursiveness.Benjamin Wells - 2004 - Annals of Pure and Applied Logic 126 (1-3):225-254.
    Pseudorecursive varieties 457) exhibit a lack of recursive uniformity, expressing the failure of universal and existential quantifiers to reverse. Several examples are given of personal encounters with infeasible or errant quantifier reversal. Results strengthening and applying pseudorecursiveness are followed by the study of a property of spectra that is not uniform. These foreshadow an abstraction of this notion and its integration with the algebraic and computational studies—steps that may eventually help explicate Tarski's claim that recursively enumerable, nonrecursive but pseudorecursive equational (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  11
    A. I. Mal′Cév. Ob Eléméntwnyh Téoriáh Lokal′No Svobodnyh Univérsal′Nyh Algébr. Doklady Akadémii Nauk SSSR, Vol. 138 , Pp. 1009–1012. - A. I. Mal′Cev. On the Elementary Theories of Locally Free Universal Algebras. English Translation of the Preceding by Elliott Mendelson. Soviet Mathematics, Vol. 2 No. 3 Pp. 768–771. - A. I. Mal′Cev. Aksiomatiziruémyé Klassy Lokal′No Svobodnyh Algébr Nékotoryh Tipov . Sibirskij Matématičéskij Žurnal, Vol. 3 , Pp. 729–743. [REVIEW]Benjamin Franklin Wells - 1967 - Journal of Symbolic Logic 32 (2):278-279.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Erratum to “Applying, Extending, and Specializing Pseudorecursiveness”.Benjamin Wells - 2004 - Annals of Pure and Applied Logic 128 (1-3):299.
  5.  5
    Review: A. I. Mal'cev, On the Elementary Theories of Locally Free Universal Algebras; A. I. Mal'cev, Axiomatizable Classes of Locally Free Algebras of Several Types. [REVIEW]Benjamin Franklin Wells - 1967 - Journal of Symbolic Logic 32 (2):278-279.
  6.  8
    Raphael M. Robinson. The Undecidability of Pure Transcendental Extensions of Real Fields. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 10 , Pp. 275–282. - Raphael M. Robinson. Nérazréšimost′ Eléméntarnoj Téorii Polá Racional'nyh Funkcij Ot Odnogo Péréménnogo s Racional′Nymi Koefficiéntami . Russian Translation by M. A. Tajclin. Algébra I Logika, Séminar, Vol. 2 No. 4 , Pp. 5–11. [REVIEW]Benjamin Franklin Wells - 1966 - Journal of Symbolic Logic 31 (2):254-255.
  7. Review: Raphael M. Robinson, The Undecidability of Pure Transcendental Extensions of Real Fields; Raphael M. Robinson, M. A. Tajclin, The Undecidability of the Elementary Theory of the Field of Rational Functions of One Variable with Rational Coefficients. [REVIEW]Benjamin Franklin Wells - 1966 - Journal of Symbolic Logic 31 (2):254-255.