Applying, extending, and specializing pseudorecursiveness (Q598283): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität / rank
 
Normal rank
Property / cites work
 
Property / cites work: A variety with locally solvable but globally unsolvable word problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representation theory for polyadic algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: A finitely axiomatizable undecidable equational theory with recursively solvable word problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3941647 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5616133 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3266916 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Turing machines and the spectra of first-order formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the quadratic mapping \(z\rightarrow z^{2}-\mu \) for complex \(\mu \) and \(z\): the fractal structure of its set, and scaling / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Variety with Solvable, but not Uniformly Solvable, Word Problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4124795 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5569442 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4485837 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023647 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5573961 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Aperiodic words on three symbols. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Aperiodic words on three symbols. II. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3919722 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4310124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4967704 / rank
 
Normal rank
Property / cites work
 
Property / cites work: PSEUDORECURSIVE VARIETIES OF SEMIGROUPS—I / rank
 
Normal rank
Property / cites work
 
Property / cites work: PSEUDORECURSIVE VARIETIES OF SEMIGROUPS — II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4792713 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hypercomputation by definition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5590784 / rank
 
Normal rank

Latest revision as of 19:13, 6 June 2024

scientific article
Language Label Description Also known as
English
Applying, extending, and specializing pseudorecursiveness
scientific article

    Statements

    Applying, extending, and specializing pseudorecursiveness (English)
    0 references
    6 August 2004
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Pseudorecursive varieties
    0 references
    Uniformity
    0 references
    Quantifier reversal
    0 references
    Equational logic
    0 references
    Spectra
    0 references
    Decidable theories
    0 references
    Computability
    0 references
    0 references