scientific article

zbMath0439.03030MaRDI QIDQ3880831

Jens Erik Fenstad

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finitenessadmissible setcomputable setsprewellorderingSpector classsemi computable sets

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65) Inductive definability (03D70) Hierarchies of computability and definability (03D55) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (17)

Reverse Mathematics: The Playground of Logic ⋮ Axiomatic recursion theory and the continuous functionals ⋮ The limits of E-recursive enumerability ⋮ Inadmissible forcing ⋮ Computability by nondeterministic program and the Moschovakis search computability ⋮ Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989 ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ Descriptive characterizations of computational complexity ⋮ Aggregation theory and the relevance of some issues to others ⋮ Floyd's principle, correctness theories and program equivalence ⋮ Recursion in Partial Type‐1 Objects With Well‐Behaved Oracles ⋮ Theses for Computation and Recursion on Concrete and Abstract Structures ⋮ Generalizing Computability Theory to Abstract Algebras ⋮ Query languages for hierarchic databases ⋮ Introduction to Turing categories ⋮ From axiomatics to intrinsic characterization: some open problems in computable analysis ⋮ Computational foundations of basic recursive function theory

This page was built for publication: