A finitary realizable list of properties

DOI10.1007/BF02259933zbMath0795.03044MaRDI QIDQ1317621

S. Zh. Karatabanova

Publication date: 12 April 1994

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

analog of the Rice theorem of the second orderfinitary realizability of lists of propertiessemantic classes of sentences

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items (1)

A finitary realizable list of properties

Cites Work

• A finitary realizable list of properties
• Unnamed Item
• Unnamed Item

This page was built for publication: A finitary realizable list of properties