Improving a bounding result that constructs models of high Scott rank
From MaRDI portal
Publication:5963199
DOI10.1215/00294527-3328289zbMath1402.03057MaRDI QIDQ5963199
Publication date: 4 March 2016
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1445606158
03C15: Model theory of denumerable and separable structures
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
03C70: Logic on admissible sets
Cites Work