Variations of the Martin-Solovay tree
From MaRDI portal
Publication:4879899
DOI10.2307/2275596zbMath0857.03029MaRDI QIDQ4879899
Publication date: 11 March 1997
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275596
Related Items
AN ANALYSIS OF THE MODELS, Iterates of $M_1$, On the Prewellorderings Associated with the Directed Systems of Mice
Cites Work