DOI10.2307/2273262zbMath0481.03023MaRDI QIDQ3937378
Fred G. Abramson
Publication date: 1981 Published in: Journal of Symbolic Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.2307/2273262
zbMATH Keywords
hyperjump; nonstandard model of ZFC; possible countable heights; sigma-one separation
Mathematics Subject Classification ID
03E15: Descriptive set theory
03C70: Logic on admissible sets
03H99: Nonstandard models
Cites Work