scientific article
From MaRDI portal
Publication:3929727
zbMath0474.03021MaRDI QIDQ3929727
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveydensityrecursive treeflipping propertyindicator theorycombinatorial statementsrecursion theoretic analysissemi-regular initial segmentunique infinite branch
Nonstandard models of arithmetic (03H15) Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)
This page was built for publication: