Once more on countably categorical sentences
From MaRDI portal
Publication:1307187
zbMath0924.03063MaRDI QIDQ1307187
Publication date: 28 October 1999
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
admissible setinfinitary logicScott rankcanonical Scott sentencecountably categorical sentencehyperarithmetic model
Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Categoricity and completeness of theories (03C35) Logic on admissible sets (03C70)
This page was built for publication: Once more on countably categorical sentences