Applying, extending, and specializing pseudorecursiveness

DOI10.1016/J.APAL.2003.11.027zbMATH Open1047.03033OpenAlexW2078411187MaRDI QIDQ598283FDOQ598283

Authors: Benjamin Wells 

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.027

Recommendations

• scientific article; zbMATH DE number 5295822
• Pseudorecursive varieties of semigroups. II
• PSEUDORECURSIVE VARIETIES OF SEMIGROUPS—I
• A non-standard study of the theory of relative recursivity
• On locally finite varieties with undecidable equational theory.

zbMATH Keywords

ComputabilityDecidable theoriesEquational logicPseudorecursive varietiesQuantifier reversalSpectraUniformity

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Complexity of computation (including implicit computational complexity) (03D15) Undecidability and degrees of sets of sentences (03D35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Aperiodic words on three symbols.
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• Turing machines and the spectra of first-order formulas
• On the quadratic mapping \(z\rightarrow z^{2}-\mu \) for complex \(\mu \) and \(z\): the fractal structure of its set, and scaling
• Title not available (Why is that?)
• A finitely axiomatizable undecidable equational theory with recursively solvable word problems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representation theory for polyadic algebras
• Hypercomputation by definition
• A variety with locally solvable but globally unsolvable word problem
• Pseudorecursive varieties of semigroups. II
• Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
• PSEUDORECURSIVE VARIETIES OF SEMIGROUPS—I
• Aperiodic words on three symbols. II.
• Title not available (Why is that?)
• A Variety with Solvable, but not Uniformly Solvable, Word Problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Title not available (Why is that?)
• Hypercomputation by definition
• PSEUDO: applications of streams and lazy evaluation to integrable models
• Title not available (Why is that?)
• Leon Henkin and a life of service
• Pseudorecursive varieties of semigroups. II

Uses Software

• Mizar

This page was built for publication: Applying, extending, and specializing pseudorecursiveness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q598283)