THE ABC'S of Mice
From MaRDI portal
Publication:4328794
DOI10.2307/2687795zbMath0994.03043MaRDI QIDQ4328794
Publication date: 29 April 2002
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0704-toc.htm
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03E45: Inner models, including constructibility, ordinal definability, and core models
Related Items
Cites Work