scientific article; zbMATH DE number 5960302

MaRDI QIDQ3093863zbMATH OpenFDO

Authors J. F. Knight

Publication date 19 October 2011

zbMATH Keywords

computabilityinfinitary logicScott rank

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Logic on admissible sets (03C70) Other infinitary logic (03C75)

Cited in

(4)

• Computable Scott sentences for quasi-Hopfian finitely presented structures
• Some new computable structures of high rank
• SCOTT COMPLEXITY OF COUNTABLE STRUCTURES
• Computable trees of Scott rank ω₁^CK, and computable approximation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3093863)