Numberings on admissible structures over equivalence relations

DOI10.1134/s1995080224601383MaRDI QIDQ6634998

V. G. Puzarenko, I. Sh. Kalimullin

Publication date: 8 November 2024

Published in: Lobachevskii Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

numberingsadmissible setscomputable numberingspositive numberingsdecidable numberingsnegative numberings

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computability and recursion theory (03Dxx) Model theory (03Cxx)

Cites Work

• Positive numberings in admissible sets
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Numberings on admissible structures over equivalence relations