Recursive Functions and Regressive Isols.

DOI10.7146/MATH.SCAND.A-10724MaRDI QIDQ5526969zbMATH OpenOpenAlexFDO

Authors Joseph Barback

Publication date 1964

Published in MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/165886

zbMATH Keywords

mathematical logic

Cited in

(8)

• Regressive upper bounds
• scientific article; zbMATH DE number 3427337 (Why is no real title available?)
• Torre models in the isols
• scientific article; zbMATH DE number 3329911 (Why is no real title available?)
• scientific article; zbMATH DE number 3339407 (Why is no real title available?)
• scientific article; zbMATH DE number 3405919 (Why is no real title available?)
• Universal Regressive Isols
• The recursive equivalence type of a decomposition of an ω-group: The RET of a decomposition

This page was built for publication: Recursive Functions and Regressive Isols.

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