scientific article
From MaRDI portal
Publication:3813801
zbMath0663.03018MaRDI QIDQ3813801
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructibilityprime modelsarithmetical complexityfinitely axiomatizable theoryconstructible modelsLindenbaum algebras
Classification theory, stability, and related concepts in model theory (03C45) Computable structure theory, computable model theory (03C57)
Related Items (1)
This page was built for publication: