scientific article; zbMATH DE number 1390021

MaRDI QIDQ4934286zbMATH OpenFDO

Authors Peter G. Hinman

Publication date 22 October 2000

zbMATH Keywords

first-order structuresfunctional structurespartial recursive functions over functional structuresrecursionunlimited register machines over functional structures

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Inductive definability (03D70) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• scientific article; zbMATH DE number 3966062
• Fundamentals of generalized recursion theory
• Theses for computation and recursion on concrete and abstract structures
• Admissible functionals in abstract structures with arbitrary power
• scientific article; zbMATH DE number 23020

Cited in

(12)

• Abstract recursive utility
• Structural recursion with locally scoped names
• scientific article; zbMATH DE number 2185713 (Why is no real title available?)
• scientific article; zbMATH DE number 4199615 (Why is no real title available?)
• On the connection between the abstract recursion theory and the method of successive approximations
• scientific article; zbMATH DE number 3966062 (Why is no real title available?)
• Theses for computation and recursion on concrete and abstract structures
• scientific article; zbMATH DE number 874495 (Why is no real title available?)
• Fixed points on the real numbers without the equality test
• scientific article; zbMATH DE number 5033764 (Why is no real title available?)
• Verification, Model Checking, and Abstract Interpretation
• Primitive recursion for higher-order abstract syntax

This page was built for publication:

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