Search
 
loader loading subjects...
cover
Abstracting and Generalizing Pseudorecursiveness
Benjamin Wells
313 - 323
10.3233/978-1-58603-782-6-313
Andrzej Mostowski and Foundational Studies
Abstract

Pseudorecursive varieties [16] strongly express a lack of recursive uniformity related to equational logic. This article suggests an abstraction of the notion and its integration with algebraic and computational studies—steps that may support or at least explicate Tarski's claim that the nonrecursive pseudorecursive equational theories are nonetheless decidable.

$35.00 / €27.50 / £22.00
Add PDF to cart