The number of computable indexations of finite classes of constructive models

DOI10.1007/BF01159572zbMath0626.03028MaRDI QIDQ580331

V. P. Dobritsa

Publication date: 1986

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

zbMATH Keywords

computable classcomputable indexationfinitely many 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

This page was built for publication: The number of computable indexations of finite classes of constructive models