Computable classes of constructive models with non-limit-equivalent indexations

DOI10.1007/BF01158140zbMath0738.03013OpenAlexW2082577999MaRDI QIDQ1812730

V. P. Dobritsa

Publication date: 25 June 1992

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01158140

zbMATH Keywords

computable indexations of classes of constructive models

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items (1)

A.D. Taimanov and model theory in Kazakhstan

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computable classes of constructive models with non-limit-equivalent indexations