Variations of the Martin-Solovay tree
From MaRDI portal
Publication:4879899
DOI10.2307/2275596zbMath0857.03029OpenAlexW2044117462MaRDI 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 (3)
Iterates of $M_1$ ⋮ AN ANALYSIS OF THE MODELS ⋮ On the Prewellorderings Associated with the Directed Systems of Mice
Cites Work
This page was built for publication: Variations of the Martin-Solovay tree