Improving a bounding result that constructs models of high Scott rank
From MaRDI portal
Publication:5963199
DOI10.1215/00294527-3328289zbMath1402.03057OpenAlexW2200886641MaRDI 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
Model theory of denumerable and separable structures (03C15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Logic on admissible sets (03C70)
Cites Work