Recursive Functions and Regressive Isols.

DOI10.7146/MATH.SCAND.A-10724zbMath0148.24701OpenAlexW2531113811MaRDI QIDQ5526969

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

Related Items (8)

Torre models in the isols ⋮ The recursive equivalence type of a decomposition of an ω-group: The RET of a decomposition ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Universal Regressive Isols ⋮ Unnamed Item ⋮ Regressive upper bounds ⋮ Unnamed Item

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