Numberings and definability in the hereditarily finite superstructure of a model

zbMath0924.03055MaRDI QIDQ1307172

A. N. Khisamiev

Publication date: 28 October 1999

Published in: Siberian Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

admissible setsuperatomic Boolean algebrafinitely generated algebranumeration\(\Sigma\)-definabilityhereditarily finite superstructurereduced Abelian groupsconstructivizationordinal typerelative recursivenessUlm types\(\Sigma\)-definable numbering\(\Sigma\)-enumerable model\(\Sigma\)-enumerationinternally enumerable model

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

This page was built for publication: Numberings and definability in the hereditarily finite superstructure of a model