scientific article
From MaRDI portal
Publication:3924174
zbMath0471.03023MaRDI QIDQ3924174
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonstandard models of arithmetic (03H15) Computability and recursion theory (03D99) Model theory of denumerable and separable structures (03C15)
Related Items (2)
Duality, non-standard elements, and dynamic properties of r.e. sets ⋮ Large discrete parts of the E-tree
This page was built for publication:
