scientific article; zbMATH DE number 2154089
From MaRDI portal
Publication:4664636
zbMath1063.03020MaRDI QIDQ4664636
Publication date: 8 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computable structure theory, computable model theory (03C57) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (4)
Interval extensions of orders and temporal approximation spaces ⋮ \(\Sigma \)-definability of uncountable models of \(c\)-simple theories ⋮ Countably categorical theories ⋮ \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)
This page was built for publication: