THE FIRST‐ORDER THEORY OF THE c‐DEGREES
From MaRDI portal
Publication:3679170
DOI10.1002/malq.19840302605zbMath0565.03025MaRDI QIDQ3679170
Publication date: 1984
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19840302605
03E45: Inner models, including constructibility, ordinal definability, and core models
Related Items